Proceedings : 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
Acm Sigsoft · IEEE Computer Society Press eBooks · 1990
Process models formal verification recent advances in metrics real-time and reactive systems environments metrics and reliability software engineering experience reports tools for formal verification recent advances in object management systems prototyping design and architecture real-life safety-critical software AI applications to software engineering.