| Description |
1 online resource |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
| Note |
Online resource; title from PDF title page (ScienceDirect, viewed Septemebr 13, 2018). |
| Bibliography |
Includes bibliographical references and index. |
| Contents |
Intro; Title page; Table of Contents; Dedication; Copyright; Introduction; Reader's guide; Acknowledgments; 1: Realization of a Software Application; Abstract; 1.1 Introduction; 1.2 Implementation process; 1.3 Quality control; 1.4 Conclusion; 2: Requirements Management; Abstract; 2.1 Introduction; 2.2 Three key concepts; 2.3 Process; 2.4 Conclusion; 3: Documentation Structure; Abstract; 3.1 Introduction; 3.2 Documentation; 3.3 Quality control; 3.4 Implementation process; 3.5 Configuration management; 3.6 Defect and non-conformity management; 3.7 Conclusion |
|
4: Requirements Specification of a Software ApplicationAbstract; 4.1 Introduction; 4.2 Requirements management; 4.3 Specification know-how; 4.4 Quality characteristics of a software product; 4.5 Objectives of the software requirements specification phase; 4.6 Risk assessment; 4.7 System requirements specification document: SwRS; 4.8 Specifications formalization; 4.9 Considering COTS and reused components; 4.10 Specification verification; 4.11 Conclusion; 4.12 Appendix: SwRS template; 5: Modeling; Abstract; 5.1 Introduction; 5.2 Modeling; 5.3 Model transformation; 5.4 Model refinement |
|
5.5 Methods5.6 Conclusion; 6: Formalization; Abstract; 6.1 Introduction; 6.2 Approach example; 6.3 Model verification; 6.4 Setting up of formal methods; 6.5 Implementation of formal methods; 6.6 Software application maintenance; 6.7 Conclusion; 7: Software Specification Verification Stage; Abstract; 7.1 Introduction; 7.2 Verification; 7.3 Conclusion; 8: Component Versus Module; Abstract; 8.1 Introduction; 8.2 Reusability, maintainability and continuity of service; 8.3 Module and component; 8.4 Conclusion; 9: Software Application Architecture; Abstract; 9.1 Introduction |
|
9.2 Objective of the architecture phase of a software application9.3 Software architect; 9.4 Software architecture description document; 9.5 Verification of the software application architecture; 9.6 Consideration of COTS and reused components; 9.7 Model approach; 9.8 Conclusion; 10: Software Application Architecture Verification; Abstract; 10.1 Introduction; 10.2 Verification; 10.3 Conclusion; 11: Software Application Design; Abstract; 11.1 Introduction; 11.2 Component; 11.3 Purpose of the design phase; 11.4 Designer; 11.5 Software component specification document |
|
11.6 Software component specification document11.7 Design verification; 11.8 Consideration of COTS and reused components; 11.9 Conclusion; 12: Software Application Component Design Phase Verification; Abstract; 12.1 Introduction; 12.2 Verification; 12.3 Conclusion; 13: Software Application Coding; Abstract; 13.1 Introduction; 13.2 Coding phase objective; 13.3 IMPlementer; 13.4 Code production; 13.5 Principles to be implemented in the context of the coding phase; 13.6 The choice of design language; 13.7 Consideration of COTS and reused components; 13.8 Coding phase verification |
| Subject |
Application software -- Development.
|
|
Software engineering.
|
|
Logiciels d'application -- Développement.
|
|
Génie logiciel.
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
Application software -- Development
|
|
Software engineering
|
| Added Title |
Downward cycle |
| Other Form: |
Print version: Boulanger, Jean-Louis. Certifiable software applications. 3, Downward cycle. London, UK : ISTE Press ; Kidlington, Oxford, UK : Elsevier, 2018 1785481193 9781785481192 (OCoLC)960895326 |
| ISBN |
9780081011638 (electronic bk.) |
|
0081011636 (electronic bk.) |
|
9781785481192 (print) |
|
1785481193 |
| Standard No. |
AU@ 000064301900 |
|
