Holger Rasch

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

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 Aspects Comput. 20 (2) (2008)
Holger Rasch, Heike Wehrheim
Checking the Validity of Scenarios in UML Models. FMOODS (2005)
Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
Linking CSP-OZ with UML and Java: A Case Study. IFM (2004)
Holger Rasch, Heike Wehrheim
Checking Consistency in UML Diagramms: Classes and State Machines. FMOODS (2003)