Andreas Claßen

Learn More
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 service components going beyond standard 'clipboard-architectures' with some testing support. The novelty of our approach consists of introducing a declarative speci(More)
We present a highly polymorphic tool for the construction synthesis structuring manipulation investigation and symbolic exe cution of graphs The exibility of this tool which mainly arises as a con sequence of combining complex graph labelings expressing the intended semantics with hierarchy and customized graphical node representations is illustrated along(More)
In this paper we present an environment for the development of special purpose heterogeneous analysis and veriication tools, which is unique in 1) constituting a framework for the development of application speciic heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a speciication language that uniformly(More)
  • 1