Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Gestion des cookies
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification ...Savoir plus
Présentation des principes de la sécurisation des architectures informatiques dans les domaines du transport ferroviaire, du transport aérien, d'Arian...Savoir plus
Ce livre s'adresse à toutes les personnes concernées par l'ingénierie des exigences qu'elles soient managers, responsables d'équipes, chefs de projet,...Savoir plus
Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the co...Savoir plus
L'ingénierie des exigences permet de recueillir, de spécifier et de qualifier des exigences relatives à un système reposant sur des logiciels. Ses enj...Savoir plus
Certifiable Software Applications 4: Upward Cycle presents the upward phase of development of a software application cycle, including test aspects for...Savoir plus
Présentation d'un modèle, la méthode B, pour analyser et vérifier le comportement d'un logiciel. Cette méthode formelle s'appuie sur la preuve de prop...Savoir plus
L'ingénierie des exigences permet de recueillir, de spécifier et de qualifier des exigences relatives à un système reposant sur des logiciels. Ses enj...Savoir plus
Des exemples d'utilisation des techniques formelles (méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE) et des techniques de vérification ...Savoir plus
This book presents an analysis of safety standards and their implementation in certification strategies from different domains such as aeronautics, au...Savoir plus
B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known ...Savoir plus
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, ...Savoir plus
Embedded systems are becoming more numerous, and to be able to develop them more simply, they use data setting. The purpose of this book is to present...Savoir plus
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 f...Savoir plus
Présentation des principes de la sécurisation des architectures informatiques dans les domaines du transport ferroviaire, du transport aérien, de l'au...Savoir plus