Design Methods for Reactive Systems
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Elsevier

9781558607552

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Answers to Selected Exercises

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50036-8 ◽

2003 ◽

pp. 381-407

Download Full-text

An Elevator Control System

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50035-6 ◽

2003 ◽

pp. 357-380

Keyword(s):

Download Full-text

A Heating Control System

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50034-4 ◽

2003 ◽

pp. 341-355

Keyword(s):

Download Full-text

Not Yet Another Method (NYAM)

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50031-9 ◽

2003 ◽

pp. 303-314

Author(s):

R.J. Wieringa

Download Full-text

The Unified Modeling Language (UML)

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50030-7 ◽

2003 ◽

pp. 279-301

Author(s):

R.J. Wieringa

Keyword(s):

Unified Modeling Language ◽

Modeling Language ◽

Unified Modeling

Download Full-text

Software Specification Methods

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50027-7 ◽

2003 ◽

pp. 257

Author(s):

R.J. Wieringa

Keyword(s):

Software Specification

Download Full-text

Behavioral Semantics

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50019-8 ◽

2003 ◽

pp. 149-164

Author(s):

R.J. Wieringa

Download Full-text

Behavior Notations

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50016-2 ◽

2003 ◽

pp. 121

Author(s):

R.J. Wieringa

Download Full-text

Entity Notations

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50012-5 ◽

2003 ◽

pp. 75

Author(s):

R.J. Wieringa

Download Full-text

Mission Statement

Design Methods for Reactive Systems ◽

10.1016/b978-155860755-2/50009-5 ◽

2003 ◽

pp. 49-57

Author(s):

R.J. Wieringa

Keyword(s):

Mission Statement

Download Full-text