| |
| 2008 | ||
|---|---|---|
| 4 | EE | Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim: Integrating a formal method into a software engineering process with UML and Java. Formal Asp. Comput. 20(2): 161-204 (2008) |
| 2005 | ||
| 3 | EE | Holger Rasch, Heike Wehrheim: Checking the Validity of Scenarios in UML Models. FMOODS 2005: 67-82 |
| 2004 | ||
| 2 | EE | Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim: Linking CSP-OZ with UML and Java: A Case Study. IFM 2004: 267-286 |
| 2003 | ||
| 1 | EE | Holger Rasch, Heike Wehrheim: Checking Consistency in UML Diagramms: Classes and State Machines. FMOODS 2003: 229-243 |
| 1 | Michael Möller | [2] [4] |
| 2 | Ernst-Rüdiger Olderog | [2] [4] |
| 3 | Heike Wehrheim | [1] [2] [3] [4] |