Search the dblp DataBase
Werner Fey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Hartmut Ehrig, Werner Fey
Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. [Citation Graph (1, 0)][DBLP]
GI Jahrestagung, 1981, pp:255-269 [Conf] - Hartmut Ehrig, Werner Fey, Horst Hansen
ACT ONE - An Algebraic Specification Language with two Levels of Semantics. [Citation Graph (0, 0)][DBLP]
ADT, 1983, pp:- [Conf] - Hartmut Ehrig, Werner Fey, Horst Hansen
Towards Abstract User Interfaces for Formal System Specifications. [Citation Graph (0, 0)][DBLP]
ADT, 1984, pp:73-88 [Conf] - Werner Fey
From Requirements to Design Specification. [Citation Graph (0, 0)][DBLP]
ADT, 1982, pp:- [Conf] - Werner Fey
The Module Specification Language ACT TWO. [Citation Graph (0, 0)][DBLP]
ADT, 1986, pp:- [Conf] - Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
Algebraic Theory of Modular Specification Development. [Citation Graph (0, 0)][DBLP]
ADT, 1988, pp:- [Conf] - Werner Fey
ACT TWO: An Algebraic Module Specification and Interconnection Language. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:187-200 [Conf] - Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
Categories for the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
Categorial Methods in Computer Science, 1988, pp:157-184 [Conf] - Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
Algebraic Software Development Concepts for Module and Configuration Families. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1989, pp:181-192 [Conf] - Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum
Algebraic Theory of Module Specification with Constraints. [Citation Graph (0, 0)][DBLP]
MFCS, 1986, pp:59-77 [Conf] - Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. [Citation Graph (0, 0)][DBLP]
Software Engineering, 1980, pp:75-90 [Conf] - 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). [Citation Graph (0, 0)][DBLP]
Software-Entwicklung, 1989, pp:201-224 [Conf] - Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
Towards a Formally Based Component Description Language. [Citation Graph (0, 0)][DBLP]
TAPSOFT, Vol.2, 1991, pp:358-378 [Conf] - Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
On the Relationship Between Algebraic Module Specifications and Program Modules. [Citation Graph (0, 0)][DBLP]
TAPSOFT, Vol.2, 1991, pp:83-98 [Conf] - Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
Algebraic Specification of Modules and Configuration Families. [Citation Graph (0, 0)][DBLP]
Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:205-232 [Journal] - Joachim Cramer, Werner Fey, Michael Goedicke, Martin Große-Rhode
Towards a Formally Based Component Description Language - A Foundation for Reuse. [Citation Graph (0, 0)][DBLP]
Structured Programming, 1991, v:12, n:2, pp:91-110 [Journal] - Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
Compatibility Problems in the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1990, v:77, n:1&2, pp:27-71 [Journal]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002