The Software Life Cycle
Published on 20. May 2014
426 pages
978-1-4831-6354-3 (ISBN)
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.
More details
Other editions
Additional editions
Darrel Ince | Derek Andrews
The Software Life Cycle
Book
03/1990
Architectural Press
€54.46
Article exhausted; check different version
Content
Introduction: Software Engineering and Software DevelopmentSection 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 ArchitecturesSection 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 DesignSection 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 ReviewSection 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 TechniquesBibliographyIndex
