Karlheinz Agsteiner

Learn More
This paper describes a method for the design of digital systems that automaticallyderives an executable prototype of a system from an informal specification. Our method bases on an object-oriented hierarchy of classes which describe the functions of components. A tree of instances of these classes representing a certain system is built depending on the(More)
This paper presents a hierarchical, object-oriented model as a basis for reuse of components in the design process of digital systems. The model forms a uniform knowledge base which consists of formal descriptions about functional, qualitative, and quantitative properties of systems and components. It supports the synthesis of systems from the described(More)
Digital systems can be specified conveniently at the system level by a set of requirements the target system should meet. The problem about this kind of specification is that there is no algorithmic way to gain an efficient system architecture fulfilling these requirements in the general case. This paper deals with the question of if restricting the design(More)
  • 1