Publikationen

[Bau00]

Hubert Baumeister. Designing hypermedia applications: a tutorial. http://www.informatik.uni-muenchen.de/~baumeist/webdesign, January 2000.

[Koc00]

Nora Koch. Hypermedia systems development based on the Unified Process. Technical report, Institut für Informatik der LMU, January 2000.

[Tri00]

Elcha Triep. A graphic Recopla editor for an UML extension for hypermedia modeling. Master's thesis, 2000. In Bearbeitung.

[BHTW99]

Michel Bidoit, Rolf Hennicker, Fran c coise Tort, and Martin Wirsing. Correct realizations of interface constraints with OCL. In UML'99, Fort Collins, USA, October 28-30 1999.

[BKM99]

Hubert Baumeister, Nora Koch, and Luis Mandel. Towards a UML extension for hypermedia design. In UML'99, Fort Collins, USA, October 28-30 1999.

[BMRS99]

Hubert Baumeister, Christoph Maier, Martin Rappl, and Peter Scholz. Refinement using mu -charts - the Compaq Grand Slam Cup case study revisited. In Roger Y. Lee, editor, AoM/IAoM'99, volume 17, pages 159-164, San Diego, USA, August 1999. Maximilian Press Publishers.

[GMS99]

Zoltan Gaßmann, Luis Mandel, and Roshan Sembacuttiaratchy. Recopla: An extendible graphic meta-editor. In AMAST'98, volume 1548 of LNCS, Rio de Janeiro, Brazil, 1999. Springer Verlag.

[KM99]

Nora Koch and Luis Mandel. Using UML to design hypermedia applications. Technical report, Institut für Informatik der LMU, March 1999.

[Kna99]

Alexander Knapp. A formal semantics for UML interactions. In UML'99, Fort Collins, USA, October 28-30 1999.

[Koc99]

Nora Koch. A comparative study of methods for hypermedia development. Technical Report 9905, Institut für Informatik der LMU, November 1999.

[KW99]

Piotr Kosiuczenko and Martin Wirsing. Formalizing and executing message sequence charts via timed rewriting. Electronic Notes in Theoretical Computer Science, 1999. To appear.

[MC99]

Luis Mandel and María Victoria Cengarle. On the expressive power of the Object Constraint Language OCL. In FM'99, LNCS, Toulouse, Frankreich, 1999.

[MZMG99]

Bernd Meyer, Hubert Zweckstetter, Luis Mandel, and Zoltan Gaßmann. Automatic construction of intelligent diagrammatic environments. In HCI'99, München, August 1999. Lawrence Erlbaum.

[Pes99]

Sascha Peschke. Entwicklung eines Intranets zur wissensbasierten Unternehmenskommunikation. Master's thesis, Institut für Informatik der LMU, 1999.

[Wal99]

Christian Walter. Reengineering einer Anwendung zum Angebot von Immobilienobjekten im World Wide Web, 1999. FOPRA, Institut für Informatik, LMU.

[Zwe99]

Hubert Zweckstetter. Konfigurierbare Graphik--Interpretation in einem generischen Editor. Master's thesis, Institut für Informatik der LMU, 1999.

[BM98]

Hubert Baumeister and Christoph Maier. Description techniques for distributed hypermedia systems. Technical Report 9808, Institut für Informatik der LMU, 1998.

[Gaß98]

Zoltan Gaßmann. A graphic meta-editor for the generation of syntax-oriented graph editors. Master's thesis, Institut für Informatik der LMU, 1998.

[Koc98]

Nora Koch. Towards a methodology for adaptive hypermedia systems development. In U. Timm and M. Rössel, editors, ABIS'98, 1998.

[KW98]

Piotr Kosiuczenko and Martin Wirsing. Towards an integration of a graphical and a formal specification method. Journal of Integrated Design & Process Science, 1998. To appear.

[MC98]

Luis Mandel and María Victoria Cengarle. On the expressive power of the Object Constraint Language OCL. Technical report, Institut für Informatik, LMU, 1998.

[MKM98]

Luis Mandel, Nora Koch, and Christoph Maier. Extending UML to model hypermedia and distributed systems. Technical Report 9804, Institut für Informatik der LMU, 1998.

[MS98]

Christoph Maier and Peter Scholz. Refinement using mu -charts - the Compaq Grand Slam Cup case study revisited. Technical Report 9809, Institut für Informatik der LMU, 1998.

[MZ98]

Bernd Meyer and Hubert Zweckstetter. Interpretation of visual notations in the Recopla editor generator. In FRVDR'98, Orlando, USA, October 1998.

[vdL98]

Christian van der Leeden. Entwicklung eines Intranet-basierten Systems zur Unterstützung von Vertriebsprozessen. Master's thesis, Institut für Informatik der LMU, 1998.

[WHC+98]

M. Wirsing, R. Haggenmüller, M. V. Cengarle, N. Koch, and M. Berger. Software-Entwicklungs-Praktikum WS 1997/98: Teach & Learn @ Internet, 1998.

[WK98]

Martin Wirsing and Alexander Knapp. A formal approach to object-oriented software engineering, 1998. Submitted to Theoretical Computer Science.

[Mai97]

Christoph Maier. Component Event Diagrams: a hierarchical dynamic technique to model distributed systems. Technical Report 9710, Institut für Informatik der LMU, 1997.

[MM97a]

Christoph Maier and Luis Mandel. An introduction to MOOD² -- specification and design of a live scoring system for the Compaq Grand Slam Cup 1997. Technical Report 9711, Institut für Informatik der LMU, 1997.

[MM97b]

Christoph Maier and Luis Mandel. Object-oriented development of distributed systems -- a survey. Technical Report 9708, Institut für Informatik der LMU, 1997.

[MM97c]

Christoph Maier and Luis Mandel. YAON -- a static diagram technique for object oriented distributed systems. Technical Report 9709, Institut für Informatik der LMU, 1997.