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

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

Formal Verification

Recent Advances in Metrics

Real-Time and Reactive Systems


Metrics and Reliability

Panel: Software-Re-Engineering

Experience Reports I

Tools for Formal Verification

Recent Advances in Object-Management Systems


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

Copyright © Sat May 16 23:21:34 2009 by Michael Ley (ley@uni-trier.de)