Synthèse automatique de gardes EB[indice supérieur 3]
Dans le cadre de développement de systèmes d'informations, les méthodes formelles de spécification peuvent réduire le développement aux seules phases d'analyse et de conception. La méthode EB[indice supérieur 3] est une de ces méthodes. Elle se base sur une algèbre de processus dont les ac...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | French |
| Published: |
Université de Sherbrooke
2008
|
| Online Access: | http://savoirs.usherbrooke.ca/handle/11143/4748 |