Editeur graphique MASCOT

Le développement d'applications dans un environnement "temps réel" nécessite lors de la phase de conception (et partiellement celle de spécification) du logiciel, un outil permettant une vision globale des synchronisations et partages des données et ressources entre processus. La méthode MASCOT "Modular Approach to Software Construction Operation and Test" a été développée et utilisée avec succès par le "Royal Signals and Radar Establishment" (Ministry of Defence, U. K.) dans les années 1970. Elle consiste en un outil graphique et un langage formel, seule l'approche graphique nous intéresse ici. Le projet de diplôme a comme objectif la création d'un éditeur graphique sous WINDOWS (PC) assurant la production, la maintenance et l'impression de documents MASCOT, il doit aussi prévoir un possible contrôle de cohérence, et la production automatique de la structure statique du logiciel (ou d'autres documents), ceci indépendamment du langage retenu pour le codage.

Etudiant: Jean david Willimann

Année: 1995

Département: TIC

Filière: Informatique et systèmes de communication (anciennement Informatique)

Enseignant responsable: G. Baudat