System Development and Ada 1986: Capri, Italy

@proceedings{DBLP:conf/adaEurope/1986,
  editor    = {A. Nico Habermann and
               Ugo Montanari},
  title     = {Software Development and Ada, CRAI Workshop on Software Factories
               and Ada, Capri, Italy, May 26-30, 1986, Proceedings},
  booktitle = {Software Development and Ada},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {275},
  year      = {1987},
  isbn      = {3-540-18341-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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