12. ICSE 1990: Nice, France

Proceedings of the 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France. 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 BibTeX
Ataru T. Nakagawa, Kokichi Futatsugi: Software Process à la Algebra: OBJ for OBJ. 12-23 BibTeX

Formal Verification

Sergio Cárdenas-García, Marvin V. Zelkowitz: Evaluation Criteria for Functional Specifications. 26-33 BibTeX
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 BibTeX

Recent Advances in Metrics

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

Real-Time and Reactive Systems

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

Environments

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

Metrics and Reliability

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

Panel: Software-Re-Engineering

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

Experience Reports I

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

Tools for Formal Verification

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

Recent Advances in Object-Management Systems

Prototyping

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

Experience Reports II

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

Design and Architecture

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

Panel: Real-Life Safety-Critical Software

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

Workshop Reports

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

AI Applications to Software Engineering

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

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 BibTeX

Process Models 2

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

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 BibTeX
Rubén Prieto Díaz: Implementing Faceted Classification for Software Reuse (Experience Report). 300-304 BibTeX

Systems Engineering

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

Configuration Management

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

Panel: Experience Using Defined Process for Technology Transfer

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