紀錄類型: |
書目-電子資源
: Monograph/item
|
杜威分類號: |
005.1 |
書名/作者: |
Certifiable software applications. : downward cycle // Jean-Louis Boulanger. |
其他題名: |
Downward cycle |
作者: |
Boulanger, Jean-Louis, |
出版者: |
London, UK : : ISTE Press ;, 2018. |
面頁冊數: |
1 online resource. |
標題: |
Computer software - Development. |
標題: |
Software engineering. |
ISBN: |
9780081011638 (electronic bk.) |
ISBN: |
9781785481192 (hbk.) |
書目註: |
Includes bibliographical references and index. |
內容註: |
1. Realization of a Software Application 2. Requirements Management 3. Documentation Structure 4. Requirements Specification of a Software Application 5. Modeling 6. Formalization 7. Software Specification Verification Stage 8. Component Versus Module 9. Software Application Architecture 10. Software Application Architecture Verification 11. Software Application Design 12. Software Application Component Design Phase Verification 13. Software Application Coding 14. Programming Rules 15. Coding Verification 16. Version Sheet of the Software Application. |
電子資源: |
https://www.sciencedirect.com/science/book/9781785481192 |