Gunnar Schröter

发表

Semantical Integration of Object-Oriented Viewpoint Specification Techniques

Benjamin Braatz, Markus Klein, Gunnar Schröter, 2004, SoftSpez Final Report.

Transformation systems for the integration of software specifications

Sebastian John, Gunnar Schröter, Martin Grosse-Rhode, 2002 .

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

Hartmut Ehrig, Gunnar Schröter, H. Ehrig, 2000, Bull. EATCS.

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

Gunnar Schröter, G. Schröter, 2005 .

A Formal Component Concept for the Specification of Industrial Control Systems

Benjamin Braatz, Markus Klein, Matthias Bengel, 2004, SoftSpez Final Report.