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
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