Sökt på: Böcker av Jean-Louis Boulanger
totalt 25 träffar
Certifiable Software Applications 2
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data …
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 …
Certifiable Software Applications 2
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data …
Safety of Computer Architectures
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system …
Safety of Computer Architectures
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system …
Certifiable Software Applications 1
Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a …
Certifiable Software Applications 4
Certifiable Software Applications 4: Upward Cycle presents the upward phase of development of a software application cycle, including test aspects for each unit level and the …
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 …
Formal Methods Applied to Industrial Complex Systems
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and …
Industrial Use of Formal Methods
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of …
Certifiable Software Applications 1
Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a …
CENELEC 50128 and IEC 62279 Standards
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and …