×

Ode to the PST. (English) Zbl 1453.68005

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 13-23 (2015).
From the text: 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 – 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, 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).
Fast-forward to 2015, where all of us are pretty much dependent on the computers in our pockets – and where it is clear that computing has had, and will have in the future, a tremendous influence on our society and our way of life. It certainly has been an interesting time for computer scientists!
This development forms the framework for a personal story – 24 years in which Martin has headed the PST group at LMU; 24 years in which he has supervised over two dozen doctoral theses, participated in over nearly 40 research projects, and taught countless students; and 24 years in which he has organized a tiresome number of hikes in the Bavarian alps...
In this short expression of thanks/collection of travel notes/feeble summary attempt (delete to taste) we shall revisit the PST history in the fields of science and education (Section 2), research projects (Section 3), supervision of doctorates and habilitations (Section 4), and the PST as a fun place to work (Section 5). We invite you to come with us on this journey!
For the entire collection see [Zbl 1312.68005].

MSC:

68-03 History of computer science
01A70 Biographies, obituaries, personalia, bibliographies
01A73 History of mathematics at specific universities

Biographic References:

Wirsing, Martin

Software:

Helena
PDFBibTeX XMLCite
Full Text: DOI

References:

[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) · doi:10.1007/978-3-540-40020-2_1
[2] Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik. Mathematik für Informatiker. Springer (1991) · Zbl 0721.68001
[3] Baumeister, H.: Customer relationship management for SMEs. In: Proceedings E2002, Prague (October 2002)
[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) · doi:10.1007/11531371_53
[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) · doi:10.1007/978-3-540-40042-4_1
[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) · doi:10.1007/BFb0000464
[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) · doi:10.1007/3-540-48737-9_5
[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) · Zbl 1143.68373 · doi:10.1007/978-3-540-68679-8_23
[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) · Zbl 1320.68118 · doi:10.1007/978-3-642-54624-2_18
[10] Hölzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? ENTCS 238(3), 189–205 (2009) · Zbl 1347.68197
[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) · Zbl 05496493 · doi:10.1007/978-3-540-89437-7_2
[12] Hölzl, M.M., Raed, A., Wirsing, M.: Java kompakt - Eine Einführung in die Software-Entwicklung mit Java. eXamen.press. Springer (2013)
[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) · Zbl 05969207 · doi:10.1007/978-3-642-24933-4_12
[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)
[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) · Zbl 1086.68016 · doi:10.1016/j.tcs.2005.09.067
[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) · Zbl 1047.68813 · doi:10.1007/3-540-47952-X_23
[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) · Zbl 1082.68535 · doi:10.1007/978-3-540-25930-5_11
[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) · Zbl 1032.03028 · doi:10.1007/3-540-36578-8_7
[19] Pattinson, D.: Expressivity Results in the Modal Logic of Coalgebras. PhD thesis, Ludwig-Maximilians-Universität München (2001) · Zbl 0979.03508
[20] Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry–Howard Protocol. Springer Monographs in Computer Science. Springer (2005) · Zbl 1095.68025
[21] PUMA/PUMA-2. Graduiertenkolleg Programm- Und Modell-Analyse, 2008-2012/2013-2017. https://puma.informatik.tu-muenchen.de .
[22] Rauschmayer, A.: Connected Information Management. PhD thesis, Ludwig-Maximilians-Universität München (2010)
[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), http://www.elsevier.nl/locate/entcs/volume55.html
[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) · doi:10.1007/978-3-642-60831-5_57
[25] Schroeder, A.: Software engineering perspectives on physiological computing. PhD thesis, Ludwig-Maximilians-Universität München (2011) · Zbl 1252.68026
[26] Schroeder, A., Bauer, S.S., Wirsing, M.: A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5), 180–193 (2011) · Zbl 1213.68208 · doi:10.1016/j.jlap.2010.09.001
[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) · Zbl 1234.68065 · doi:10.1007/978-3-642-00590-9_19
[28] Wikipedia - The Free Encyclopedia. Radio Free Europe, http://en.wikipedia.org/wiki/Radio_Free_Europe/Radio_Liberty
[29] Wirsing, M.: Algebraic specification. In: Handbook of Theoretical Computer Science (vol. B), pp. 675–788. MIT Press (1991) · Zbl 0900.68309
[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) · Zbl 05527863 · doi:10.1007/11888116_3
[31] Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)
[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) · doi:10.1007/978-3-642-35887-6_1
[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) · doi:10.1007/978-3-642-35887-6_1
[34] Wirsing, M., Knapp, A.: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2), 519–560 (2002) · Zbl 1001.68024 · doi:10.1016/S0304-3975(01)00367-X
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.