Autre
Formalizing and Verifying UML Activity Diagrams
Détails
| Langue originale | English |
|---|---|
| Revue | Communications in computer and information science |
| Pages | 49-63 |
| Éditeur | Springer Science+Business Media |
| ISSN | 1865-0929 · 1865-0937 |
| DOI | 10.1007/978-3-030-32213-7_4 |
| Statut de publication | Publié — 1 janvier 2019 |
Mots-clés
Empreinte
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Logic, programming, and type systems
- UML activity diagrams
- formal verification
- functional semantics
- formal specification generation
- action constraints
- behavioral modeling
- UML semantics
- Software
- Computational Theory and Mathematics
- Artificial Intelligence
- Computer Science