Show simple item record

dc.contributor.authorBoutrous Saab, Céline
dc.contributor.authorHaddad, Serge
dc.contributor.authorMonfort, Valérie
dc.date.accessioned2009-09-23T14:16:34Z
dc.date.available2009-09-23T14:16:34Z
dc.date.issued2006
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/1910
dc.description.abstractfrCet 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.en
dc.language.isofren
dc.subjectGestion des systèmes d'informationen
dc.subjectGénie logicielen
dc.subject.ddc004en
dc.titleInteropérabilité et services Weben
dc.typeChapitre d'ouvrage
dc.contributor.editoruniversityotherENS cachan;France
dc.identifier.citationpages289-315en
dc.relation.ispartoftitleMéthodes formelles pour les systèmes répartis et coopératifsen
dc.relation.ispartofeditorHaddad, Serge
dc.relation.ispartofeditorKordon, Fabrice
dc.relation.ispartofeditorPetrucci, Laure
dc.relation.ispartofpublnameHermes/Lavoisieren
dc.relation.ispartofdate2006-11
dc.relation.ispartofpages346en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn2746214474en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record