System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings (Q1092650)

12 papers of these proceedings deal with software development environments, formal methods for software development, and activities related to the Ada language. Let us name all the papers, J. E. Archer, jun. ``Design of the Rational Environment''. The main features and design consideration of the system are described. The system is an environment for Ada programmers and supports programming of large software systems. F. Gallo. ``The PCTE initiative: toward a European approach to Software Engineerings''. The project of Portable Common Tool Environment (PCTE) is presented. The PCTE is consistent with the architectural model for Ada Programming Environment (APSE) described in the Stoneman requirements. C. Z. Mitchell ``Engineering VAX Ada for a multi-language Programming Environment''. The system consists of an Ada compiler, an Ada program library manager, and a multi-language programming environment. The mixed language system is motivated by desire to use parts of software allready written in other languages (Fortran, PL/1, Pascal, C, etc.). V. Stenning ``The Ada Environment - a personal view''. Attention is focussed on a project support environment. An example of language-independent environment ISTAR is presented. S. J. Westfold, L. Z. Markosian, W. A. Brew ``Knowledge-Based Software Development from Requirements to Code''. A paradigm for software development in which validation, modification and enhancement are performed at the level of abstract specifications is advocated. E. Astesiano, G. Reggio ``The SmoLCS approach to the formal semantics of programming languages - A tutorial introduction''. The basic principles underlying SMoLCS (Structured Monitored Linear Concurrent Systems) are given, an example of a specification is presented. D. Bjørner ``Project Graphs and Meta-Programs. Towards a Theory of Software Development''. A systematic Software development methodology is described. In order to express the relations between the components of a project the acyclic directed graphs are used. C. B. Jones ``Software Development based on Formal Methods''. The Vienna Development Method is applied to program development. B. Krieg-Brückner ''Integration of Program Construction and Verification: the PROSPECTRA Methodology''. A methodology for program development by specification and transformation based on the annotation language ANNA [D. C. Luckham, et al., ANNA, A Language for Annotating Ada Programs, Reference Manual, Lect. Notes Comput. Sci. 260, Springer-Verlag (Berlin 1987)] is described. J. B. Goodenough ``Ada Compiler Validation: An Example of Software Testing Theory and Practice''. The philosophy and development of compiler tests for Ada Standard is discussed. Examples of some tests are given. A. N. Habermann ``The Software Engineering Institute at Carnagie Mellon University''. The purpose of the Institute is the transition of promising software development technology from research to practice. The areas of interest and the topics of interest are described. D. C. Luckham, et. al. ``Task Sequencing Language for Specifying Distributed Ada Systems''. The language TSL-1 is described informally. The constructs of the language are included in an Ada program as formal comments.