Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking /
Drusinsky, Doron
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking / Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring and execution-based model checking [electronic resource] : Doron Drusinsky - Amsterdam : Newnes, 2006 - xii, 294, 302, 306p. : ill. ; 23 cm. + 1 computer disc
CD-ROM contains : Diagrams and code for the example in Chapter 4, Runtime code for monitoring, Automatic white box test generation
0750679492
UML (Computer science)
Formal methods (Computer science)
Computer software--Development
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking / Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring and execution-based model checking [electronic resource] : Doron Drusinsky - Amsterdam : Newnes, 2006 - xii, 294, 302, 306p. : ill. ; 23 cm. + 1 computer disc
CD-ROM contains : Diagrams and code for the example in Chapter 4, Runtime code for monitoring, Automatic white box test generation
0750679492
UML (Computer science)
Formal methods (Computer science)
Computer software--Development