Analyse de performance de l'interpréteur d'algèbre de processus EB[indice supérieur 3]PAI
Un des intérêts d'utiliser des méthodes formelles de spécification dans le développement des systèmes d'information, est de pouvoir se concentrer sur les étapes d' analyse et de conception et de ne plus se préoccuper des détails d'implémentation. Le projet APIS utilise la méthode...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | French |
| Published: |
Université de Sherbrooke
2009
|
| Online Access: | http://savoirs.usherbrooke.ca/handle/11143/4843 |