OPUS 4 | Search

A method for the development of correct software (1995)

A heterogeneous approach to service-oriented systems specification (2010)

Knapp, Alexander ; Marczyński, Grzegorz ; Wirsing, Martin ; Zawłocki, Artur

Modelling the CoCoME with the Java/A component model (2008)

Knapp, Alexander ; Janisch, Stephan ; Hennicker, Rolf ; Clark, Allan ; Gilmore, Stephen ; Hacklinger, Florian ; Baumeister, Hubert ; Wirsing, Martin

UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications) (2007)

Knapp, Alexander ; Koch, Nora ; Wirsing, Martin ; Zhang, Gefei

What is a multi-modeling language? (2009)

Boronat, Artur ; Knapp, Alexander ; Meseguer, José ; Wirsing, Martin

A heterogeneous approach to UML semantics (2008)

Cengarle, María Victoria ; Knapp, Alexander ; Tarlecki, Andrzej ; Wirsing, Martin

A Component Model for Architectural Programming (2006)

Baumeister, Hubert ; Hacklinger, Florian ; Hennicker, Rolf ; Knapp, Alexander ; Wirsing, Martin

Semantic-based development of service-oriented systems (2006)

Wirsing, Martin ; Clark, Allan ; Gilmore, Stephen ; Hölzl, Matthias ; Knapp, Alexander ; Koch, Nora ; Schroeder, Andreas

Specification and refinement of mobile systems in MTLA and mobile UML (2006)

Knapp, Alexander ; Merz, Stephan ; Wirsing, Martin ; Zappe, Júlia

Refining mobile UML state machines (2004)

Knapp, Alexander ; Merz, Stephan ; Wirsing, Martin

Consistency checking in an infrastructure for large-scale generative programming (2004)

Rauschmayer, A. ; Knapp, Alexander ; Wirsing, Martin

Property-driven development (2004)

Baumeister, H. ; Knapp, Alexander ; Wirsing, Martin

View consistency in software development (2004)

Wirsing, Martin ; Knapp, Alexander

Assembly theories for communication-safe component systems (2014)

Hennicker, Rolf ; Knapp, Alexander ; Wirsing, Martin

From sequential to multi-threaded Java: An event-based operational semantics (1997)

Cenciarelli, Pietro ; Knapp, Alexander ; Reus, Bernhard ; Wirsing, Martin

Verifying a compiler optimization for multi-threaded Java (1998)

Reus, Bernhard ; Knapp, Alexander ; Cenciarelli, Pietro ; Wirsing, Martin

An event-based structural operational semantics of multi-threaded Java (1999)

Cenciarelli, Pietro ; Knapp, Alexander ; Reus, Bernhard ; Wirsing, Martin

Type-checking AHEAD (2004)

Rauschmayer, Axel ; Knapp, Alexander ; Wirsing, Martin

A formal approach to object-oriented software engineering (2002)

Wirsing, Martin ; Knapp, Alexander

EPK-fix: Methods and tools for engineering electronic product catalogues (1997)

Knapp, Alexander ; Koch, N. ; Wirsing, Martin ; Duckeck, J. ; Lutze, R. ; Fritzsche, H. ; Timm, D. ; Closhen, P. ; Frisch, M. ; Hoffmann, H.-J. ; Gaede, B. ; Schneeberger, J. ; Stoyan, H. ; Turk, A.

Author(s)
Title
Additional Person(s)
Referee(s)
Abstract
Fulltext

Open Access

Refine

Has Fulltext

Author

Year of publication

Document Type

Language

Keywords

Institute

25 search hits