Jean-Louis Boulanger – författare
Visar alla böcker från författaren Jean-Louis Boulanger. Handla med fri frakt och snabb leverans.
36 produkter
Certifiable Software Applications 3
Downward Cycle
E-bok, 2018
1945 kr
Lägg i varukorg
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 …
Certifiable Software Applications 2
Support Processes
E-bok, 2016
1492 kr
Lägg i varukorg
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of …
Certifiable Software Applications 1
Main Processes
E-bok, 2016
1492 kr
Lägg i varukorg
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 application. In it, the author covers recent developments such as the module, component and product line …
Safety Management for Software-based Equipment
E-bok, 2013
2265 kr
Lägg i varukorg
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the …
Safety Management for Software-based Equipment
E-bok, 2013
2265 kr
Lägg i varukorg
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the …
Industrial Use of Formal Methods
Formal Verification
E-bok, 2013
2265 kr
Lägg i varukorg
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 experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the …
Industrial Use of Formal Methods
Formal Verification
E-bok, 2012
2216 kr
Lägg i varukorg
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 experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the …
Safety of Computer Architectures
E-bok, 2013
2265 kr
Lägg i varukorg
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 architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to …
Safety of Computer Architectures
E-bok, 2013
2265 kr
Lägg i varukorg
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 architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to …
Static Analysis of Software
The Abstract Interpretation
E-bok, 2013
2617 kr
Lägg i varukorg
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, …
Static Analysis of Software
The Abstract Interpretation
E-bok, 2013
2617 kr
Lägg i varukorg
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, …
Formal Methods
Industrial Use from Model to the Code
E-bok, 2013
2265 kr
Lägg i varukorg
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods …
Formal Methods
Industrial Use from Model to the Code
E-bok, 2013
2265 kr
Lägg i varukorg
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods …
Formal Methods Applied to Complex Systems
Implementation of the B Method
E-bok, 2014
2790 kr
Lägg i varukorg
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use …
Formal Methods Applied to Complex Systems
Implementation of the B Method
E-bok, 2014
2851 kr
Lägg i varukorg
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use …
Formal Methods Applied to Industrial Complex Systems
E-bok, 2014
2705 kr
Lägg i varukorg
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 the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal …
Formal Methods Applied to Industrial Complex Systems
E-bok, 2014
2705 kr
Lägg i varukorg
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 the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal …
CENELEC 50128 and IEC 62279 Standards
E-bok, 2015
2216 kr
Lägg i varukorg
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 methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard …
CENELEC 50128 and IEC 62279 Standards
E-bok, 2015
2265 kr
Lägg i varukorg
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 methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard …
Certifiable Software Applications 1
Main Processes
Inbunden, 2016
1474 kr
Lägg i varukorg
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 application. In it, the author covers recent developments such as the module, component and product line …
Certifiable Software Applications 2
Support Processes
Inbunden, 2016
1197 kr
Lägg i varukorg
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of …
Certifiable Software Applications 3
Downward Cycle
Inbunden, 2018
1778 kr
Lägg i varukorg
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 …
Safety of Computer Architectures
Inbunden, 2010
2048 kr
Lägg i varukorg
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 architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to …
Static Analysis of Software
The Abstract Interpretation
Inbunden, 2011
2297 kr
Lägg i varukorg
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, …
Formal Methods
Industrial Use from Model to the Code
Inbunden, 2012
1988 kr
Lägg i varukorg
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods …
