|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
SCIDIR_on1052466140 |
| 003 |
OCoLC |
| 005 |
20231120010314.0 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
180913s2018 enk ob 001 0 eng d |
| 040 |
|
|
|a OPELS
|b eng
|e rda
|e pn
|c OPELS
|d N$T
|d EBLCP
|d NLE
|d YDX
|d OCLCF
|d OTZ
|d U3W
|d LVT
|d D6H
|d SNK
|d OCLCQ
|d S2H
|d OCLCO
|d OCLCQ
|d OCLCO
|d K6U
|d OCLCQ
|d SFB
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 1052844034
|
| 020 |
|
|
|a 9780081011638
|q (electronic bk.)
|
| 020 |
|
|
|a 0081011636
|q (electronic bk.)
|
| 020 |
|
|
|z 9781785481192
|q (print)
|
| 020 |
|
|
|z 1785481193
|
| 035 |
|
|
|a (OCoLC)1052466140
|z (OCoLC)1052844034
|
| 050 |
|
4 |
|a QA76.76.A65
|
| 072 |
|
7 |
|a COM
|x 051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 100 |
1 |
|
|a Boulanger, Jean-Louis,
|e author.
|
| 245 |
1 |
0 |
|a Certifiable software applications.
|n 3,
|p Downward cycle /
|c Jean-Louis Boulanger.
|
| 246 |
3 |
0 |
|a Downward cycle
|
| 264 |
|
1 |
|a London, UK :
|b ISTE Press ;
|a Kidlington, Oxford, UK :
|b Elsevier,
|c 2018.
|
| 300 |
|
|
|a 1 online resource
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (ScienceDirect, viewed Septemebr 13, 2018).
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 505 |
8 |
|
|a 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
|
| 650 |
|
0 |
|a Application software
|x Development.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
6 |
|a Logiciels d'application
|x D�eveloppement.
|0 (CaQQLa)201-0279367
|
| 650 |
|
6 |
|a G�enie logiciel.
|0 (CaQQLa)201-0121595
|
| 650 |
|
7 |
|a COMPUTERS
|x Software Development & Engineering
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Application software
|x Development
|2 fast
|0 (OCoLC)fst00811707
|
| 650 |
|
7 |
|a Software engineering
|2 fast
|0 (OCoLC)fst01124185
|
| 776 |
0 |
8 |
|i Print version:
|a Boulanger, Jean-Louis.
|t Certifiable software applications. 3, Downward cycle.
|d London, UK : ISTE Press ; Kidlington, Oxford, UK : Elsevier, 2018
|z 1785481193
|z 9781785481192
|w (OCoLC)960895326
|
| 856 |
4 |
0 |
|u https://sciencedirect.uam.elogim.com/science/book/9781785481192
|z Texto completo
|
