ADA FOR SPECIFICATION - POSSIBILITIES AND LIMITATIONS
The book starts with a review, from the point of view of a large scale software project, of the role and purpose of specifications, and the reason why a specification language is required. Chapter 2 then describes the features such a language should have and discusses Ada as a candidate. This is followed in chapter 3 by a description of the use of Ada as a PDL and some attempts which have been made to use its power in a constructive way to express semantics without giving detailed programs. The use of Ada as a language for specifying low level details of structure and behaviour of hardware and of communications protocols is also described. Chapter 4 illustrates by example techniques for modelling world objects, describing systems and system components in Ada terms. Chapter 5 considers specification languages in a broader sense, describing some languages intended to annotate Ada programs with specification text, and some other (non Ada) methods which are described in the literature, and are considered relevant to the goal of developing Ada specific methods. Methods and tools which are relevant to handling specifications and transforming them into programs are the topics of chapters 6 and 7. The latter considers a future APSE as a computer aided design system for software. After the summary in chapter 8, an appendix is included describing an attempt to construct a language which possesses the structural features of Ada, but is adapted to specification of general engineering systems. Throughout, the emphasis is intended to be on review, together with generation of ideas related to the development of tools in the field of specification of systems in an Ada environment.
Bibliographic Reference: BOOK: 265 P., 1985, ISBN 0 521 308534 WRITE TO CAMBRIDGE UNIVERSITY PRESS, THE PITT BUILDING, TRUMPINGTON STREET, CAMBRIDGE CB2 1RP (UK), PRICE: UKL 20, (EUR 9642 EN).
Record Number: 1989125056700 / Last updated on: 1987-11-01
Available languages: en