12. ICSE 1990: Nice, France

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Last update Sat May 25 03:28:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page