The Software Life Cycle
- 1st Edition - April 23, 1990
- Latest edition
- Editors: Darrel Ince, Derek Andrews
- Language: English
The Software Life Cycle deals with the software lifecycle, that is, what exactly happens when software is developed. Topics covered include aspects of software engineeri… Read more
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.
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
- Edition: 1
- Latest edition
- Published: April 23, 1990
- Language: English
Read The Software Life Cycle on ScienceDirect