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
25% off
25% off
25% off
25% off
25% off
20% off
20% off
25% off
25% off
25% off
25% off
25% off
20% off
20% off
25% off
25% off
25% off
25% off
25% off
20% off
20% off
54.95
41.21
41.21
41.21
41.21
41.21
43.96
43.96
43.99
32.99
32.99
32.99
32.99
32.99
35.19
35.19
72.95
54.71
54.71
54.71
54.71
54.71
58.36
58.36
Unavailable
Price includes VAT/GST
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Description

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

Bibliography

Index

Details

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

About the Editor

Darrel Ince

Derek Andrews

Ratings and Reviews