Cet ouvrage présente l'utilisation des méthodes formelles pour les systèmes répartis et coopératifs dans un contexte pratique de Génie Logiciel. Ces techniques sont particulièrement intéressantes pour les domaines dits critiques. En effet, les systèmes répartis critiques nécessitent le recours à des méthodes formelles pour les phases amont et aval du Génie Logiciel. L'objectif de cet ouvrage est de présenter les techniques en pointe dans ce domaine, en particulier pour traiter des systèmes de taille industrielle. Le présent ouvrage vise un public d'étudiants en master 2, de jeunes chercheurs débutant dans le domaine ou des ingénieurs souhaitant disposer d'une vue synthétique sur un domaine en perpétuelle évolution, en particulier pour combattre la complexité due à l'accroissement des systèmes répartis requérant une analyse formelle.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Des ouvrages pour les adultes et les plus jeunes, qui aident à découvrir et comprendre la culture sourde
Notre héros, sous le nom de code "César", documente les tortures au péril de sa vie...
Avec la collection "La BD en classe", le Syndicat national de l’édition propose des supports pédagogiques autour de thématiques précises
Découvrez les auteurs, autrices et libraires qui accompagneront le président du jury Jean-Christophe Rufin !
