دنبال کردن
Martin Wirsing
Martin Wirsing
Professor of Computer Science, LMU Munich
ایمیل تأیید شده در lmu.de - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Algebraic specification‏
M Wirsing‏
Formal models and semantics, 675-788, 1990‏
9521990
A kernel language for algebraic specification and implementation extended abstract‏
D Sannella, M Wirsing‏
Foundations of Computation Theory: Proceedings of the 1983 International FCT …, 1983‏
2811983
Partial abstract types‏
M Broy, M Wirsing‏
Acta Informatica 18, 47-64, 1982‏
2691982
Structured algebraic specifications: A kernel language‏
M Wirsing‏
Theoretical Computer Science 42, 123-249, 1986‏
2601986
The Munich Project CIP: Volume I: the wide spectrum language CIP-L‏
FL Bauer, R Berghammer, M Broy, W Dosch, F Geiselbrechtinger, ...‏
springer-Verlag, 1986‏
2191986
The Munich reference model for adaptive hypermedia applications‏
N Koch, M Wirsing‏
Adaptive Hypermedia and Adaptive Web-Based Systems: Second International …, 2002‏
2042002
On hierarchies of abstract data types‏
M Wirsing, P Pepper, H Partsch, W Dosch, M Broy‏
Acta Informatica 20, 1-33, 1983‏
1931983
Software engineering for adaptive hypermedia applications‏
N Koch, M Wirsing‏
8th International Conference on User Modeling, Sonthofen, Germany, 13-17, 2001‏
1702001
Behavioural and abstractor specifications‏
M Bidoit, R Hennicker, M Wirsing‏
Science of Computer Programming 25 (2-3), 149-186, 1995‏
1361995
An event-based structural operational semantics of multi-threaded Java‏
P Cenciarelli, A Knapp, B Reus, M Wirsing‏
Formal syntax and semantics of Java, 157-200, 1999‏
1131999
On the algebraic definition of programming languages‏
M Broy, M Wirsing, P Pepper‏
ACM Transactions on Programming Languages and Systems (TOPLAS) 9 (1), 54-99, 1987‏
1071987
Semantic-based development of service-oriented systems‏
M Wirsing, A Clark, S Gilmore, M Hölzl, A Knapp, N Koch, A Schroeder‏
International Conference on Formal Techniques for Networked and Distributed …, 2006‏
952006
Massive open online courses: current state and perspectives (Dagstuhl perspectives workshop 14112)‏
P Dillenbourg, A Fox, C Kirchner, J Mitchell, M Wirsing‏
Dagstuhl Manifestos 4 (1), 1-27, 2014‏
922014
Large language model assisted software engineering: prospects, challenges, and a case study‏
L Belzner, T Gabor, M Wirsing‏
International Conference on Bridging the Gap between AI and Reality, 355-374, 2023‏
912023
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13‏
M Wirsing‏
Elsevier, 1990‏
911990
Software engineering for collective autonomic systems: the ASCENS approach‏
M Wirsing, M Hölzl, N Koch, P Mayer‏
Springer, 2015‏
882015
Implementation of parameterised specifications‏
D Sannella, M Wirsing‏
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982‏
871982
Extending activity diagrams to model mobile systems‏
H Baumeister, N Koch, P Kosiuczenko, M Wirsing‏
Objects, Components, Architectures, Services, and Applications for a …, 2003‏
842003
What is a multi-modeling language?‏
A Boronat, A Knapp, J Meseguer, M Wirsing‏
International Workshop on Algebraic Development Techniques, 71-87, 2008‏
762008
A systematic study of models of abstract data types‏
M Broy, M Wirsing, C Pair‏
Theoretical Computer Science 33 (2-3), 139-174, 1984‏
701984
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20