Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

A. Nico Habermann, Ugo Montanari, editors, Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. Volume 275 of Lecture Notes in Computer Science, Springer, 1987.

Conference: Ada-Europe1987

Abstract is missing.

Design of the Rational EnvironmentJames E. Archer Jr.. 1-15

The PCTE Initiative: Toward a European Approach to Software EngineeringFerdinando Gallo. 16-29

Engineering VAX Ada for a Multi-Language Programming EnvironmentCharles Z. Mitchell. 30-47

The Ada Environment - A Personal ViewVic Stenning. 48-61

Knowledge-Based Software Development from Requirements to CodeStephen J. Westfold, Lawrence Markosian, William A. Brew. 62-80

The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial IntroductionEgidio Astesiano, Gianna Reggio. 81-116

Project Graphs and Meta-Programs. Towards a Theory of Software DevelopmentDines Bjørner. 117-152

Software Development Based on Formal MethodsCliff B. Jones. 153-172

Integration of Program Construction and Verification: The PROSPECTRA MethodologyBernd Krieg-Brückner. 173-194

Ada Compiler Validation: An Example of Software Testing Theory and PracticeJohn B. Goodenough. 195-232

The Software Engineering Institute at Carnegie Mellon UniversityA. Nico Habermann. 233-248

Task Sequencing Languages for Specifying Distributed Ada SystemsDavid C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler. 249-305

runs on WebDSL