+612 9045 4394
 
CHECKOUT
System Development and ADA : Crai Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings - A.Nico Habermann

System Development and ADA

Crai Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

By: A.Nico Habermann (Editor), Ugo Montanari (Editor)

Paperback

Published: 23rd September 1987
Ships: 15 business days
15 business days
$125.05
or 4 easy payments of $31.26 with Learn more

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.

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 - A Tutorial Introduction
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
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540183419
ISBN-10: 3540183418
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 308
Published: 23rd September 1987
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.68
Weight (kg): 0.45