MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques

Résumé : On propose un outil de description fonctionnelle permettant une description rigoureuse de spécification fonctionnelle. L'accent étant mis sur : la possibilité d'une description progressive; la possibilité de décrire des systèmes complexes repartis et à fonctionnement parallèle (entre les différents sous-systèmes et a l'intérieur d'un sous-système); la possibilité de vérification fonctionnelle (blocages, conflit, etc.)
Document type :
Theses
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1977. Français


https://tel.archives-ouvertes.fr/tel-00287610
Contributor : Thèses Imag <>
Submitted on : Thursday, June 12, 2008 - 12:16:23 PM
Last modification on : Monday, March 21, 2016 - 5:50:14 PM
Document(s) archivé(s) le : Friday, May 28, 2010 - 10:10:35 PM

Identifiers

  • HAL Id : tel-00287610, version 1

Collections

Citation

Marianthi Zachariades. MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1977. Français. <tel-00287610>

Export

Share

Metrics

Record views

97

Document downloads

49