Elsevier Certifiable Software Applications 3: Downward Cycle

Product Description Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming languages and their impact on certifiability is included. Describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding Presents valuable programming examples Includes a presentation of programming languages and their impact on certifiability Review Presents the development of a certifiable software application that goes from specification, to production, to executable About the Author Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.