System Development and ADA Crai Workshop on Software Factories and ADA, Capri, Italy, May 26-30, 1986, Proceedings

Author/creator Habermann, A.Nico Editor
Other author Montanari, Ugo Editor
Format Electronic
Publication InfoNew York : Springer
Descriptionv, 305 p.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Supplemental ContentFull text available from Springer Books

SeriesLecture Notes in Computer Science Ser.
Summary Annotation 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.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
ISBN9783540183419
ISBN3540183418 (Trade Paper) Active Record
Standard identifier# 9783540183419
Stock number3540183418 00024965

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available