login
english version rss feed
Detailed view PhD thesis
Institut National Polytechnique de Grenoble - INPG (14/09/1977), Gabrièle Saucier (Dir.)
Attached file list to this document: 
PDF
Zachariades.Marianthi_1977_these.pdf(3 MB)
MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques
Marianthi Zachariades1

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.)
1:  IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
MAS – programmation – compilation – compilateur – langage – programme – interpreteur – commandes – systèmes logiques – Multilevel Assisted Design System

.

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...