马蒂亚斯·霍尔兹尔;诺拉·科赫;菲利普·迈耶;安德烈亚斯·施罗德;伦茨·贝尔兹纳;Busch，玛丽安;安东·法辛;安娜贝拉·克拉尔;克里斯蒂安·克罗伊斯;莱思·雷德 PST颂歌。 （英语） Zbl 1453.68005号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 13-23 (2015). 来自文本：1992！德国的互联网还处于起步阶段，面向对象编程还不知名，甚至最近资助了我们许多研究工作的欧盟也还没有成立。当年，马丁·威辛（Martin Wirsing）担任路德维希·马克西米利安大学（Ludwig-Maxilians-Universityät Munchen）的全职教授时，计算当然不是主流。编程与软件工程主席（Lehrstuhl für Programmierung und Softwaretechnik，PST）与他的任命一同成立。事实上，LMU的第一门计算机科学（Informatik）Diplom课程是在一年前开设的。该研究所仍位于施瓦宾的利奥波德斯特拉，仅于1996年迁至位于奥特丁根斯特拉的英国加滕研究所，该研究所位于慕尼黑的英式花园内，距离主要旅游景点之一的比尔加滕-中西臣Turm仅五分钟路程。历史悠久——这座建筑是前自由欧洲电台（Radio Free Europe）的所在地，该电台由美国政府资助，拥有自己的历史（包括1981年对PST所在建筑的炸弹袭击）。快进到2015年，在那里，我们所有人都非常依赖口袋里的计算机——很明显，计算机已经并将在未来对我们的社会和生活方式产生巨大影响。对于计算机科学家来说，这无疑是一个有趣的时刻！这一发展形成了一个个人故事的框架——24年来，马丁一直在LMU领导PST小组；24年来，他指导了二十多篇博士论文，参与了近40个研究项目，教授了无数学生；24年来，他在巴伐利亚阿尔卑斯山组织了多次令人厌烦的徒步旅行。。。在这简短的感谢/收集旅行笔记/微弱的总结尝试（删除以品尝）中，我们将重温科普历史在科学和教育领域（第2节）、研究项目（第3节）、博士和资格认证监督（第4节）以及科普作为一个有趣的工作场所（第5节）。我们邀请您与我们一起踏上这段旅程！关于整个系列，请参见[Zbl 1312.68005号]. MSC公司： 68-03 计算机科学史 01A70号 传记、讣告、个人信息、参考书目 01A73号 特定大学的数学史 关键词：信息学研究所;线性矩阵单元;路德维希·马克西米利安-慕尼黑大学 传记参考： 马丁·威尔辛 软件：海伦娜 PDF格式BibTeX公司 XML格式引用 \textit{M.Hölzl}等人，Lect。注释计算。科学。8950，13-23（2015；Zbl 1453.68005） 全文： 内政部 参考文献： [1] Andrade，L.等人：《敏捷：移动软件体系结构》。收录：Wirsing，M.、Pattinson，D.、Hennicker，R.（编辑）WADT 2003。LNCS，第2755卷，第1-33页。斯普林格，海德堡（2003）·doi:10.1007/978-3-540-40020-2_1 [2] Bauer，F.L.，Wirsing，M.：元素是Aussagenlogik。Mathematik für信息员。斯普林格（1991）·兹bl 0721.68001 [3] Baumeister，H.：中小企业客户关系管理。In:Proceedings E2002，布拉格（2002年10月） [4] Baumeister，H.、Knapp，A.、Koch，N.、Zhang，G.：用方面模拟适应性。收录：Lowe，D.G.，Gaedke，M.（编辑）ICWE 2005。LNCS，第3579卷，第406–416页。斯普林格，海德堡（2005）·doi:10.1007/11531371_53 [5] Baumeister，H.、Koch，N.、Kosiuczenko，P.、Stevens，P.和Wirsing，M.：全球计算UML。收录于：Priami，C.（编辑）GC 2003。LNCS，第2874卷，第1-24页。斯普林格，海德堡（2003）·doi:10.1007/978-3-540-40042-4_1 [6] Cenciarelli，P.，Knapp，A.，Reuse，B.，Wirsing，M.：从顺序到多线程Java：基于事件的操作语义。收录：Johnson，M.（编辑）AMAST 1997。LNCS，第1349卷，第75-90页。斯普林格，海德堡（1997）·doi:10.1007/BFb0000464 [7] Cenciarelli，P.，Knapp，A.，Reuse，B.，Wirsing，M.：多线程java的基于事件的结构操作语义。收录：Alves-Foss，J.（编辑）《Java的形式语法和语义》。LNCS，第1523卷，第157页。斯普林格，海德堡（1999）·doi:10.1007/3-540-48737-95 [8] Cengarle，M.V.，Knapp，A.，Tarlecki，A.，Wirsing，M.：UML语义的异构方法。摘自：Degano，P.、De Nicola，R.、Meseguer，J.（编辑）《并发、图和模型》。LNCS，第5065卷，第383-402页。斯普林格，海德堡（2008）·Zbl 1143.68373号 ·doi:10.1007/978-3-540-68679-8_23 [9] Hennicker，R.，Klarl，A.：合奏建模基础——海伦娜方法。收录于：Iida，S.，Meseguer，J.，Ogata，K.（编辑）规范，代数和软件。LNCS，第8373卷，第359–381页。斯普林格，海德堡（2014）·Zbl 1320.68118号 ·doi:10.1007/978-3-642-544624-2_18 [10] Hölzl，M.、Meier，M.和Wirsing，M.：你更喜欢哪种软约束？ENTCS 238（3），189-205（2009）·Zbl 1347.68197号 [11] Hölzl，M.，Rauschmayer，A.，Wirsing，M.：合奏的软件工程。收录：Wirsing，M.、Banátre，J.-P.、Hölzl，M.和Rauschmayer，A.（编辑）《软硬件密集型系统》。LNCS，第5380卷，第45-63页。施普林格，海德堡（2008）·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.新闻。施普林格（2013） [13] Hölzl，M.，Wirsing，M.：朝向信号群的系统模型。In:Agha，G.，Danvy，O.，Meseguer，J.（编辑）形式建模：演员，开放系统，生物系统。LNCS，第7000卷，第241-261页。斯普林格，海德堡（2011）·doi:10.1007/978-3-642-24933-4_12 [14] Knapp，A.，Koch，N.，Wirsing，M.，Zhang，G.：UWE——一种基于模型驱动的Web应用程序开发方法。i-com，奥尔登堡6（3），5-12（2007）（德语） [15] Knapp，A.、Merz，S.、Wirsing，M.、Zappe，J.：MTLA和Mobile UML中移动系统的规范和细化。摘自：《理论计算机科学》，第184-202页（2006年）·Zbl 1086.68016号 ·doi:10.1016/j.tcs.2005.09.067 [16] Koch，N.，Wirsing，M.：自适应超媒体应用的慕尼黑参考模型。收录人：De Bra，P.、Brusilovsky，P.和Conejo，R.（编辑）AH 2002。LNCS，第2347卷，第213-222页。斯普林格，海德堡（2002）·Zbl 1047.68813号 ·doi:10.1007/3-540-47952-X23 [17] Meier，P.，Wirsing，M.：走向AgentComponent的正式规范。收录人：Ryan，M.D.，Meyer，J.-J.C.，Ehrich，H.-D.（编辑）对象、代理和功能。LNCS，第2975卷，第175-188页。斯普林格，海德堡（2004）·Zbl 1082.68535号 ·doi:10.1007/978-3-540-25930-5_11 [18] Merz，S.、Wirsing，M.、Zappe，J.：移动系统规范和优化的时空逻辑。摘自：Pezzé，M.（编辑）FASE 2003。LNCS，第2621卷，第87–101页。斯普林格，海德堡（2003）·兹伯利1032.03028 ·doi:10.1007/3-540-36578-87 [19] 帕丁森，D.：表达性导致了同构代数的模态逻辑。路德维希·马克西米利安-慕尼黑大学博士论文（2001年）·Zbl 0979.03508号 [20] Poernomo，I.、Crossley，J.、Wirsing，M.：改编校对程序：Curry–Howard协议。施普林格计算机科学专著。斯普林格（2005）·兹比尔1095.68025 [21] PUMA/PUMA-2。Graduiertenkolleg项目——联合模型分析，2008-2012/2013-2017年。https://puma.informatik.tu-muenchen.de . [22] Rauschmayer，A.：互联信息管理。路德维希·马克西米利安-慕尼黑大学博士论文（2010年） [23] Schäfer，T.、Knapp，A.、Merz，S.：模型检查UML状态机和协作。In:Stoller，S.D.，Visser，W.（编辑）Proc。Wsh公司。软件模型检查。选举人。提奥注释。公司。科学。，13页（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：软件工程和Werkzeuge füR elektronische Produktataloge。收件人：Informatik aktuell。Informatik 1997，Informatik als Innovationsmotor，27。Jahrestagung der Gesellschaft für Informatik公司。施普林格（1997年9月）·doi:10.1007/978-3-642-60831-5-57 [25] Schroeder，A.：生理计算的软件工程观点。路德维希·马克西米利安-慕尼黑大学博士论文（2011年）·Zbl 1252.68026号 [26] Schroeder，A.，Bauer，S.S.，Wirsing，M.：基于合同的适应性方法。J.日志。阿尔盖布。程序。 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.：并发对象的抽象。收录：Castagna，G.（编辑）ESOP 2009。LNCS，第5502卷，第252-266页。斯普林格，海德堡（2009）·Zbl 1234.68065号 ·doi:10.1007/978-3642-00590-9_19 [28] 维基百科-免费百科全书。自由欧洲电台，http://en.wikipedia.org/wiki/Radio_Free_Europe/Radio_Liberty [29] Wirsing，M.：代数规范。收录于：《理论计算机科学手册》（B卷），第675-788页。麻省理工学院出版社（1991）·Zbl 0900.68309号 [30] Wirsing，M.、Clark，A.、Gilmore，S.、Hölzl，M.、Knapp，A.、Koch，N.、Schroeder，A.：面向服务系统的基于语义的开发。收录人：Najm，E.，Pradat-Peyre，J.-F.，Donzeau-Gouge，V.V.（编辑）FORTE 2006。LNCS，第4229卷，第24-45页。斯普林格，海德堡（2006）·doi:10.1007/11888116_3 [31] Wirsing，M.，Hölzl，M.（编辑）：SENSORIA，LNCS，第6582卷。斯普林格，海德堡（2011） [32] Wirsing，M.，Hölzl，M.、Tribastone，M.和Zambonelli，F.：ASCENS：工程自主服务组件集成。收录人：Beckert，B.，Bonsangue，M.M.（编辑）FMCO 2011。LNCS，第7542卷，第1-24页。斯普林格，海德堡（2012）·doi:10.1007/978-3642-35887-6_1 [33] Wirsing，M.、Hölzl，M.、Tribastone，M.、Zambonelli，F.：ASCENS：工程自主服务组件集成。收录人：Beckert，B.，Bonsangue，M.M.（编辑）FMCO 2011。LNCS，第7542卷，第1-24页。斯普林格，海德堡（2012）·doi:10.1007/978-3642-35887-6_1 [34] Wirsing，M.，Knapp，A.：面向对象软件工程的形式化方法。Theor。计算。科学。 285(2), 519–560 (2002) ·Zbl 1001.68024号 ·doi:10.1016/S0304-3975（01）00367-X 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。