Michael Möller

Publication Activity (10 Years)

Years Active: 2001-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)
Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
Linking CSP-OZ with UML and Java: A Case Study. IFM (2004)
Mark Brörkens, Michael Möller
Dynamic Event Generation for Runtime Checking using the JDI. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim
Jass - Java with Assertions. Electron. Notes Theor. Comput. Sci. 55 (2) (2001)