|
 
|
[BPa06] Approches structurelles
Chapitres de Livre : January 2006,
motcle:
Résumé:
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.
This book presents the use of the formal methods for the distributed and co-operative systems in a practical context of Software Engineering. These techniques are particularly interesting for the fields known as critical. Indeed, the critical distributed systems require the recourse to formal methods for the upstream and downstream stages of Software Engineering. The objective of this work is to present the techniques being to the forefront of this field, in particular to treat systems of industrial size. This work is intended to a public of students of Master 2nd year, of young researchers beginning in the field or engineers wishing to have a synthetic sight on a field in perpetual evolution, in particular to fight against complexity due to the increase of distributed systems which require a formal analysis.
For further information, please visit this web site.
This book presents the use of the formal methods for the distributed and co-operative systems in a practical context of Software Engineering. These techniques are particularly interesting for the fields known as critical. Indeed, the critical distributed systems require the recourse to formal methods for the upstream and downstream stages of Software Engineering. The objective of this work is to present the techniques being to the forefront of this field, in particular to treat systems of industrial size. This work is intended to a public of students of Master 2nd year, of young researchers beginning in the field or engineers wishing to have a synthetic sight on a field in perpetual evolution, in particular to fight against complexity due to the increase of distributed systems which require a formal analysis.
For further information, please visit this web site.
BibTeX
| @inbook { | |||
| BPa06, | |||
| title | = | "{}", | |
| chapter | = | "{Approches structurelles}", | |
| author | = | "K. Barkaoui and J. Peyre", | |
| year | = | 2006, | |
| } | |||
