Ada for specification : possibilities and limitations
著者
書誌事項
Ada for specification : possibilities and limitations
(The Ada companion series)
Published on behalf of the Commission of the European Communities by Cambridge University Press, 1985
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 265
内容説明・目次
内容説明
This book examines the use of the Ada programming language in the specification stage of a software development project, placing emphasis throughout on the issues involved in specification and on the generation of ideas for software tools for use in an Ada environment. It begins with a discussion of the role and purpose of specification in a large-scale software project, describing the features that a specification language should have and assessing Ada as a candidate. The use of Ada as a program design language and in system modelling is then examined, together with a number of other specification languages. Conversion of a specification into a program and tools for handling specifications are then considered, before the findings are summarised and conclusions drawn. An appendix describes an Ada-related specification language, adapted to general engineering systems. The book is based on a study for the Commission of the European Communites, completed in July 1984.
「Nielsen BookData」 より