Hide search box
Advanced search
Book
Cover
(incl. VAT) Net price: PLN
Purchase form
To cart

Certifiable Software Applications 3

Downward Cycle

Authors: Jean-Louis Boulanger Publisher: Elsevier Science Publication date: 2018 Publication language: Angielski Number of pages: 356 Publication formats: EAN: 9780081011638 ISBN: 9780081011638 Category: Programming & scripting languages: general Software Engineering Publisher's index: 9780081011638 Bibliographic note: 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.

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