System development and Ada - Info and Reading Options
By CRAI Workshop on Software Factories and Ada (1986 Capri, Italy)
"System development and Ada" was published by Springer-Verlag in 1987 - Berlin, it has 305 pages and the language of the book is English.
“System development and Ada” Metadata:
- Title: System development and Ada
- Author: ➤ CRAI Workshop on Software Factories and Ada (1986 Capri, Italy)
- Language: English
- Number of Pages: 305
- Publisher: Springer-Verlag
- Publish Date: 1987
- Publish Location: Berlin
“System development and Ada” Subjects and Themes:
- Subjects: ➤ Ada (Computer program language) - Computer software - Congresses - Development - System design - Conception de systèmes - Congrès - Logiciels - Développement - Ada (Langage de programmation) - Softwareentwicklung - Ada
Edition Specifications:
- Pagination: 305 p. :
Edition Identifiers:
- The Open Library ID: OL2393812M - OL4975518W
- Online Computer Library Center (OCLC) ID: 16646769
- Library of Congress Control Number (LCCN): 87023397
- ISBN-10: 0387183418
- All ISBNs: 0387183418
AI-generated Review of “System development and Ada”:
"System development and Ada" Table Of Contents:
- 1- Design of the rational environment / James E. Archer, Jr.
- 2- The PCTE initiative / Ferdinando Gallo
- 3- Engineering VAX Ada for a multi-language programming environment / Charles Z. Mitchell
- 4- The Ada environment
- 5- a personal view / Vic Stenning
- 6- Knowledge-based software development from requirements to code / Stephen J. Westfold, Lawrence Z. Markosian, William A. Brew
- 7- SMoLCS approach to the formal semantics of programming languages / Egidio Astesiano, Gianna Reggio
- 8- Project graphs and Meta-programs / Dines Bjørner
- 9- Software development based on formal methods / Cliff B. Jones
- 10- Integration of program construction and verification / Bernd Krieg-Brückner
- 11- Ada compiler validation / John B. Goodenough
- 12- The Software Engineering Institute at Carnegie Mellon University / A. Nico Habermann
- 13- Task sequencing language for specifying distributed Ada systems / David C. Luckham ... [et al.].
Read “System development and Ada”:
Read “System development and Ada” by choosing from the options below.
Search for “System development and Ada” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "System development and Ada" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: restricted
- Check if available: The Open Library & The Internet Archive
Find “System development and Ada” in Libraries Near You:
Read or borrow “System development and Ada” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “System development and Ada” at a library near you.
Buy “System development and Ada” online:
Shop for “System development and Ada” on popular online marketplaces.
- Ebay: New and used books.