Werner Fey

Publication Activity (10 Years)

Years Active: 1980-1991
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
Towards a Formally Based Component Description Language - A Foundation for Reuse. Struct. Program. 12 (2) (1991)
Werner Fey
ACT TWO: An Algebraic Module Specification and Interconnection Language. AMAST (1991)
Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
On the Relationship Between Algebraic Module Specifications and Program Modules. TAPSOFT, Vol.2 (1991)
Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
Towards a Formally Based Component Description Language. TAPSOFT, Vol.2 (1991)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. 77 (1&2) (1990)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. 25 (5/6) (1989)
Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe
Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). Software-Entwicklung (1989)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS (1989)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science (1988)
Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
Algebraic Theory of Modular Specification Development. ADT (1988)
Werner Fey
The Module Specification Language ACT TWO. ADT (1986)
Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum
Algebraic Theory of Module Specification with Constraints. MFCS (1986)
Hartmut Ehrig, Werner Fey, Horst Hansen
Towards Abstract User Interfaces for Formal System Specifications. ADT (1984)
Hartmut Ehrig, Werner Fey, Horst Hansen
ACT ONE - An Algebraic Specification Language with two Levels of Semantics. ADT (1983)
Werner Fey
From Requirements to Design Specification. ADT (1982)
Hartmut Ehrig, Werner Fey
Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. GI Jahrestagung (1981)
Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. Software Engineering (1980)

Werner Fey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Werner Fey