Other
Formalizing and Verifying UML Activity Diagrams
Details
| Original language | English |
|---|---|
| Journal | Communications in computer and information science |
| Pages | 49-63 |
| Publisher | Springer Science+Business Media |
| ISSN | 1865-0929 · 1865-0937 |
| DOI | 10.1007/978-3-030-32213-7_4 |
| Publication status | Published — 1 January 2019 |
Keywords
Fingerprint
- 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