scispace - formally typeset
S

Sören Schulze

Researcher at Chemnitz University of Technology

Publications -  8
Citations -  54

Sören Schulze is an academic researcher from Chemnitz University of Technology. The author has contributed to research in topics: Formal specification & Domain (software engineering). The author has an hindex of 4, co-authored 8 publications receiving 54 citations.

Papers
More filters
Proceedings ArticleDOI

An object-oriented model for specification, prototyping, implementation and reuse

TL;DR: A hierarchical, object-oriented model is presented as a basis for reuse of components in the design process of digital systems and supports the synthesis of systems from the described components.

Level Modeling of System Components for the Generation of VHDL Code

TL;DR: A method for the design of digital systems that automatically derives an executable prototype of a system from an informal specification that emphasizes a bottom-lip procedure and reuse of existing components.
Proceedings ArticleDOI

Object-oriented high-level modeling of system components for the generation of VHDL code

TL;DR: In this article, the authors describe a method for the design of digital systems that automatically derives an executable prototype of a system from an informal specification. But their approach emphasizes a bottom-lip procedure and reuse of existing components.
Book ChapterDOI

Object-Oriented High Level Modeling of Complex Systems

TL;DR: An object-oriented method to represent knowledge about a set of digital systems so that concrete systems can be specified and their implementations in various models such as VHDL or Petrinets can be derived automatically from a specification by a knowledge based configuration system.
Proceedings ArticleDOI

Automating system-level design: from specification to architecture

TL;DR: A new method to specify digital systems at the system level and to automatically transform a specification into a set of required system components from which in turn a complete system can be constructed using a knowledge-based configuration system is presented.