close
1.

図書

図書
A.N. Habermann, U. Montanari (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  305 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 275
所蔵情報: loading…
目次情報: 続きを見る
The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
Knowledge-Based Software Development from Requirements to Code
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction
Project Graphs and Meta-Programs
Towards a Theory of Software Development
Software Development Based on Formal Methods
Integration of Program Construction and Verification: The PROSPECTRA Methodology
Ada Compiler Validation: An Example of Software Testing Theory and Practice
The Software Engineering Institute at Carnegie-Mellon University
Task Sequencing Language for Specifying Distributed Ada Systems
The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
2.

図書

図書
edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  iv, 208 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 242
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼