Thèse soutenue

Une méthodologie pour le développement de logiciels temps-réel
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Najat M'zali
Direction : Michel Koenig
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1987
Etablissement(s) : Nice

Résumé

FR

La méthodologie présentée distingue dans le logiciel temps-réel une partie commande et une partie opérative. Elle se base sur l'utilisation des réseaux de Petri pour spécifier la partie commande et sur un environnement de programmation pour générer quasi automatiquement le logiciel final