MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1977

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.)
Fichier principal
Vignette du fichier
Zachariades.Marianthi_1977_these.pdf (3.08 Mo) Télécharger le fichier

Dates et versions

tel-00287610 , version 1 (12-06-2008)

Identifiants

  • HAL Id : tel-00287610 , version 1

Citer

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. ⟨NNT : ⟩. ⟨tel-00287610⟩

Collections

UGA CNRS TDS-MACS
75 Consultations
52 Téléchargements

Partager

Gmail Facebook X LinkedIn More