Certifiable software applications 3 : downward cycle /: downward cycle. (2018)

• Record Type: Book
• Further Information: Note: Jean-Louis Boulanger.
• Authors: Boulanger, Jean-Louis
• Contents: 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
• Publisher Details: Amsterdam : Elsevier
• Publication Date: 2018
• Extent: 1 online resource
• Subjects: 005.1; Computer software -- Development; Computer software -- Verification
• Languages: English
• ISBNs: 9780081011638
• Related ISBNs: 9781785481192
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.