Article
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas✉, Choukri-Bey Ben-Yelles, Renaud Rioboo
Détails
| Langue originale | English |
|---|---|
| Revue | Soft Computing |
| Volume | 24 |
| Numéro | 6 |
| Pages | 4149-4164 |
| Éditeur | Springer Science+Business Media |
| ISSN | 1432-7643 · 1433-7479 |
| DOI | 10.1007/s00500-019-04181-2 |
| Statut de publication | Publié — 13 juillet 2019 |
Mots-clés
Empreinte
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Logic, programming, and type systems
- UML
- Object Constraint Language
- model constraints
- model-driven engineering
- formal transformation
- multiple inheritance
- late binding
- template binding
- Software
- Computational Theory and Mathematics
- Artificial Intelligence
- Computer Science