Certifiable Software Applications 3

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


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.

Weitere Produkte vom selben Autor

Download
PDF
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

177,99 €*
Download
ePUB
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

177,99 €*
Download
ePUB
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

168,99 €*
Download
PDF
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

168,99 €*