Navigationsmenü

Sie sind hier: Uni . Fk. II . Informatik . theoretica . CSD . Contacts . H. Rasch

Dipl. Inform. Holger Rasch

In January 2005 Holger Rasch became a member of the research group Specification and Modelling of Software Systems at the University of Paderborn.

7/2001	Diplom in "Informatik" (Computing Science) at the University of Oldenburg
8/2001 - 12/2004	Research Assistant in the Correct System Design Group (former Semantics Group)

ForMooS

[MORW07]: M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Integrating a formal method into a software engineering process with UML and Java. Formal Apsects of Computing, 2007. To appear.
[ bib | Abstract ]
[MORW04]: M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Linking CSP-OZ with UML and Java: A Case Study. In E. Boiten, J. Derrick, and G. Smith, editors, Integrated Formal Methods, number 2999 in Lecture Notes in Computer Science, pages 267-286. Springer-Verlag, March 2004.
[ bib | .pdf | Abstract ]
[RW03]: H. Rasch and H. Wehrheim. Checking Consistency in UML Diagrams: Classes and State Machines. In E. Najm, U. Nestmann, and P. Stevens, editors, Formal Methods for Open Object-based Distributed Systems, volume 2884 of LNCS, pages 229-243. Springer, 2003.
[ bib | .ps ]
[RW02]: H. Rasch and H. Wehrheim. Consistency between UML classes and associated state machines. In L. Kuzniarz, G. Reggio, J. L. Sourrouille, and Z. Huzar, editors, UML 2002 - Workshop on Consistency Problems in UML-based Software Development, volume 06, pages 46-60, 2002.
[ bib ]