Graphs in METAFrame: The Unifying Power of Polymorphism (1997)
Volker Braun, Andreas Claßen, V. Braun, Carsten Friedrich, Achim Dannecker, ...
. We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The flexibility of this tool, which mainly arises...
The METAFrame'95 Environment (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
programs whose implementation is supported by the automatic, library-based synthesis of linear compositions of modules. More complex control structures glueing the linear portions together must be...
Heterogeneous Analysis and Verification for Distributed Systems (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Lehrstuhl Fur Informatik
In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of...
Incremental Formalization: a Key to Industrial Success (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Lehrstuhl Fur Programmiersysteme
views focus the development process, and support error correction. This approach provides an incremental use of formal methods: if no formal constraints are defined, our system behaves like standard...
Service Creation: Formal Verification and Abstract Views (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Manfred Reitenspie, Helmut Wendler, ...
Views Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun Universitat Passau (Germany) Manfred Reitenspieß, Helmut Wendler SiemensNixdorf Informationssysteme AG y , Munich (Germany)...
Incremental Formalization (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
views focus the development process, and support error correction. This approach provides an incremental use of formal methods: if no formal constraints are defined, our system behaves like standard...
A Constraint-Oriented Service Creation Environment (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Viola Kriete, Manfred Reitenspieß, ...
ion Concretization Modification Control Control Service Libraries Selection Figure 1: The Service Creation Process ffl The service provider is familiar with the specific customer needs and enters...
An Environment for the Creation of Intelligent Network Services (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Lehrstuhl Fur Programmiersysteme, Manfred Reitenspie
This paper presents a Service Creation Environment which is unique in offering global correctness and consistency checks. These guarantee frame conditions for the design concerning implementability,...
A Constraint-Oriented Service Creation Environment (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Manfred Reitenspieß, Siemens Nixdorf, ...
The challenge of this joint project was to design and implement an environment for the creation of advanced telephone services (Intelligent Network Services) on the basis of a library of basic...
Heterogeneous Analysis and Verification for Distributed Systems (1995)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Lehrstuhl Fur Informatik
In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of...
Incremental Formalization: a Key to Industrial Success (1995)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Lehrstuhl Fur Programmiersysteme
Views . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 9.2 Formal Verification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 10 Conclusions, Experience and...
The Fixpoint-Analysis Machine (1995)
Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
. We present a fixpoint-analysis machine, for the efficient computation of homogeneous, hierarchical, and alternating fixpoints over regular, context-free/push-down and macro models. Applications of...