Interopérabilité et services Web
Boutrous Saab, Céline; Haddad, Serge; Monfort, Valérie (2006), Interopérabilité et services Web, in Haddad, Serge; Kordon, Fabrice; Petrucci, Laure, Méthodes formelles pour les systèmes répartis et coopératifs, Hermes/Lavoisier, p. 289-315
Type
Chapitre d'ouvrageDate
2006Book title
Méthodes formelles pour les systèmes répartis et coopératifsBook author
Haddad, Serge; Kordon, Fabrice; Petrucci, LaurePublisher
Hermes/Lavoisier
ISBN
2746214474
Number of pages
346Pages
289-315
Metadata
Show full item recordAbstract (FR)
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.Subjects / Keywords
Gestion des systèmes d'information; Génie logicielRelated items
Showing items related by title and author.
-
Ben Hmida, Mehdi; Boutrous Saab, Céline; Haddad, Serge; Monfort, Valérie; Tomaz Ferraz, Ricardo (2006) Communication / Conférence
-
Haddad, Serge; Boutrous Saab, Céline; Ben Hmida, Mehdi; Tomaz Ferraz, Ricardo; Monfort, Valérie (2007) Communication / Conférence
-
Boutrous Saab, Céline; Coulibaly, Demba; Haddad, Serge; Melliti, Tarak; Rampacek, Sylvain; Moreaux, Patrice (2009) Article accepté pour publication ou publié
-
Boutrous Saab, Céline; Melliti, Tarak; Mokdad, Lynda (2006) Communication / Conférence
-
Melliti, Tarak; Boutrous Saab, Céline; Rampacek, Sylvain (2006) Communication / Conférence