Skip to Main content Skip to Navigation
Theses

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
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00287610
Contributor : Thèses Imag <>
Submitted on : Thursday, June 12, 2008 - 12:16:23 PM
Last modification on : Friday, November 6, 2020 - 4:11:14 AM
Long-term archiving on: : 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⟩

Share

Metrics

Record views

181

Files downloads

78