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