Proceedings of the CRAI Workshop on Software Factories and Ada
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.