img Leseprobe Sample

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

Nils Przigoda, Judith Przigoda, Rolf Drechsler, et al.

PDF
ca. 149,79 €
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliate Links
Hint: Affiliate Links
Links on findyourbook.com are so-called affiliate links. If you click on such an affiliate link and buy via this link, findyourbook.com receives a commission from the respective online shop or provider. For you, the price doesn't change.

Springer International Publishing img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Elektronik, Elektrotechnik, Nachrichtentechnik

Description

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.  Additionally, the design flow described is applied to a broad variety of validation and verification tasks.  The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. 

More E-books At The Same Price
Cover Control and Information Sciences
Control and Information Sciences
Samavedham Lakshminarayanan
223,63 €

customer reviews

Keywords

Unified Modeling Language, Automatic Verification in Electronic Systems, UML, Object Constraint Language, Formal Specification