Holger Rasch

According to our database, Holger Rasch authored at least 4 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Integrating a formal method into a software engineering process with UML and Java.

Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim

Formal Aspects Comput., 2008

2005

Checking the Validity of Scenarios in UML Models.

Holger Rasch, Heike Wehrheim

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

Linking CSP-OZ with UML and Java: A Case Study.

Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Checking Consistency in UML Diagramms: Classes and State Machines.

Holger Rasch, Heike Wehrheim

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003