Martin Wirsing
Martin Wirsing
Professor of Computer Science, LMU Munich
Email confirmado em lmu.de - Página inicial
TítuloCitado porAno
Algebraic specification
M Wirsing
Formal models and semantics, 675-788, 1990
8721990
A kernel language for algebraic specification and implementation extended abstract
D Sannella, M Wirsing
International Conference on Fundamentals of Computation Theory, 413-427, 1983
2571983
Partial abstract types
M Broy, M Wirsing
Acta Informatica 18 (1), 47-64, 1982
2391982
Structured algebraic specifications: A kernel language
M Wirsing
Theoretical Computer Science 42, 123-249, 1986
2231986
Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13
M Wirsing
Elsevier, 1990
2071990
Selections from the Smuts Papers: Volume 3, June 1910-November 1918
K Hancock, J Van Der Poel
Cambridge University Press, 2007
206*2007
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
1991986
Software engineering for adaptive hypermedia applications
N Koch, M Wirsing
8th International Conference on User Modeling, Sonthofen, Germany, 2001
1722001
The Munich reference model for adaptive hypermedia applications
N Koch, M Wirsing
International Conference on Adaptive Hypermedia and Adaptive Web-Based …, 2002
1712002
On hierarchies of abstract data types
M Wirsing, P Pepper, H Partsch, W Dosch, M Broy
Acta Informatica 20 (1), 1-33, 1983
1711983
Behavioural and abstractor specifications
M Bidoit, R Hennicker, M Wirsing
Science of Computer Programming 25 (2-3), 149-186, 1995
1321995
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
1031999
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
902006
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
901987
Implementation of parameterised specifications
D Sannella, M Wirsing
International Colloquium on Automata, Languages, and Programming, 473-488, 1982
831982
Extending activity diagrams to model mobile systems
H Baumeister, N Koch, P Kosiuczenko, M Wirsing
Net. ObjectDays: International Conference on Object-Oriented and Internet …, 2002
742002
Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science
JW De Bakker, C Huizing, WP de Roever, G Rozenberg
Springer-Verlag, Berlin, 1992
67*1992
Algebraic implementations preserve program correctness
M Broy, B Möller, P Pepper, M Wirsing
Science of Computer Programming 7, 35-53, 1986
641986
Towards a system model for ensembles
M Hölzl, M Wirsing
Formal Modeling: Actors, Open Systems, Biological Systems, 241-261, 2011
612011
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), 2014
602014
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20