Werner Fey

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