Ode to the PST

  • Matthias Hölzl
  • Nora Koch
  • Philip Mayer
  • Andreas Schroeder
  • Lenz Belzner
  • Marianne Busch
  • Anton Fasching
  • Annabelle Klarl
  • Christian Kroiss
  • Laith Raed
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8950)


1992! Internet in Germany was in its infancy, object oriented programming wasn’t well-known yet, and even the European Union, which has funded so many of our research efforts lately, had not been formed.

Computing was certainly not mainstream when Martin Wirsing took the post of full professor at the Ludwig-Maximilians-Universität München in that year. The chair for Programming & Software Engineering (Lehrstuhl für Programmierung und Softwaretechnik, PST) was created along with his appointment. Indeed, the first Diplom course of studies in Computer Science (Informatik) at LMU had been created only the year before. The institute was still situated in the Leopoldstraße in Schwabing, only moving to the Institute am Englischen Garten in the Oettingenstraße in 1996 (Figure 1) — a beautiful location set right in the English Garden in Munich, five minutes away from one of the main tourist spots, the Biergarten am Chinesischen Turm. And with a history — the building was the site of the former Radio Free Europe [28], a radio station funded by the U.S. Government with its own history (including a bomb attack in 1981 on the very building where PST is now located).


Model Check Customer Relationship Management Soft Constraint Bomb Attack Successful Proposal 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andrade, L., et al.: AGILE: Software Architecture for Mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 1–33. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik. Mathematik für Informatiker. Springer (1991)Google Scholar
  3. 3.
    Baumeister, H.: Customer relationship management for SMEs. In: Proceedings E2002, Prague (October 2002)Google Scholar
  4. 4.
    Baumeister, H., Knapp, A., Koch, N., Zhang, G.: Modelling Adaptivity with Aspects. In: Lowe, D.G., Gaedke, M. (eds.) ICWE 2005. LNCS, vol. 3579, pp. 406–416. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Baumeister, H., Koch, N., Kosiuczenko, P., Stevens, P., Wirsing, M.: UML for Global Computing. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 1–24. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol. 1349, pp. 75–90. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  7. 7.
    Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: An event-based structural operational semantics of multi-threaded java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol. 1523, p. 157. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  8. 8.
    Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach to UML Semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 383–402. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  9. 9.
    Hennicker, R., Klarl, A.: Foundations for Ensemble Modeling – The Helena Approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359–381. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  10. 10.
    Hölzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? ENTCS 238(3), 189–205 (2009)zbMATHGoogle Scholar
  11. 11.
    Hölzl, M., Rauschmayer, A., Wirsing, M.: Software engineering for ensembles. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol. 5380, pp. 45–63. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    Hölzl, M.M., Raed, A., Wirsing, M.: Java kompakt - Eine Einführung in die Software-Entwicklung mit Java. Springer (2013)Google Scholar
  13. 13.
    Hölzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241–261. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  14. 14.
    Knapp, A., Koch, N., Wirsing, M., Zhang, G.: UWE - An Approach to Model-Driven Development of Web Applications. i-com, Oldenbourg 6(3), 5–12 (2007) (in German)Google Scholar
  15. 15.
    Knapp, A., Merz, S., Wirsing, M., Zappe, J.: Specification and Refinement of Mobile Systems in MTLA and Mobile UML. In: Theoretical Computer Science, pp. 184–202 (2006)Google Scholar
  16. 16.
    Koch, N., Wirsing, M.: The Munich Reference Model for Adaptive Hypermedia Applications. In: De Bra, P., Brusilovsky, P., Conejo, R. (eds.) AH 2002. LNCS, vol. 2347, pp. 213–222. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  17. 17.
    Meier, P., Wirsing, M.: Towards a Formal Specification for the AgentComponent. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 175–188. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  18. 18.
    Merz, S., Wirsing, M., Zappe, J.: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 87–101. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  19. 19.
    Pattinson, D.: Expressivity Results in the Modal Logic of Coalgebras. PhD thesis, Ludwig-Maximilians-Universität München (2001)Google Scholar
  20. 20.
    Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry–Howard Protocol. Springer Monographs in Computer Science. Springer (2005)Google Scholar
  21. 21.
    PUMA/PUMA-2. Graduiertenkolleg Programm- Und Modell-Analyse, 2008-2012/2013-2017.
  22. 22.
    Rauschmayer, A.: Connected Information Management. PhD thesis, Ludwig-Maximilians-Universität München (2010)Google Scholar
  23. 23.
    Schäfer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. In: Stoller, S.D., Visser, W. (eds.) Proc. Wsh. Software Model Checking. Electr. Notes Theo. Comp. Sci., 13 pages (2001),
  24. 24.
    Schneeberger, J., Koch, N., Turk, A., Lutze, R., Wirsing, M., Fritzsche, H., Closhen, P.: EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge. In: Informatik aktuell. Informatik 1997, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft für Informatik. Springer (September 1997)Google Scholar
  25. 25.
    Schroeder, A.: Software engineering perspectives on physiological computing. PhD thesis, Ludwig-Maximilians-Universität München (2011)Google Scholar
  26. 26.
    Schroeder, A., Bauer, S.S., Wirsing, M.: A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5), 180–193 (2011)CrossRefzbMATHGoogle Scholar
  27. 27.
    Filipović, I., O’Hearn, P., Rinetzky, N., Yang, H.: Abstraction for Concurrent Objects. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 252–266. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  28. 28.
    Wikipedia - The Free Encyclopedia. Radio Free Europe,
  29. 29.
    Wirsing, M.: Algebraic specification. In: Handbook of Theoretical Computer Science (vol. B), pp. 675–788. MIT Press (1991)Google Scholar
  30. 30.
    Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-based development of service-oriented systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24–45. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  31. 31.
    Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)Google Scholar
  32. 32.
    Wirsing, M., Hölzl, M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1–24. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  33. 33.
    Wirsing, M., Hölzl, M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1–24. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  34. 34.
    Wirsing, M., Knapp, A.: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2), 519–560 (2002)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Matthias Hölzl
    • 1
  • Nora Koch
    • 1
  • Philip Mayer
    • 1
  • Andreas Schroeder
    • 1
  • Lenz Belzner
    • 1
  • Marianne Busch
    • 1
  • Anton Fasching
    • 1
  • Annabelle Klarl
    • 1
  • Christian Kroiss
    • 1
  • Laith Raed
    • 1
  1. 1.Programming & Software Engineering Group (PST)Ludwig-Maximilians-University MunichGermany

Personalised recommendations