Drechsler, Rolf
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
1. Introduction
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
2. A Formal Interpretation of UML/OCL
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
3. A Symbolic Formulation for Models
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
4. Structural Aspects
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
5. Behavioral Aspects
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
6. Timing Aspects
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
7. Reducing Instance Sizes with Ground Setting Properties
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
8. Re-utilizing Verification Results of UML/OCL Models
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
9. Conclusion
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Avainsanat: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation
- Tekijä(t)
- Drechsler, Rolf
- Przigoda, Judith
- Przigoda, Nils
- Wille, Robert
- Julkaisija
- Springer
- Julkaisuvuosi
- 2018
- Kieli
- en
- Painos
- 1
- Sivumäärä
- 12 sivua
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319728148
- Painetun ISBN
- 978-3-319-72813-1