The Software Life Cycle - 1st Edition - ISBN: 9780408037419, 9781483163543

The Software Life Cycle

1st Edition

Editors: Darrel Ince Derek Andrews
eBook ISBN: 9781483163543
Imprint: Butterworth-Heinemann
Published Date: 13th March 1990
Page Count: 426
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

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




No. of pages:
© Butterworth-Heinemann 1990
eBook ISBN:

About the Editor

Darrel Ince

Derek Andrews

Ratings and Reviews