A. Nico Habermann, Ugo Montanari
Proceedings of the CRAI Workshop on Software Factories and Ada
Software Development and Ada, 1986.

@proceedings{CRAI-1986,
	address       = "Capri, Italy",
	editor        = "A. Nico Habermann and Ugo Montanari",
	isbn          = "3-540-18341-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the CRAI Workshop on Software Factories and Ada}",
	volume        = 275,
	year          = 1986,
}

Contents (12 items)

4 ×#ada
3 ×#development
2 ×#approach
2 ×#formal method
2 ×#re-engineering
2 ×#towards

CRAI-1986-Archer #design

Design of the Rational Environment (JEAJ), pp. 1–15.

CRAI-1986-Gallo #approach #re-engineering #towards

The PCTE Initiative: Toward a European Approach to Software Engineering (FG), pp. 16–29.

CRAI-1986-Mitchell #ada #multi #programming

Engineering VAX Ada for a Multi-Language Programming Environment (CZM), pp. 30–47.

CRAI-1986-Stenning #ada #perspective

The Ada Environment — A Personal View (VS), pp. 48–61.

CRAI-1986-WestfoldMB #development #knowledge-based #requirements

Knowledge-Based Software Development from Requirements to Code (SJW, LM, WAB), pp. 62–80.

CRAI-1986-AstesianoR #approach #programming language #semantics #tutorial

The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.

CRAI-1986-Bjorner #development #formal method #graph #metaprogramming #towards

Project Graphs and Meta-Programs. Towards a Theory of Software Development (DB), pp. 117–152.

CRAI-1986-Jones #development #formal method

Software Development Based on Formal Methods (CBJ), pp. 153–172.

CRAI-1986-Krieg-Bruckner #integration #verification

Integration of Program Construction and Verification: The PROSPECTRA Methodology (BKB), pp. 173–194.

CRAI-1986-Goodenough #ada #compilation #testing #theory and practice #validation

Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.

CRAI-1986-Habermann #re-engineering

The Software Engineering Institute at Carnegie Mellon University (ANH), pp. 233–248.

CRAI-1986-LuckhamHMBH #ada #distributed #specification

Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.