System Development and Ada

CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings A. Nico Habermann, Ugo Montanari ... In allocating and deallocating heap storage , all callable utilities and the runtime systems for all VAX ...

System Development and Ada

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.

More Books:

System Development and Ada
Language: en
Pages: 305
Authors: A. Nico Habermann, Ugo Montanari
Categories: Computers
Type: BOOK - Published: 1987-09-23 - Publisher: Springer Science & Business Media

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
Management
Language: en
Pages:
Authors: A. Nico Habermann, Ugo Montanari
Categories: Industrial engineering
Type: BOOK - Published: 1991 - Publisher:

Books about Management
Management, a Bibliography for NASA Managers
Language: en
Pages: 195
Authors: A. Nico Habermann, Ugo Montanari
Categories: Management
Type: BOOK - Published: 1991 - Publisher:

Books about Management, a Bibliography for NASA Managers
Progress In Astronautics and Aeronautics
Language: en
Pages: 636
Authors: Christine Anderson, Merlin Dorfman
Categories: Aeronautics
Type: BOOK - Published: 1991 - Publisher: AIAA

Books about Progress In Astronautics and Aeronautics
Knowledge-based Software Development For Real-time Distributed Systems
Language: en
Pages: 236
Authors: Jeffrey J P Tsai, Thomas J Weigert
Categories: Computers
Type: BOOK - Published: 1993-11-22 - Publisher: World Scientific

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software