Martin Girschick

Learn More
We describe our prototype implementation for Architecture Stratification supporting system descriptions at multiple levels of abstraction for developing complex software systems. Our tool transforms both model and code fragments in parallel using refinement transformations which are specified with a combination of " Story-Driven-Modeling " and Java code.(More)
Architecture Stratification is a technique for describing and developing complex software systems on multiple levels of abstractions. In this paper we present an approach and a corresponding implementation—in the form of a Fujaba plugin— for refining models including their behavior. Our plugin enables Fujaba models to be annotated with refinement directives(More)
SPin is a plugin for Fujaba that provides basic support for architecture stratification. It enables Fujaba models to be annotated with refinement directives which may then automatically be executed by the plugin. The corresponding refinement transformations may be defined with a combination of story driven modeling and Java coding. These transformations(More)
Model transformation is not only ac rucial buta lso one of the most complicated aspects of model-drivensoftware development (MDSD). An adequate transformation language is therefore vital to its successful application. Architecture stra-tification is av ery flexible approach to MDSD, which applies stepwise refinement to model-based system development. In(More)
Testverfahrens abgeleitet werden, unterscheidet man zwischen Black-Box-Tests und White-Box-Tests. Während für die Ableitung der Testfälle für Black-Box-Tests die Spezifikation einer Anwendung herangezogen wird, dient hierfür bei den Testfällen für White-Box-Tests der Quellcode der Anwendung. Anders beschreibt dies beispielsweise [Binder00] (S. 51), der das(More)
  • 1