Autre
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo✉
Détails
| Langue originale | English |
|---|---|
| Revue | Lecture notes in computer science |
| Pages | 87-102 |
| Éditeur | Springer Science+Business Media |
| ISSN | 0302-9743 · 1611-3349 |
| DOI | 10.1007/978-3-319-10181-1_6 |
| Statut de publication | Publié — 1 janvier 2014 |
Mots-clés
Empreinte
- 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