Introducing specification using Z : a practical case study approach
著者
書誌事項
Introducing specification using Z : a practical case study approach
(The McGraw-Hill international series in software engineering)
McGraw-Hill, c1994
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 257-258) and indexes
内容説明・目次
内容説明
Offering an introduction to formal specification using the "Z" notation, this practical text makes use of a series of case studies, of varying complexity, to illustrate the construction of good specifications in "Z". These case studies serve to describe the most frequently used features of "Z", the relevant discrete mathematics and the various techniques used. The text also includes an introduction to specification validation, theorem proving and refinement. The importance of formal methods within software engineering is stressed throughout and there are a large number of exercises with solutions.
目次
- Software engineering - why formal methods?
- aspects of specification
- the digital watch
- predicate logic
- the van hire system (part 1)
- the van hire system (part 2)
- supporting system description
- the online monitor
- after specification - what else?
「Nielsen BookData」 より