Skip to main content
SpringerLink
Log in

System Development and Ada

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

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. A. Nico Habermann
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ugo Montanari
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 275)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Design of the rational environment

    • James E. Archer Jr.
    Pages 1-15

  3. The PCTE initiative: toward a european approach to software engineering

    • Ferdinando Gallo, Bull DRTG/GL
    Pages 16-29

  4. Engineering VAX Ada for a multi-language programming environment

    • Charles Z. Mitchell
    Pages 30-47

  5. The Ada environment — a personal view

    • Vic Stenning
    Pages 48-61

  6. Knowledge-based software development from requirements to code

    • Stephen J. Westfold, Lawrence Z. Markosian, William A. Brew
    Pages 62-80

  7. The SMoLCS approach to the formal semantics of programming languages

    • Egidio Astesiano, Gianna Reggio
    Pages 81-116

  8. Project Graphs and meta-programs towards a theory of Software development

    • Dines Bjørner
    Pages 117-152

  9. Software development based on formal methods

    • C. B. Jones
    Pages 153-172

  10. Integration of program construction and verification: the PROSPECTRA methodology

    • Bernd Krieg-Brückner
    Pages 173-194

  11. Ada compiler validation: An example of software testing theory and practice

    • John B. Goodenough
    Pages 195-232

  12. The Software Engineering Institute at carnegie mellon university

    • A. N. Habermann
    Pages 233-248

  13. Task sequencing language for specifying distributed Ada systems

    • D. C. Luckham, D. P. Helmbold, S. Meldal, D. L. Bryan, M. A. Haberler
    Pages 249-305
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation