An edition of System development and Ada
(1987)
System development and Ada
by CRAI Workshop on Software Factories and ...
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Design of the rational environment / James E. Archer, Jr.
The PCTE initiative / Ferdinando Gallo
Engineering VAX Ada for a multi-language programming environment / Charles Z. Mitchell
The Ada environment
a personal view / Vic Stenning
Knowledge-based software development from requirements to code / Stephen J. Westfold, Lawrence Z. Markosian, William A. Brew
SMoLCS approach to the formal semantics of programming languages / Egidio Astesiano, Gianna Reggio
Project graphs and Meta-programs / Dines Bjørner
Software development based on formal methods / Cliff B. Jones
Integration of program construction and verification / Bernd Krieg-Brückner
Ada compiler validation / John B. Goodenough
The Software Engineering Institute at Carnegie Mellon University / A. Nico Habermann
Task sequencing language for specifying distributed Ada systems / David C. Luckham ... [et al.].
Edition Notes
Includes bibliographies.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| July 22, 2024 | Edited by MARC Bot | import existing book |
| October 20, 2022 | Edited by ImportBot | import existing book |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |