The software life cycle

Bibliographic Information

The software life cycle

edited by Darrel Ince, Derek Andrews

Butterworths, 1990

Search this Book/Journal
Note

Includes bibliographical references (p. 403-412) and index

Description and Table of Contents

Description

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.

Table of Contents

  • 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.

by "Nielsen BookData"

Details
  • NCID
    BA19381810
  • ISBN
    • 0408037415
  • LCCN
    89025469
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    London ; Boston
  • Pages/Volumes
    viii, 418 p.
  • Size
    24 cm
  • Classification
  • Subject Headings
Page Top