The software life cycle
著者
書誌事項
The software life cycle
Butterworths, 1990
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 403-412) and index
内容説明・目次
内容説明
An examination of the life cycle of software which incorporates aspects of software engineering, structured techniques of software development, software project management and software development and mathematics.
目次
- Part 1 Aspects of software engineering: the role of functional languages in software development
- functional programming and software engineering
- an evaluation of software product metrics
- relational databases - a theoretical primer
- software engineering in MoDULA-2
- functional programming on parallel architectures
- Part 2 Structured techniques of software development: Yourdon dataflow diagrams - a tool for disciplined requirements analysis
- structured systems analysis and design method (SSADM)
- modelling phase of JSD
- congruent design. Part 3 Software development and mathematics: the Vienna development method
- Z and system specification
- what are formal methods?
- formal description of real-time systems - a review. Part 4 Software project management: software assurance - measurement and control
- automating information engineering
- designing software for provable correctness - the direction for quality software
- information base of the aspect integrated project support environment
- artificial intelligence and software engineering - a survey of possibilites
- a review of software testing.
「Nielsen BookData」 より
