{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:20:28Z","timestamp":1743142828101,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_1","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"1-12","source":"Crossref","is-referenced-by-count":2,"title":["A Homage to Martin Wirsing"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF01182063","volume":"22","author":"M. Wirsing","year":"1977","unstructured":"Wirsing, M.: Das Entscheidungsproblem der Klasse von Formeln, die h\u00f6chstens zwei Primformeln enthalten. Manuscripta Mathematica\u00a022, 13\u201325 (1977)","journal-title":"Manuscripta Mathematica"},{"issue":"1-2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF02011871","volume":"19","author":"M. Wirsing","year":"1978","unstructured":"Wirsing, M.: Kleine unentscheidbare Klassen der Pr\u00e4dikatenlogik mit Identit\u00e4t und Funktionszeichen. Archiv f\u00fcr mathematische Logik und Grundlagenforschung\u00a019(1-2), 97\u2013109 (1978)","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Wirsing, M.: \u201cSmall\u201d universal Post systems. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\u00a025, 559\u2013564 (1979), Journal of Symbolic Logic 44, 476\u2013477 (1979)","DOI":"10.1002\/malq.19790253307"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik, 228 p. Springer, Heidelberg (1991)","DOI":"10.1007\/978-3-642-84263-4"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0304-3975(96)00162-4","volume":"173","author":"R. Hennicker","year":"1997","unstructured":"Hennicker, R., Wirsing, M., Bidoit, M.: Proof systems for structured specifications with observability operators. Theoretical Computer Science\u00a0173, 393\u2013443 (1997)","journal-title":"Theoretical Computer Science"},{"key":"1_CR6","unstructured":"Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry\u2013Howard Protocol. Springer Monographs in Computer Science, 420 p. (2005)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36578-8_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Merz","year":"2003","unstructured":"Merz, S., Wirsing, M., Zappe, J.: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 87\u2013101. Springer, Heidelberg (2003)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M.: Partial Abstract Types. Acta Informatica\u00a018, 47\u201364 (1982)","journal-title":"Acta Informatica"},{"key":"1_CR9","first-page":"1","volume":"20","author":"M. Broy","year":"1983","unstructured":"Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M.: On Hierarchies of Abstract Data Types. Acta Informatica\u00a020, 1\u201334 (1983)","journal-title":"Acta Informatica"},{"key":"1_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-12689-9_122","volume-title":"Colloquium on Foundations of Computation Theory, Linkping (Schweden)","author":"D. Sannella","year":"1983","unstructured":"Sannella, D., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation. In: Karpinski, M. (ed.) Colloquium on Foundations of Computation Theory, Linkping (Schweden). LNCS, vol.\u00a0158, pp. 413\u2013427. Springer, Heidelberg (1983)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"43","author":"M. Wirsing","year":"1986","unstructured":"Wirsing, M.: Structured Algebraic Specifications: A Kernel Language. Theoretical Computer Science\u00a043, 123\u2013250 (1986)","journal-title":"Theoretical Computer Science"},{"key":"1_CR12","first-page":"675","volume-title":"Handbook of Theoretical Computer Science","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic Specification. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 675\u2013788. North-Holland, Amsterdam (1990)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M. Bidoit","year":"1995","unstructured":"Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and Abstractor Specifications. Science of Computer Programming\u00a025, 149\u2013186 (1995)","journal-title":"Science of Computer Programming"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0167-6423(81)90006-X","volume":"1","author":"F.L. Bauer","year":"1981","unstructured":"Bauer, F.L., Broy, M., Dosch, W., Gnatz, R., Krieg-Br\u00fcckner, B., Laut, A., Luckmann, M., Matzner, T.A., M\u00f6ller, B., Partsch, H., Pepper, P., Samelson, K., Steinb\u00fcggen, R., W\u00f6ssner, H., Wirsing, M.: Programming in a Wide Spectrum Language: A Collection of Examples. Science of Computer Programming\u00a01, 73\u2013114 (1981)","journal-title":"Science of Computer Programming"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0015453","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","author":"M. Broy","year":"1995","unstructured":"Broy, M., Wirsing, M.: Correct Software: From Experiments to Applications. In: J\u00e4hnichen, S., Broy, M. (eds.) KORSO 1995. LNCS, vol.\u00a01009, pp. 1\u201324. Springer, Heidelberg (1995)"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0304-3975(01)00367-X","volume":"285","author":"M. Wirsing","year":"2002","unstructured":"Wirsing, M., Knapp, A.: A Formal Approach to Object-Oriented Software Engineering. Theo. Comp. Sci.\u00a0285, 519\u2013560 (2002)","journal-title":"Theo. Comp. Sci."},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/3-540-45314-8_22","volume-title":"Fundamental Approaches to Software Engineering","author":"B. Reus","year":"2001","unstructured":"Reus, B., Wirsing, M., Hennicker, R.: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 300\u2013317. Springer, Heidelberg (2001)"},{"key":"1_CR18","first-page":"96","volume-title":"Second IEEE Internat. Conf. on Software Engineering and Formal Methods, SEFM 2004","author":"M. Wirsing","year":"2004","unstructured":"Wirsing, M., Baumeister, H., Knapp, A.: Property-Driven Development. In: Cuellar, J., Liu, Z. (eds.) Second IEEE Internat. Conf. on Software Engineering and Formal Methods, SEFM 2004, pp. 96\u2013103. IEEE Computer Society, Beijing (2004)"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.tcs.2005.09.067","volume":"351","author":"A. Knapp","year":"2006","unstructured":"Knapp, A., Merz, S., Wirsing, M., Zappe, J.: Specification and Refinement of Mobile Systems in MTLA and Mobile UML. Theoretical Computer Science\u00a0351(2), 184\u2013202 (2006)","journal-title":"Theoretical Computer Science"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1007\/BFb0014683","volume-title":"Program Construction, Marktoberdorf 1978","author":"M. Broy","year":"1979","unstructured":"Broy, M., Gnatz, R., Wirsing, M.: Semantics of Nondeterministic and Noncontinuous constructs. In: Bauer, F.L., Broy, M. (eds.) Program Construction. LNCS, vol.\u00a069, pp. 553\u2013592. Springer, Heidelberg (1979)"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/9758.10501","volume":"9","author":"M. Broy","year":"1987","unstructured":"Broy, M., Pepper, P., Wirsing, M.: On the Algebraic Definition of Programming Languages. TOPLAS\u00a09(1), 54\u201399 (1987)","journal-title":"TOPLAS"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-48737-9_5","volume-title":"Formal Syntax and Semantics of Java","author":"P. Cenciarelli","year":"1999","unstructured":"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.\u00a01523, pp. 157\u2013200. Springer, Heidelberg (1999)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-68679-8_23","volume-title":"Concurrency, Graphs and Models","author":"M.V. Cengarle","year":"2008","unstructured":"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.\u00a05065, pp. 383\u2013402. Springer, Heidelberg (2008)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-03429-9_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Knapp, A., Meseguer, J., Wirsing, M.: What is a multi-modeling language? In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 71\u201387. Springer, Heidelberg (2009)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Eckhardt, J., M\u00fchlbauer, T., Meseguer, J., Wirsing, M.: Semantics, Distributed Implementation, and Formal Analysis of KLAIM Models in Maude. Science of Computer Programming, 51 p. (to appear, 2014)","DOI":"10.1016\/j.scico.2014.10.001"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11888116_3","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"M. Wirsing","year":"2006","unstructured":"Wirsing, M., Clark, A., Gilmore, S., H\u00f6lzl, 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.\u00a04229, pp. 24\u201345. Springer, Heidelberg (2006)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-75336-0_3","volume-title":"Trustworthy Global Computing","author":"M. Wirsing","year":"2007","unstructured":"Wirsing, M., De Nicola, R., Gilmore, S., H\u00f6lzl, M., Lucchi, R., Tribastone, M., Zavattaro, G.: Sensoria Process Calculi for Service-Oriented Computing. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol.\u00a04661, pp. 30\u201350. Springer, Heidelberg (2007)"},{"key":"1_CR28","doi-asserted-by":"crossref","first-page":"159","DOI":"10.7551\/mitpress\/7959.003.0009","volume-title":"At Your Service: Service Oriented Computing from an EU Perspective","author":"M. Wirsing","year":"2009","unstructured":"Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J., Gilmore, S., H\u00f6lzl, M., Koch, N., Mayer, P., Pugliese, R., Schroeder, A.: Sensoria: Engineering for Service-Oriented Overlay Computers. In: di Nitto, E., Sassen, A.-M., Traverso, P., Zwegers, A. (eds.) At Your Service: Service Oriented Computing from an EU Perspective, pp. 159\u2013182. MIT Press, Cambridge (2009)"},{"issue":"2","key":"1_CR29","doi-asserted-by":"publisher","first-page":"133","DOI":"10.3233\/MGS-2010-0145","volume":"6","author":"M.B. Riemsdijk van","year":"2010","unstructured":"van Riemsdijk, M.B., Wirsing, M.: Comparing Goal-Oriented and Procedural Service Orchestration. Journal on Multiagent and Grid Systems\u00a06(2), 133\u2013163 (2010)","journal-title":"Journal on Multiagent and Grid Systems"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-16561-0_12","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"M. Tribastone","year":"2010","unstructured":"Tribastone, M., Mayer, P., Wirsing, M.: Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 51\u201365. Springer, Heidelberg (2010)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M. (eds.): SENSORIA. LNCS, vol.\u00a06582. Springer, Heidelberg (2011)"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-47952-X_23","volume-title":"Adaptive Hypermedia and Adaptive Web-Based Systems","author":"N. Koch","year":"2002","unstructured":"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.\u00a02347, p. 213. Springer, Heidelberg (2002)"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Wirsing, M., Bauer, S., Schroeder, A.: Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. In: \u00d6lvecki, P.C. (ed.) Proc. of 1st International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Spitsbergen, Norway, April 6-9. EPTCS, vol.\u00a036, pp. 1\u201325 (2010)","DOI":"10.4204\/EPTCS.36.1"},{"issue":"3-5","key":"1_CR34","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1016\/j.jlap.2010.09.001","volume":"80","author":"A. Schroeder","year":"2011","unstructured":"Schroeder, A., Bauer, S., Wirsing, M.: A Contract-Based Approach to Adaptivity. J. Log. Algebr. Program.\u00a080(3-5), 180\u2013193 (2011)","journal-title":"J. Log. Algebr. Program."},{"key":"1_CR35","unstructured":"Schroeder, A., Wirsing, M.: Developing Physiological Computing Systems: Challenges and Solutions. In: J\u00e4hnichen, S., K\u00fcpper, A., Albayrak, S. (eds.) Software Engineering 2012. GI Lecture Notes in Informatics, vol.\u00a0198, pp. 21\u201336 (2012)"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35887-6_1","volume-title":"Formal Methods for Components and Objects","author":"M. Wirsing","year":"2012","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: Engineering Autonomic Service-Component Ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 1\u201324. Springer, Heidelberg (2012)"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A Rewriting Logic Framework for Soft Constraints. In: Proc. 6th Int. Workshop on Rewriting Logic and its Applications (WRLA 2006), Vienna, Austria. Electronic Notes in Theoretical Computer Science (ENTCS), vol.\u00a0176, pp. 181\u2013197 (2007)","DOI":"10.1016\/j.entcs.2007.06.015"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M., Meier, M., Wirsing, M.: Which Soft Constraints do you Prefer? In: Proc. 7th Int. Workshop on Rewriting Logic and its Applications (WRLA 2008), Budapest, March 29-30. Electr. Notes Theor. Comput. Sci, vol.\u00a0238(3), pp. 189\u2013205 (2009)","DOI":"10.1016\/j.entcs.2009.05.020"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-36557-5_21","volume-title":"Objects, Components, Architectures, Services, and Applications for a Networked World","author":"H. Baumeister","year":"2003","unstructured":"Baumeister, H., Koch, N., Kosiuczenko, P., Wirsing, M.: Extending Activity Diagrams to Model Mobile Systems. In: Ak\u015fit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol.\u00a02591, pp. 278\u2013293. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T15:48:24Z","timestamp":1691509704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}