The Software Life Cycle

The Software Life Cycle

1st Edition - March 13, 1990

Write a review

  • Editors: Darrel Ince, Derek Andrews
  • eBook ISBN: 9781483163543

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order


The Software Life Cycle deals with the software lifecycle, that is, what exactly happens when software is developed. Topics covered include aspects of software engineering, structured techniques of software development, and software project management. The use of mathematics to design and develop computer systems is also discussed. This book is comprised of 20 chapters divided into four sections and begins with an overview of software engineering and software development, paying particular attention to the birth of software engineering and the introduction of formal methods of software development. The next section explores some aspects of software engineering that tend to get ignored in the literature, including functional programming, functional-programming languages, and relational databases. The reader is then introduced to structured methods of software development, along with software project management. The final chapter is devoted to software testing, which can be functional or nonfunctional. This monograph will be useful to software engineers and designers.

Table of Contents

  • Introduction: Software Engineering and Software Development

    Section 1 Aspects of Software Engineering

    1 The Role of Functional Languages in Software Development

    2 Functional Programming and Software Engineering

    3 An Evaluation of Software Product Metrics

    4 Relational Databases

    5 Software Engineering in MODULA-2

    6 Functional Programming on Parallel Architectures

    Section 2 Structured Techniques of Software Development

    7 Yourdon Data Flow Diagrams: A Tool for Disciplined Requirements Analysis

    8 Structured Systems Analysis and Design Method (SSADM)

    9 The Modeling Phase of JSD

    10 Congruent Design

    Section 3 Software Development and Mathematics

    11 The Vienna Development Method

    12 Z and System Specification

    13 What are Formal Methods?

    14 Formal Description of Real-time Systems: A Review

    Section 4 Software Project Management

    15 Software Product Assurance: Measurement and Control

    16 Automating Information Engineering

    17 Designing Software for Provable Correctness: The Direction for Quality Software

    18 Information Base of the Aspect Integrated Project Support Environment

    19 Artificial Intelligence and Software Engineering: A Survey of Possibilities

    20 Software Testing Techniques



Product details

  • No. of pages: 426
  • Language: English
  • Copyright: © Butterworth-Heinemann 1990
  • Published: March 13, 1990
  • Imprint: Butterworth-Heinemann
  • eBook ISBN: 9781483163543

About the Editors

Darrel Ince

Derek Andrews

Ratings and Reviews

Write a review

There are currently no reviews for "The Software Life Cycle"