dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Process Models 1

Formal Verification

Recent Advances in Metrics

Real-Time and Reactive Systems

Environments

Metrics and Reliability

Panel: Software-Re-Engineering

Experience Reports I

Tools for Formal Verification

Recent Advances in Object-Management Systems

Prototyping

Experience Reports II

Design and Architecture

Panel: Real-Life Safety-Critical Software

Workshop Reports

AI Applications to Software Engineering

Panel: Industrial Experience with Formal Methods

Process Models 2

Technology Transfer

Systems Engineering

Configuration Management

Panel: Experience Using Defined Process for Technology Transfer

Last update Sat May 25 03:28:54 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page