System development and Ada
By: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds.
Contributors: Habermann, A. Nico, 1932-; Montanari, U.
Series: Lecture notes in computer science ;; 275
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; New York
Language: eng
Number of pages: 305
Subjects: System design -- Congresses.; Computer software -- Development -- Congresses.; Ada (Computer program language) -- Congresses.
Notes: Includes bibliographies.
Table of contents: title: Design of the rational environment / James E. Archer, Jr.; title: The PCTE initiative / Ferdinando Gallo; title: Engineering VAX Ada for a multi-language programming environment / Charles Z. Mitchell; title: The Ada environment; title: a personal view / Vic Stenning; title: Knowledge-based software development from requirements to code / Stephen J. Westfold, Lawrence Z. Markosian, William A. Brew; title: SMoLCS approach to the formal semantics of programming languages / Egidio Astesiano, Gianna Reggio; title: Project graphs and Meta-programs / Dines Bjørner; title: Software development based on formal methods / Cliff B. Jones; title: Integration of program construction and verification / Bernd Krieg-Brückner; title: Ada compiler validation / John B. Goodenough; title: The Software Engineering Institute at Carnegie Mellon University / A. Nico Habermann; title: Task sequencing language for specifying distributed Ada systems / David C. Luckham ... [et al.].