Other
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo✉
Details
| Original language | English |
|---|---|
| Journal | Lecture notes in computer science |
| Pages | 87-102 |
| Publisher | Springer Science+Business Media |
| ISSN | 0302-9743 · 1611-3349 |
| DOI | 10.1007/978-3-319-10181-1_6 |
| Publication status | Published — 1 January 2014 |
Keywords
Fingerprint
- 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