أخرى
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo✉
التفاصيل
| اللغة الأصلية | English |
|---|---|
| المجلّة | Lecture notes in computer science |
| الصفحات | 87-102 |
| الناشر | Springer Science+Business Media |
| ISSN | 0302-9743 · 1611-3349 |
| DOI | 10.1007/978-3-319-10181-1_6 |
| حالة النشر | منشور — 1 جانفي 2014 |
الكلمات المفتاحية
البصمة
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Formal Methods in Verification
- model-driven architecture
- formal transformation
- OCL constraints
- model consistency checking
- formal verification
- generic model
- object-oriented specification languages
- Software
- Artificial Intelligence
- Computational Theory and Mathematics
- Computer Science