СТ |
A Real-Time Execution Semantics for UML Activity Diagrams |
2001 |
Eshuis R., Wieringa R. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
СТ |
Postmodern Software Design with NYAM: Not Yet Another Method |
1998 |
Wieringa R. |
|
|
|
Lecture Notes in Computer Science |
10.12.1998 |
СТ |
Integrating Semi-formal and Formal Requirements |
1997 |
Wieringa R., Dubois E., Huyts S. |
|
|
|
Lecture Notes in Computer Science |
12.09.1997 |
СТ |
Using Dynamic Classes and Role Classes to Model Object Migration |
1995 |
Wieringa R., De Jonge W., Spruit P. |
|
|
|
Theory and Practice of Object Systems |
14.06.1995 |
СТ |
XIX. LCM and MCM |
1995 |
Wieringa R. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
СТ |
Actor-Oriented System Specification with Dynamic Logic |
1991 |
Meyer I., Wieringa R. |
|
|
|
Lecture Notes in Computer Science |
21.05.1991 |