• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail - Request a copy

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'ouvrage
Date
2006
Book title
Méthodes formelles pour les systèmes répartis et coopératifs
Book author
Haddad, Serge; Kordon, Fabrice; Petrucci, Laure
Publisher
Hermes/Lavoisier
ISBN
2746214474
Number of pages
346
Pages
289-315
Metadata
Show full item record
Author(s)
Boutrous Saab, Céline
Haddad, Serge
Monfort, Valérie
Abstract (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 logiciel

Related items

Showing items related by title and author.

  • Thumbnail
    Dynamically Adapting Clients to Web Services Changing 
    Ben Hmida, Mehdi; Boutrous Saab, Céline; Haddad, Serge; Monfort, Valérie; Tomaz Ferraz, Ricardo (2006) Communication / Conférence
  • Thumbnail
    Towards The Dynamic Adaptability of SOA: AOP and Process Algebra Approach 
    Haddad, Serge; Boutrous Saab, Céline; Ben Hmida, Mehdi; Tomaz Ferraz, Ricardo; Monfort, Valérie (2007) Communication / Conférence
  • Thumbnail
    An Integrated Framework for Web Services Orchestration 
    Boutrous Saab, Céline; Coulibaly, Demba; Haddad, Serge; Melliti, Tarak; Rampacek, Sylvain; Moreaux, Patrice (2009) Article accepté pour publication ou publié
  • Thumbnail
    Performance evaluation for mobile access to composite Web services 
    Boutrous Saab, Céline; Melliti, Tarak; Mokdad, Lynda (2006) Communication / Conférence
  • Thumbnail
    Verifying Correctness of Web Services Choreography 
    Melliti, Tarak; Boutrous Saab, Céline; Rampacek, Sylvain (2006) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo