Software : requirements, specification and testing : proceedings of CSR Workshop, University of East Anglia, 10-12 April, 1984
著者
書誌事項
Software : requirements, specification and testing : proceedings of CSR Workshop, University of East Anglia, 10-12 April, 1984
Blackwell Scientific, 1985
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 139-144
内容説明・目次
内容説明
The book provides a record of a workshop requirements definition, system specification and testing of computer software. Two particular aims of the workshop were to bring together academic investigators and industrial practitioners to strive for progress in commercial software development, and to stress the interrelationships between the topics covered by the workshop. These aims are reflected in the book, which represents a contribution to the state of the art in software engineering.
目次
- Contents: Specification, verification and testing in software development
- An industrial viewpoint
- Support for the management process
- Adding formality to pragmatism
- Software requirements definitions
- Tools for design by objectives'
- Pragmatic aspects of formal specification
- Specifications and programs
- Program validation
- Testing techniques based on symbolic evaluation
- Functional testing
- Software verification through statistical testing.
「Nielsen BookData」 より