INTEGRATED SPECIFICATION, VALIDATION AND VERIFI- CATION WITH HYBRIDUML AND OCL APPLIED TO THE (2008)
Bart Case Study, Stefan Bisanz, Paul Ziemann, Arne Lindow
Abstract: This article proposes the integration of the HybridUML specification formalism and the USE approach for validation of invariant constraints and verification of system states. The benefit is...
INTEGRATED SPECIFICATION, VALIDATION AND VERIFI- CATION WITH HYBRIDUML AND OCL APPLIED TO THE (2008)
Bart Case Study, Stefan Bisanz, Paul Ziemann, Arne Lindow
Abstract: This article proposes the integration of the HybridUML specification formalism and the USE approach for validation of invariant constraints and verification of system states. The benefit is...
Metamodel Transformation of Data Models Position Paper (2007)
Martin Gogolla, Arne Lindow, Mark Richters, Paul Ziemann
This paper studies syntax and semantics of the Entity-Relationship (ER) and Relational data model and their transformation. The ER model may be regarded as a platform independent model and the...
Metamodel Transformation of Data Models Position Paper (2007)
Martin Gogolla, Arne Lindow, Mark Richters, Paul Ziemann
This paper studies syntax and semantics of the Entity-Relationship (ER) and Relational data model and their transformation. The ER model may be regarded as a platform independent model and the...
Digging into the Visitor Pattern (2004)
Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates covariant overriding of...
Digging into the Visitor Pattern (2004)
Fabian Buttner Oliver, Oliver Radfelder, Arne Lindow, Martin Gogolla
existing software in a nonintrusive way, and which simulates covariant overriding of visit methods. It allows to express polymorphic operations through visitor classes in a more natural way than the...
Semantic interrelation of documents via an ontology (2004)
Bernd Krieg-brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell
Abstract: This paper describes how to use an ontology for extensive semantic interrelation of documents in order to achieve sustainable development, i.e. continuous long-term usability of the...
Transforming data models with UML (2003)
This chapter studies an approach to establish a formal connection between data models, in particular between conceptual data models and implementation data models. We use metamodeling techniques...
Bernd Krieg-brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell, ...
MMiSS Multi-Media Instruction in Safe and Secure Systems 4
MultiMedia Instruction in (2003)
Safe And Secure, Bernd Krieg-brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, ...
The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a curriculum in the area of Safe and Secure Systems....
M.: Multimedia instruction in safe and secure systems (2003)
Bernd Krieg-brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, ...
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a curriculum in the area of Safe and Secure...