System Development and Ada 1986: Capri, Italy

A. Nico Habermann, Ugo Montanari (Eds.): Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. Lecture Notes in Computer Science 275 Springer 1987, ISBN 3-540-18341-8

James E. Archer Jr.:
Design of the Rational Environment. 1-15
Ferdinando Gallo:
The PCTE Initiative: Toward a European Approach to Software Engineering. 16-29
Charles Z. Mitchell:
Engineering VAX Ada for a Multi-Language Programming Environment. 30-47
Vic Stenning:
The Ada Environment - A Personal View. 48-61
Stephen J. Westfold, Lawrence Markosian, William A. Brew:
Knowledge-Based Software Development from Requirements to Code. 62-80
Egidio Astesiano, Gianna Reggio:
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. 81-116
Dines Bjørner:
Project Graphs and Meta-Programs. Towards a Theory of Software Development. 117-152
Cliff B. Jones:
Software Development Based on Formal Methods. 153-172
Bernd Krieg-Brückner:
Integration of Program Construction and Verification: The PROSPECTRA Methodology. 173-194
John B. Goodenough:
Ada Compiler Validation: An Example of Software Testing Theory and Practice. 195-232
A. Nico Habermann:
The Software Engineering Institute at Carnegie Mellon University. 233-248
David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler:
Task Sequencing Languages for Specifying Distributed Ada Systems. 249-305