Implémentation D'un Compilateur Lotos Supporte La Compilation Modulaire
Résumé: La vérification formelle des systèmes complexes constitue aujourd’hui un enjeu majeur dans de nombreux domaines de la société humaine. En effet l’employant des méthodes de spécification et vérification formelle, est assisté par des outils informatiques qui rendre l’analyse de ces systèmes fiables et garanties, et assure le bon coût de performance. Notre grand intérêt est la vérification formelle des systèmes complexes en introduisant une approche modulaire, et nous allons présenter une technique de compilation qui permet de traduire le langage LOTOS, et respecte l’idée de modularité. La compilation modulaire (séparer) est indispensable pour le développement des applications importantes (en taille !), et la façon pour un programme/projet de taille plus grande, elle suppose un découpage de l’application en modules compilables séparé. Chaque module est composé d’un ensemble des processus regroupés dans un fichier avec les déclarations nécessaires et son programme principal.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
