Werner Fey

According to our database, Werner Fey authored at least 18 papers between 1980 and 1991.

Collaborative distances:

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

1991

Towards a Formally Based Component Description Language - A Foundation for Reuse.

Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode

Struct. Program., 1991

On the Relationship Between Algebraic Module Specifications and Program Modules.

Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Towards a Formally Based Component Description Language.

Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

ACT TWO: An Algebraic Module Specification and Interconnection Language.

Werner Fey

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Compatibility Problems in the Development of Algebraic Module Specifications.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce

Theor. Comput. Sci., 1990

1989

Algebraic Specification of Modules and Configuration Families.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce

J. Inf. Process. Cybern., 1989

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

Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe

Proceedings of the Software-Entwicklung: Konzepte, 1989

Algebraic Software Development Concepts for Module and Configuration Families.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

Pragmatics, concepts, syntax, semantics and correctness notions ACT TWO: an algebraic module specification and interconnection language.

Werner Fey

PhD thesis, 1988

Categories for the Development of Algebraic Module Specifications.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Algebraic Theory of Modular Specification Development.

Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1986

Algebraic Theory of Module Specification with Constraints.

Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

The Module Specification Language ACT TWO.

Werner Fey

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

Towards Abstract User Interfaces for Formal System Specifications.

Hartmut Ehrig, Werner Fey, Horst Hansen

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

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

Hartmut Ehrig, Werner Fey, Horst Hansen

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

From Requirements to Design Specification.

Werner Fey

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1981

Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications.

Hartmut Ehrig, Werner Fey

Proceedings of the GI, 1981

1980

Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie.

Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski

Proceedings of the Software Engineering, 1980