Case studies in systematic software development
著者
書誌事項
Case studies in systematic software development
(Prentice-Hall International series in computer science)
Prentice-Hall, 1990
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
Ten authors present twelve case studies in the use of the Vienna Development Method, a formal, mathematically based approach for the specification and development of both software and hardware. Includes a chapter showing how formal methods relate to the software development process and an appendix r
「Nielsen BookData」 より