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.

Keywords

Bibliographic Information

Book Title: System Development and Ada
Book Subtitle: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
Editors: A. Nico Habermann, Ugo Montanari
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-18341-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1987
Softcover ISBN: 978-3-540-18341-9Published: 23 September 1987
eBook ISBN: 978-3-540-47885-0Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 308
Topics: Theory of Computation, Computer System Implementation, Software Engineering, Programming Techniques, Math. Applications in Chemistry, Computational Intelligence

Publish with us

Policies and ethics

Editors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (12 papers)

Front Matter

About this book