Software engineering with abstractions
著者
書誌事項
Software engineering with abstractions
Addison-Wesley, c1991
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001
目次
Table of Contents.
Introduction.
Requirements Analysis.
Functional Specification.
Architectural Design.
Implementation.
Evolution.
Support Environment.
Research.
Directions.
Appendices.
「Nielsen BookData」 より
