Télécharger le livre :  Ingénierie des exigences

L'ingénierie des exigences est une discipline qui fait partie de l'ingénierie du logiciel. C'est la partie qui consiste à receuillir, formuler sous forme de spécifications, puis qualifier les exigences relatives à un système, mais aussi à définir des activités de...
Editeur : Dunod
Parution : 2014-06-04
Collection : Management des systèmes d'information
Format(s) : PDF, ePub
30,99
Guide des formats
Télécharger le livre :  Mise en oeuvre de la méthode B

La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports.La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro...
Editeur : Éditions Lavoisier
Parution : 2013-04-02

Format(s) : PDF sans DRM
120,00
Guide des formats
Télécharger le livre :  Outils de mise en oeuvre industrielle des techniques formelles

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.Différents domaines...
Editeur : Éditions Lavoisier
Parution : 2012-04-25

Format(s) : PDF sans DRM
110,00
Guide des formats
Télécharger le livre :  Sécurisation des architectures informatiques industrielles

Cet ouvrage collectif présente des exemples d'architecture industrielle à base de calculateur et/ou d'automate qui doivent être sécurisés afin de garantir les objectifs de sûreté de fonctionnement qui leurs sont associés. Le but de...
Editeur : Éditions Lavoisier
Parution : 2011-04-15

Format(s) : PDF sans DRM
150,00
Guide des formats
Télécharger le livre :  Sécurisation des architectures informatiques. Exemples concrets

Actuellement la littérature met à disposition des étudiants de master2 des livres très généraux sur les aspects "Sûreté de Fonctionnement" et des éléments très disparates sur les architectures effectives. Le but de ce livre est de présenter dans un seul livre, une...
Editeur : Hermès Science
Parution : 2009

Format(s) : PDF
140,00
Guide des formats
Télécharger le livre :  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 methods to be implemented. This is a guide to its implementation, in order to understand the...
Editeur : Wiley-ISTE
Parution : 2015-03-23

Format(s) : PDF, ePub
148,86
Guide des formats
Télécharger le livre :  Formal Methods Applied to Complex Systems

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...
Editeur : Wiley-ISTE
Parution : 2014-07-22

Format(s) : PDF, ePub
188,53
Guide des formats
Télécharger le livre :  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 the automotive industry, the purpose of this book is to present a summary of experience on...
Editeur : Wiley-ISTE
Parution : 2014-07-09

Format(s) : PDF, ePub
179,24
Guide des formats
Télécharger le livre :  Formal Methods

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...
Editeur : Wiley-ISTE
Parution : 2013-05-10

Format(s) : PDF, ePub
149,92
Guide des formats
Télécharger le livre :  Safety Management for Software-based Equipment

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,...
Editeur : Wiley-ISTE
Parution : 2013-05-06

Format(s) : PDF, ePub
148,86
Guide des formats
page 1 sur 2 > >>