Júlia Zappe

Doktorandin

Abteilung:

Von 1.8.2000 bis 31.7.2003 war ich Stipendiatin des Graduiertenkollegs Logik in der Informatik

Büro:

Anschrift:

Tel: ++49 89 2180-9134
Email: zappe at informatik.uni-muenchen.de
URL: http://www.pst.informatik.uni-muenchen.de/personen/zappe/

Veröffentlichungen

Specification and Refinement of Mobile Systems in MTLA and Mobile UML

Alexander Knapp, Stephan Merz, Martin Wirsing, and Júlia Zappe
Theoretical Computer Science, to appear (2005). [PDF]
Extended version of Refining Mobile UML State Machines.

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems

Stephan Merz, Martin Wirsing, Júlia Zappe.
FASE 2003: Fundamental Approaches to Software Engineering. Warsaw, Poland.
© Springer-Verlag, LNCS 2621, pp. 87-101 (2003). [PDF]

Towards A Mobile TLA

Júlia Zappe.
ESSLLI 2002: Proceedings of the 7th ESSLLI Student Session.
[gzip'ped Postscript]