Article
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas✉, Choukri-Bey Ben-Yelles, Renaud Rioboo
Details
| Original language | English |
|---|---|
| Journal | Soft Computing |
| Volume | 24 |
| Issue number | 6 |
| Pages | 4149-4164 |
| Publisher | Springer Science+Business Media |
| ISSN | 1432-7643 · 1433-7479 |
| DOI | 10.1007/s00500-019-04181-2 |
| Publication status | Published — 13 July 2019 |
Keywords
Fingerprint
- 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