Certifiable Software Applications 3 Certifiable Software Applications 3

Certifiable Software Applications 3

Downward Cycle

    • US$134.99
    • US$134.99

출판사 설명

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

장르
컴퓨터 및 인터넷
출시일
2018년
9월 3일
언어
EN
영어
길이
356
페이지
출판사
ISTE Press - Elsevier
판매자
Elsevier Ltd.
크기
23.8
MB
Formal Methods Applied to Industrial Complex Systems Formal Methods Applied to Industrial Complex Systems
2014년
Certifiable Software Applications 1 Certifiable Software Applications 1
2016년
Model-Based Engineering of Embedded Real-Time Systems Model-Based Engineering of Embedded Real-Time Systems
2010년
Software Product Lines Software Product Lines
2007년
Testing Commercial-off-the-Shelf Components and Systems Testing Commercial-off-the-Shelf Components and Systems
2005년
Architecting Dependable Systems IV Architecting Dependable Systems IV
2007년
Certifiable Software Applications 2 Certifiable Software Applications 2
2016년
Certifiable Software Applications 1 Certifiable Software Applications 1
2016년
CENELEC 50128 and IEC 62279 Standards CENELEC 50128 and IEC 62279 Standards
2015년
Ingénierie des exigences Ingénierie des exigences
2014년
Formal Methods Applied to Complex Systems Formal Methods Applied to Complex Systems
2014년
Formal Methods Applied to Industrial Complex Systems Formal Methods Applied to Industrial Complex Systems
2014년