Marc Sihling

Learn More
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify both different views and different levels of abstraction of the system. To avoid ill-defined specifications,(More)
In this paper, we outline and clarify our view of the essential concepts of componentware, focusing on the role of formal foundations in the context of an overall development methodology. We provide a formal system model which allows for clear deenitions of concepts like, for instance, component, interface, connection, aggregation, and reenement. While(More)
We present the characteristics of component-based software engineering and derive the requirements for a corresponding development process. Based on this, we propose changes and extensions for the V-Modell, the Ger-man standard process model for information systems development in the public services. Following this model, we cover not only systems(More)
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniques, we propose a flexible process model for component-based development based on process patterns. The presented techniques and concepts serve as building blocks of an overall(More)
The Uniied Modeling Language consists of a set of mostly graphical description techniques for the speciication and documentation of object-oriented systems. We describe the experiences gained while using UML 1.0 for the development of a small, distributed Java program for planning break supervision schedules in schools. Our motivation in this case study is(More)
In this paper, we explore how the componentware paradigm can be used to re-engineer existing software systems. As a case study, we use the prototype implementation of the CASE tool AutoFocus which has been developed using standard object-oriented design techniques. Although designed for re-usability with respect to certain criteria, AutoFo-cus did not use a(More)
In this paper we present a rst case study which follows the SysLab method through the analysis phase of the software-engineering process. We specify the account management system of a bank using diierent description techniques deened by the Sys-Lab method. This example illustrates a possible development process and allows an evaluation of the current status(More)
The architecture of an IT system is of crucial importance for its success. In order to assess architecture's fitness, a number of standardized architecture evaluation methods have been proposed. Most of them are intended for the evaluation of a single architecture at a certain point in time. Furthermore, the results are often highly dependent on the person(More)