Spelling suggestions: "subject:"multilevel assisted design atemsystem"" "subject:"multilevel assisted design systsystem""
1 |
MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiquesZachariades, Marianthi 14 September 1977 (has links) (PDF)
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.)
|
Page generated in 0.0903 seconds