Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.

By:

Drusinsky, Doron

Contributor(s):

ScienceDirect eBooks

text

Media type:

computer

Carrier type:

online resource

ISBN:

9780080481470
0080481477
9780750679497
0750679492

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Print version:: Modeling and verification using UML statecharts.LOC classification:

QA76.76.D47 D78 2006eb

Online resources:

Click here to access online

Contents:

Formal requirements and finite automata overview -- Statecharts -- Academic specification languages for reactive systems -- Using statechart assertions for formal specification -- Creating and using temporal statechart assertions -- Application of formal specifications and runtime monitoring to the Ballistic Missile Defense Project.

Summary: Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 5 )

No physical items for this record

Includes bibliographical references (pages 295-301) and index.

Print version record.

Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!

Elsevier ScienceDirect All Books