Login

Drechsler, Rolf

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Drechsler, Rolf - Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, ebook

199,90€

Ebook, PDF with Adobe DRM
ISBN: 9783319728148
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Author(s)
 
 
 
Publisher
Springer
Publication year
2018
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319728148
Printed ISBN
978-3-319-72813-1

Similar titles