Services et produits avec les tags Vérification

En collaboration avec l'université de Louvain, E2S a défini une méthodologie orientée syntaxe pour la construction de compilateurs. E2S a développé un outil CASE permettant de prendre en charge cette méthode et de générer les codes et la documentation. La méthode est déjà utilisée avec succès pour la conception et la construction des convertisseurs, interpréteurs de commandes interactifs, éditeurs orientés syntaxe et graphique, langages spéciaux, pré- et postprocesseurs pour la CFAO, ... etc. C'est outil vous aide à diminuer vos coûts de développement, réduire vos délais de mise sur le marché, limiter le risque d'échec et optimiser la qualité de vos logiciels.