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

Auteur: Nils Przigoda
Taal: Engels
  • Engels
  • Hardcover
  • 9783319728131
  • Druk: 1st ed. 2018
  • januari 2018
  • 255 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
Engels
Bindwijze
Hardcover
Druk
1st ed. 2018
Verschijningsdatum
januari 2018
Aantal pagina's
255 pagina's
Illustraties
Nee

EAN

EAN
9783319728131

Overige kenmerken

Extra groot lettertype
Nee
Thema Subject Code
TJFC

Je vindt dit artikel in

Categorieën
Taal
Engels
Studieboek of algemeen
Algemene boeken
Boek, ebook of luisterboek?
Boek
Nog geen reviews
164 -
Uiterlijk 8 april in huis Tooltip
Verkoop door bol.com
Andere verkopers (1)
  • Gratis verzending
  • 30 dagen bedenktijd en gratis retourneren
  • Ophalen bij een bol.com afhaalpunt mogelijk
  • Dag en nacht klantenservice