Gunnar Schröter

According to our database, Gunnar Schröter authored at least 4 papers between 2000 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Characterization and comparison of formal refinement and development relations for software modeling techniques.

Gunnar Schröter

PhD thesis, 2004

A Formal Component Concept for the Specification of Industrial Control Systems.

Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Semantical Integration of Object-Oriented Viewpoint Specification Techniques.

Benjamin Braatz, Markus Klein, Gunnar Schröter

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2000

The Role of Mathematics and Formal Specification Techniques in Software System Development.

Hartmut Ehrig, Gunnar Schröter

Bull. EATCS, 2000