أخرى
Formalizing and Verifying UML Activity Diagrams
التفاصيل
| اللغة الأصلية | English |
|---|---|
| المجلّة | Communications in computer and information science |
| الصفحات | 49-63 |
| الناشر | Springer Science+Business Media |
| ISSN | 1865-0929 · 1865-0937 |
| DOI | 10.1007/978-3-030-32213-7_4 |
| حالة النشر | منشور — 1 جانفي 2019 |
الكلمات المفتاحية
البصمة
- 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