|
Depot Institutionnel de l'UMBB >
Publications Scientifiques >
Communications Internationales >
Veuillez utiliser cette adresse pour citer ce document :
http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/1666
|
| Titre: | Integrating a formal development for DSLs into meta-modeling |
| Auteur(s): | Djeddai, Selma
Strecker, Martin
Mezghiche, Mohamed |
| Mots-clés: | Formal Methods
Model Driven Engineering
Model Transformation
Verification
Bidirectional transformation
Domain specific languages
Eclipse environment
Formal development
Functional datas
Generic transformations
Graphical interface
Meta model
Metamodeling
Proof assistant
Software systems
Translation method |
| Date de publication: | 2012 |
| Editeur: | Springer |
| Collection/Numéro: | Lecture Notes in Computer Science/ Vol.7602 (2012);pp. 55-66 |
| URI/URL: | http://dlibrary.univ-boumerdes.dz:8080123456789/1666 |
| ISSN: | 03029743 |
| Collection(s) : | Communications Internationales
|
Fichier(s) constituant ce document :
|
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.
|
