مقال
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas✉، Choukri-Bey Ben-Yelles، Renaud Rioboo
التفاصيل
| اللغة الأصلية | English |
|---|---|
| المجلّة | Soft Computing |
| المجلّد | 24 |
| العدد | 6 |
| الصفحات | 4149-4164 |
| الناشر | Springer Science+Business Media |
| ISSN | 1432-7643 · 1433-7479 |
| DOI | 10.1007/s00500-019-04181-2 |
| حالة النشر | منشور — 13 جويلية 2019 |
الكلمات المفتاحية
البصمة
- 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