Abstract
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).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik. Mathematik für Informatiker. Springer (1991)
Baumeister, H.: Customer relationship management for SMEs. In: Proceedings E2002, Prague (October 2002)
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)
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)
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)
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)
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)
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)
Hölzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? ENTCS 238(3), 189–205 (2009)
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)
Hölzl, M.M., Raed, A., Wirsing, M.: Java kompakt - Eine Einführung in die Software-Entwicklung mit Java. eXamen.press. Springer (2013)
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)
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)
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)
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)
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)
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)
Pattinson, D.: Expressivity Results in the Modal Logic of Coalgebras. PhD thesis, Ludwig-Maximilians-Universität München (2001)
Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry–Howard Protocol. Springer Monographs in Computer Science. Springer (2005)
PUMA/PUMA-2. Graduiertenkolleg Programm- Und Modell-Analyse, 2008-2012/2013-2017. https://puma.informatik.tu-muenchen.de .
Rauschmayer, A.: Connected Information Management. PhD thesis, Ludwig-Maximilians-Universität München (2010)
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), http://www.elsevier.nl/locate/entcs/volume55.html
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)
Schroeder, A.: Software engineering perspectives on physiological computing. PhD thesis, Ludwig-Maximilians-Universität München (2011)
Schroeder, A., Bauer, S.S., Wirsing, M.: A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5), 180–193 (2011)
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)
Wikipedia - The Free Encyclopedia. Radio Free Europe, http://en.wikipedia.org/wiki/Radio_Free_Europe/Radio_Liberty
Wirsing, M.: Algebraic specification. In: Handbook of Theoretical Computer Science (vol. B), pp. 675–788. MIT Press (1991)
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)
Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)
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)
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)
Wirsing, M., Knapp, A.: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2), 519–560 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Hölzl, M. et al. (2015). Ode to the PST. In: De Nicola, R., Hennicker, R. (eds) Software, Services, and Systems. Lecture Notes in Computer Science, vol 8950. Springer, Cham. https://doi.org/10.1007/978-3-319-15545-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-15545-6_2
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15544-9
Online ISBN: 978-3-319-15545-6
eBook Packages: Computer ScienceComputer Science (R0)