Advertisement

Table of contents

  1. Front Matter
  2. James E. Archer Jr.
    Pages 1-15
  3. Vic Stenning
    Pages 48-61
  4. Stephen J. Westfold, Lawrence Z. Markosian, William A. Brew
    Pages 62-80
  5. Egidio Astesiano, Gianna Reggio
    Pages 81-116
  6. D. C. Luckham, D. P. Helmbold, S. Meldal, D. L. Bryan, M. A. Haberler
    Pages 249-305

About these proceedings

Introduction

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

Ada automation construction formal method programming programming language semantics system system development verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-18341-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18341-9
  • Online ISBN 978-3-540-47885-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications