W. Fey

发表

ACT ONE - An Algebraic Specification Language with two Levels of Semantics

Hartmut Ehrig, Werner Fey, Horst Hansen, 1983, ADT.

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag)

Hartmut Ehrig, Ingo Claßen, Michael Löwe, 1989, Software-Entwicklung.

Compatibility Problems in the Development of Algebraic Module Specifications

Hartmut Ehrig, Francesco Parisi-Presicce, Dean Jacobs, 1989, Theor. Comput. Sci..

Algebraic Theory of Module Specification with Constraints

Hartmut Ehrig, Edward K. Blum, Francesco Parisi-Presicce, 1996, MFCS.

ACT TWO: An Algebraic Module Specification and Interconnection Language

Werner Fey, W. Fey, 1991, AMAST.

Distributive laws for composition and union of module specifications for software systems

Hartmut Ehrig, Francesco Parisi-Presicce, Werner Fey, 1987 .

Algebraic Theory of Modular Specification Development

Hartmut Ehrig, Michael Löwe, Werner Fey, 1988, ADT.

On the Relationship Between Algebraic Module Specifications and Program Modules

Hartmut Ehrig, Dean Jacobs, Michael Löwe, 1991, TAPSOFT, Vol.2.

Algebraic Software Development Concepts for Module and Configuration Families

Hartmut Ehrig, Dean Jacobs, Michael Löwe, 1989, FSTTCS.