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
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 1977. French


https://tel.archives-ouvertes.fr/tel-00287610
Contributor : Thèses Imag <>
Submitted on : Thursday, June 12, 2008 - 12:16:23 PM
Last modification on : Thursday, June 12, 2008 - 12:19:10 PM

Identifiers

  • HAL Id : tel-00287610, version 1

Collections

CNRS | UGA

Citation

Marianthi Zachariades. MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques. Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 1977. French. <tel-00287610>

Export

Share

Metrics

Consultation de
la notice

81

Téléchargement du document

2