Conferences in DBLP
Walter Royce TRW's Ada Process Model for Incremental Development of Large Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ataru T. Nakagawa , Kokichi Futatsugi Software Process à la Algebra: OBJ for OBJ. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Cárdenas-García , Marvin V. Zelkowitz Evaluation Criteria for Functional Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Victor R. Basili Recent Advances in Software Measurement (Abstract for Talk). [Citation Graph (1, 0)][DBLP ] Conf ] Armen Gabrielian , Matthew K. Franklin Multi-Level Specification and Verification of Real-Time Software. [Citation Graph (0, 0)][DBLP ] Conf ] H.-M. Järvinen , Reino Kurki-Suonio , Markku Sakkinen , Kari Systä Object-Oriented Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jack C. Wileden , Alexander L. Wolf , William R. Rosenblatt , Peri L. Tarr Specification Level Interoperability. [Citation Graph (2, 0)][DBLP ] Conf ] Jean-Louis Giavitto , Guy Rosuel , Agnès Devarenne , Anne Mauboussin Design Decisions for the Incremental Adage Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Hirayama , Hiroyuki Sato , Atushi Yamada , Junichiro Tsuda Practice of Quality Modeling and Measurement on Software Life-Cycle. [Citation Graph (0, 0)][DBLP ] Conf ] Willa K. Ehrlich , John P. Stampfel , Jar R. Wu Application of Software Reliability Modeling to Product Quality and Test Process. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles M. E. Lafue Panel on Software Re-engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Wojtek Kozaczynski The "Catch 22" of Re-engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Ted J. Biggerstaff Human-Oriented Conceptual Abstractions in the Re-engineering of Software. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Bush Software Re-engineering Position Statement. [Citation Graph (0, 0)][DBLP ] Conf ] Elliot J. Chikofsky CASE & Reengineering: From Archeology to Software Perestroika. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Maiocchi Reengineering: Can a Program Put Intelligence in Stupid Programs? [Citation Graph (0, 0)][DBLP ] Conf ] Tom DeMarco , Curt Geertgens Use of Video for Program Documentation (Experience Report). [Citation Graph (0, 0)][DBLP ] Conf ] Lin Zucconi , Gregory Mack , Lloyd G. Williams Using Object-Oriented Development for Support Prototyping (Experience Report). [Citation Graph (0, 0)][DBLP ] Conf ] Marilyn W. Bush Getting Started on Metrics - JPL Productivity and Quality (Experience Report). [Citation Graph (0, 0)][DBLP ] Conf ] M. C. Costa , Jim Cunningham , J. Booth Logical Animation. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Ganzinger , Renate Schäfers System Support for Modular Order-Sorted Horn Clause Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Oswald , R. Esser , R. Mattmann An Environment for Specifying and Executing Hierarchical Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Choppy , Stéphane Kaplan Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard D. Guiho , Claude Hennebert SACEM Software Validation (Experience Report). [Citation Graph (0, 0)][DBLP ] Conf ] Mark Dowson Experience Using the Graphite Meta-Tool (Experience Report). [Citation Graph (0, 0)][DBLP ] Conf ] Marilyn W. Bush Improving Software Quality: The Use of Formal Inspections at the JPL (Experience Report). [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Parisi-Presicce A Rule-Based Approach to Modular System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Murthy Ganti , Pankaj Goyal , Sunil Podar An Object-Oriented Software Application Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Laprie On the Assessment of Safety-Critical Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy G. Leveson Evaluation of Software Safety. [Citation Graph (0, 0)][DBLP ] Conf ] E. Pilaud Some Experiences of Critical Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Martyn Thomas Assessing Failure Probabilities in Safety-Critical Systems Containing Software. [Citation Graph (0, 0)][DBLP ] Conf ] Dewayne E. Perry ISPW5: Experience with Software Process Models (Workshop Report). [Citation Graph (0, 0)][DBLP ] Conf ] Dan Craigen FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). [Citation Graph (0, 0)][DBLP ] Conf ] W. Lewis Johnson , Martin S. Feather Building an Evolution Transformation Library. [Citation Graph (0, 0)][DBLP ] Conf ] Premkumar T. Devanbu , Ronald J. Brachman , Peter G. Selfridge , Bruce W. Ballard LaSSIE: a Knowledge-based Software Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Dines Bjørner , Larry E. Druffel Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] William N. Robinson Negotiation Behavior During Requirements Specification. [Citation Graph (1, 0)][DBLP ] Conf ] Nazim H. Madhavji , Volker Gruhn , Wolfgang Deiters , Wilhelm Schäfer Prism = Methodology + Process-oriented Environment. [Citation Graph (0, 0)][DBLP ] Conf ] James D. Babcock , Laszlo A. Belady , Nancy C. Gore The Evolution of Technology Transfer at MCC's Software Technology Program: From Didactic to Dialectic. [Citation Graph (0, 0)][DBLP ] Conf ] Rubén Prieto Díaz Implementing Faceted Classification for Software Reuse (Experience Report). [Citation Graph (0, 0)][DBLP ] Conf ] David Talbot Towards Systems Engineering: A Personal View of Progress. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Bernstein , Rodney Farrow Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report). [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Rose , Matthias Jarke A Decision-Based Configuration Process Model. [Citation Graph (1, 0)][DBLP ] Conf ] Kurt F. Fischer Experience in Using Defined Processes for Technology Transfer (Panel Overview). [Citation Graph (0, 0)][DBLP ] Conf ] Rosa Alonzo Position Paper on Technology Transfer. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Decina CEFRIEL: an Innovative Approach to University-Industry Cooperation in Information Technologies. [Citation Graph (0, 0)][DBLP ] Conf ] Priscilla J. Fowler Technology Transfer as Collaboration: The Receptor Group. [Citation Graph (0, 0)][DBLP ] Conf ] Garth Glynn Semi Formal Process Model for Technology Transfer. [Citation Graph (0, 0)][DBLP ] Conf ] Kouichi Kishida Technology Transfer Aspects of Environment Construction. [Citation Graph (0, 0)][DBLP ] Conf ] 