Please use this identifier to cite or link to this item:
http://dspace.univ-guelma.dz/jspui/handle/123456789/1255
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Selmani Meriem, Boughazi Aicha | - |
dc.date.accessioned | 2019-02-05T13:34:46Z | - |
dc.date.available | 2019-02-05T13:34:46Z | - |
dc.date.issued | 2013 | - |
dc.identifier.uri | http://dspace.univ-guelma.dz:8080/xmlui/handle/123456789/1255 | - |
dc.description.abstract | 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. | en_US |
dc.language.iso | fr | en_US |
dc.subject | LOTOS, compilation modulaire, vérification formelle, modélisation formelle | en_US |
dc.title | Implémentation d'un compilateur LOTOS supporte la compilation modulaire | en_US |
dc.type | Working Paper | en_US |
Appears in Collections: | Master |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
mémoire.pdf | 1,79 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.