Veuillez utiliser cette adresse pour citer ce document :
http://dspace.univ-tiaret.dz:80/handle/123456789/4805Affichage complet
| Élément Dublin Core | Valeur | Langue |
|---|---|---|
| dc.contributor.author | ANNANE, Khaled | - |
| dc.date.accessioned | 2022-11-14T13:28:09Z | - |
| dc.date.available | 2022-11-14T13:28:09Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.uri | http://dspace.univ-tiaret.dz:80/handle/123456789/4805 | - |
| dc.description.abstract | Définir une sémantique formelle d’un langage de programmation permet de comprendre le comportement des programmes écrits dans ce langage, ainsi de détecter les erreurs de dysfonctionnement. Cette étape est généralement ignorée et considéré par beaucoup, malheureusement même des programmeurs experts trop coûteux et inutilisable [42]. Notre travail consiste à utiliser le Framework K, un outil de définition et d‘analyse des langages de programmation basé sur la logique de réécriture et le système Maude, pour définir la sémantique formelle du langage BPEL. | en_US |
| dc.language.iso | fr | en_US |
| dc.publisher | Université Ibn Khaldoun -Tiaret- | en_US |
| dc.subject | BPEL, Logique de réécriture, Maude, K Framework | en_US |
| dc.title | Sémantique Formelle du BPEL avec K Framework. | en_US |
| dc.type | Thesis | en_US |
| Collection(s) : | Master | |
Fichier(s) constituant ce document :
| Fichier | Description | Taille | Format | |
|---|---|---|---|---|
| TH.M.INF.FR.2014.04.pdf | 4,07 MB | Adobe PDF | Voir/Ouvrir |
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.