• 
  François-Régis Valette, Peter A. Freeman, Marie-Claude Gaudel (Eds.): Proceedings of the 12th International Conference on Software Engineering, Nice, France, March 26-30, 1990. IEEE Computer Society 1990 ISBN 0-8186-2026-9

Process Models 1

• 
  Walter Royce: TRW's Ada Process Model for Incremental Development of Large Software Systems. 2-11
• 
  Ataru T. Nakagawa, Kokichi Futatsugi: Software Process à la Algebra: OBJ for OBJ. 12-23

Formal Verification

• 
  Sergio Cárdenas-García, Marvin V. Zelkowitz: Evaluation Criteria for Functional Specifications. 26-33
• 
  Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens: An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. 34-42

Recent Advances in Metrics

• 
  Victor R. Basili: Recent Advances in Software Measurement (Abstract for Talk). 44-49

Real-Time and Reactive Systems

• 
  Armen Gabrielian, Matthew K. Franklin: Multi-Level Specification and Verification of Real-Time Software. 52-62
• 
  H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä: Object-Oriented Specification of Reactive Systems. 63-71

Environments

• 
  Jack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr: Specification Level Interoperability. 74-85
• 
  Jean-Louis Giavitto, Guy Rosuel, Agnès Devarenne, Anne Mauboussin: Design Decisions for the Incremental Adage Framework. 86-95

Metrics and Reliability

• 
  Masayuki Hirayama, Hiroyuki Sato, Atushi Yamada, Junichiro Tsuda: Practice of Quality Modeling and Measurement on Software Life-Cycle. 98-107
• 
  Willa K. Ehrlich, John P. Stampfel, Jar R. Wu: Application of Software Reliability Modeling to Product Quality and Test Process. 108-116

Panel: Software-Re-Engineering

• 
  Gilles M. E. Lafue: Panel on Software Re-engineering. 118
• 
  Wojtek Kozaczynski: The "Catch 22" of Re-engineering. 119
• 
  Ted J. Biggerstaff: Human-Oriented Conceptual Abstractions in the Re-engineering of Software. 120
• 
  Eric Bush: Software Re-engineering Position Statement. 121
• 
  Elliot J. Chikofsky: CASE & Reengineering: From Archeology to Software Perestroika. 122
• 
  Marco Maiocchi: Reengineering: Can a Program Put Intelligence in Stupid Programs? 123-124

Experience Reports I

• 
  Tom DeMarco, Curt Geertgens: Use of Video for Program Documentation (Experience Report). 126-128
• 
  Lin Zucconi, Gregory Mack, Lloyd G. Williams: Using Object-Oriented Development for Support Prototyping (Experience Report). 129-132
• 
  Marilyn W. Bush: Getting Started on Metrics - JPL Productivity and Quality (Experience Report). 133-142

Tools for Formal Verification

• 
  M. C. Costa, Jim Cunningham, J. Booth: Logical Animation. 144-149
• 
  Harald Ganzinger, Renate Schäfers: System Support for Modular Order-Sorted Horn Clause Specifications. 150-159

Recent Advances in Object-Management Systems

Prototyping

• 
  Heinz Oswald, R. Esser, R. Mattmann: An Environment for Specifying and Executing Hierarchical Petri Nets. 164-172
• 
  Christine Choppy, Stéphane Kaplan: Mixing Abstract and Concrete Modules: Specification, Development and Prototyping. 173-184

Experience Reports II

• 
  Gérard D. Guiho, Claude Hennebert: SACEM Software Validation (Experience Report). 186-191
• 
  Mark Dowson: Experience Using the Graphite Meta-Tool (Experience Report). 192-195
• 
  Marilyn W. Bush: Improving Software Quality: The Use of Formal Inspections at the JPL (Experience Report). 196-199

Design and Architecture

• 
  Francesco Parisi-Presicce: A Rule-Based Approach to Modular System Design. 202-211
• 
  Murthy Ganti, Pankaj Goyal, Sunil Podar: An Object-Oriented Software Application Architecture. 212-220

Panel: Real-Life Safety-Critical Software

• 
  Jean-Claude Laprie: On the Assessment of Safety-Critical Software Systems. 222
• 
  Nancy G. Leveson: Evaluation of Software Safety. 223-224
• 
  E. Pilaud: Some Experiences of Critical Software Development. 225-226
• 
  Martyn Thomas: Assessing Failure Probabilities in Safety-Critical Systems Containing Software. 227

Workshop Reports

• 
  Dewayne E. Perry: ISPW5: Experience with Software Process Models (Workshop Report). 230-232
• 
  Dan Craigen: FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). 233-235

AI Applications to Software Engineering

• 
  W. Lewis Johnson, Martin S. Feather: Building an Evolution Transformation Library. 238-248
• 
  Premkumar T. Devanbu, Ronald J. Brachman, Peter G. Selfridge, Bruce W. Ballard: LaSSIE: a Knowledge-based Software Information System. 249-261

Panel: Industrial Experience with Formal Methods

• 
  Dines Bjørner, Larry E. Druffel: Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. 264-266

Process Models 2

• 
  William N. Robinson: Negotiation Behavior During Requirements Specification. 268-276
• 
  Nazim H. Madhavji, Volker Gruhn, Wolfgang Deiters, Wilhelm Schäfer: Prism = Methodology + Process-oriented Environment. 277-288

Technology Transfer

• 
  James D. Babcock, Laszlo A. Belady, Nancy C. Gore: The Evolution of Technology Transfer at MCC's Software Technology Program: From Didactic to Dialectic. 290-299
• 
  Rubén Prieto Díaz: Implementing Faceted Classification for Software Reuse (Experience Report). 300-304

Systems Engineering

• 
  David Talbot: Towards Systems Engineering: A Personal View of Progress. 306-307

Configuration Management

• 
  David B. Bernstein, Rodney Farrow: Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report). 310-315
• 
  Thomas Rose, Matthias Jarke: A Decision-Based Configuration Process Model. 316-325

Panel: Experience Using Defined Process for Technology Transfer

• 
  Kurt F. Fischer: Experience in Using Defined Processes for Technology Transfer (Panel Overview). 328
• 
  Rosa Alonzo: Position Paper on Technology Transfer. 329
• 
  Maurizio Decina: CEFRIEL: an Innovative Approach to University-Industry Cooperation in Information Technologies. 330-331
• 
  Priscilla J. Fowler: Technology Transfer as Collaboration: The Receptor Group. 332-333
• 
  Garth Glynn: Semi Formal Process Model for Technology Transfer. 334-335
• 
  Kouichi Kishida: Technology Transfer Aspects of Environment Construction. 336