Saburo
Fonctionnalités générales du logiciel
Ce prototype développé en Java fournit une plateforme d'aide au développement de serveurs Internet.
Le développement de ces applications est très complexe du fait des demandes d'efficacité, de portabilité et de sûreté.
Le but de ce travail est de fournir un environnement capable de répondre efficacement à ces besoins, en utilisant une spécification unique. Il permet :
- La génération de serveurs Internet à partir de la spécification
- La vérification du modèle généré automatiquement à partir de la spécification
- La génération de l'analyse syntaxique des protocoles de communication