Sisäänkirjautuminen

Drechsler, Rolf

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

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

177,30€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9783319728148
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Tekijä(t)
 
 
 
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

Samankaltaisia e-kirjoja