We use cookies to provide essential features and services. By using our website you agree to our use of cookies .


Warehouse Stock Clearance Sale

Grab a bargain today!

System Development and Ada


Product Description
Product Details

Table of Contents

Design of the rational environment.- The PCTE initiative: toward a european approach to software engineering.- Engineering VAX Ada for a multi-language programming environment.- The Ada environment - a personal view.- Knowledge-based software development from requirements to code.- The SMoLCS approach to the formal semantics of programming languages.- Project Graphs and meta-programs towards a theory of Software development.- Software development based on formal methods.- Integration of program construction and verification: the PROSPECTRA methodology.- Ada compiler validation: An example of software testing theory and practice.- The Software Engineering Institute at carnegie mellon university.- Task sequencing language for specifying distributed Ada systems.

Promotional Information

Springer Book Archives

Ask a Question About this Product More...
Write your question below:
Item ships from and is sold by Fishpond World Ltd.
Back to top