Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Werner Fey
@article{DBLP:journals/stp/CramerFGG91,
author = {Joachim Cramer and
Werner Fey and
Michael Goedicke and
Martin Gro{\ss}e{-}Rhode},
title = {Towards a Formally Based Component Description Language - {A} Foundation
for Reuse},
journal = {Struct. Program.},
volume = {12},
number = {2},
pages = {91--110},
year = {1991},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stp/CramerFGG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fey91,
author = {Werner Fey},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {{ACT} {TWO:} An Algebraic Module Specification and Interconnection
Language},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {187--200},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/Fey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/LoweEFJ91,
author = {Michael L{\"{o}}we and
Hartmut Ehrig and
Werner Fey and
Dean Jacobs},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {On the Relationship Between Algebraic Module Specifications and Program
Modules},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
on Combining Paradigms for Software Developmemnt {(CCPSD)}},
series = {Lecture Notes in Computer Science},
volume = {494},
pages = {83--98},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540539816\_62},
doi = {10.1007/3540539816\_62},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/LoweEFJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/CramerFGG91,
author = {Joachim Cramer and
Werner Fey and
Michael Goedicke and
Martin Gro{\ss}e{-}Rhode},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Towards a Formally Based Component Description Language},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
on Combining Paradigms for Software Developmemnt {(CCPSD)}},
series = {Lecture Notes in Computer Science},
volume = {494},
pages = {358--378},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540539816\_76},
doi = {10.1007/3540539816\_76},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/CramerFGG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrigFHLJP90,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen and
Michael L{\"{o}}we and
Dean Jacobs and
Francesco Parisi{-}Presicce},
title = {Compatibility Problems in the Development of Algebraic Module Specifications},
journal = {Theor. Comput. Sci.},
volume = {77},
number = {1{\&}2},
pages = {27--71},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90115-X},
doi = {10.1016/0304-3975(90)90115-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrigFHLJP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/EhrigFHLJLP89,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen and
Michael L{\"{o}}we and
Dean Jacobs and
Anno Langen and
Francesco Parisi{-}Presicce},
title = {Algebraic Specification of Modules and Configuration Families},
journal = {J. Inf. Process. Cybern.},
volume = {25},
number = {5/6},
pages = {205--232},
year = {1989},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/EhrigFHLJLP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EhrigFHLJ89,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen and
Michael L{\"{o}}we and
Dean Jacobs},
editor = {C. E. Veni Madhavan},
title = {Algebraic Software Development Concepts for Module and Configuration
Families},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {405},
pages = {181--192},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52048-1\_43},
doi = {10.1007/3-540-52048-1\_43},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/EhrigFHLJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softent/EhrigCBFKL89,
author = {Hartmut Ehrig and
Ingo Cla{\ss}en and
Paul Boehm and
Werner Fey and
Martin Korff and
Michael L{\"{o}}we},
editor = {Wolfram{-}Manfred Lippe},
title = {Algebraic Concepts for Software Development in {ACT} ONE, {ACT} {TWO}
and {LOTOS} (eingeladener Vortrag)},
booktitle = {Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung,
veranstaltet vom Fachausschlu{\ss} 2.1 der GI, Marburg, 21.-23. Juni
1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {212},
pages = {201--224},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74872-1\_14},
doi = {10.1007/978-3-642-74872-1\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/softent/EhrigCBFKL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Fey88,
author = {Werner Fey},
title = {Pragmatics, concepts, syntax, semantics and correctness notions {ACT}
{TWO:} an algebraic module specification and interconnection language},
school = {Technical University of Berlin, Germany},
year = {1988},
url = {https://d-nb.info/891019324},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Fey88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/FeyEHL88,
author = {Werner Fey and
Hartmut Ehrig and
Horst Hansen and
Michael L{\"{o}}we},
editor = {Hartmut Ehrig},
title = {Algebraic Theory of Modular Specification Development},
booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
of Berlin, Germany},
year = {1988},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/FeyEHL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/EhrigFHLP88,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen and
Michael L{\"{o}}we and
Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Horst Herrlich and
Hans{-}J{\"{o}}rg Kreowski and
Gerhard Preu{\ss}},
title = {Categories for the Development of Algebraic Module Specifications},
booktitle = {Categorial Methods in Computer Science: With Aspects from Topology
[Workshop, September 1988, Berlin, Germany]},
series = {Lecture Notes in Computer Science},
volume = {393},
pages = {157--184},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51722-7\_10},
doi = {10.1007/3-540-51722-7\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/category/EhrigFHLP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Fey86,
author = {Werner Fey},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {The Module Specification Language {ACT} {TWO}},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 16:40:26 +0200},
biburl = {https://dblp.org/rec/conf/adt/Fey86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EhrigFPB86,
author = {Hartmut Ehrig and
Werner Fey and
Francesco Parisi{-}Presicce and
Edward K. Blum},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Algebraic Theory of Module Specification with Constraints},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {59--77},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016234},
doi = {10.1007/BFB0016234},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EhrigFPB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/EhrigFH84,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen},
editor = {Hans{-}J{\"{o}}rg Kreowski},
title = {Towards Abstract User Interfaces for Formal System Specifications},
booktitle = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
Applications of Abstract Data Types, Bremen, Germany, November 13-16,
1984, Selected Papers},
series = {Informatik-Fachberichte},
volume = {116},
pages = {73--88},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-662-09691-8\_7},
doi = {10.1007/978-3-662-09691-8\_7},
timestamp = {Mon, 18 Jun 2018 21:21:13 +0200},
biburl = {https://dblp.org/rec/conf/adt/EhrigFH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/EhrigFH83,
author = {Hartmut Ehrig and
Werner Fey and
Horst Hansen},
editor = {Manfred Broy and
Martin Wirsing},
title = {{ACT} {ONE} - An Algebraic Specification Language with two Levels
of Semantics},
booktitle = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
Passau, Germany},
publisher = {University of Passau},
year = {1983},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/EhrigFH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Fey82,
author = {Werner Fey},
editor = {Hans{-}Dieter Ehrich and
Udo W. Lipeck},
title = {From Requirements to Design Specification},
booktitle = {Proceedings 1st Workshop on Abstract Data Type, 1982. University of
Dortmund, Germany},
publisher = {University of Dortmund},
year = {1982},
timestamp = {Fri, 19 Jul 2019 16:40:25 +0200},
biburl = {https://dblp.org/rec/conf/adt/Fey82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/EhrigF81,
author = {Hartmut Ehrig and
Werner Fey},
editor = {Wilfried Brauer},
title = {Methodology for the Specification of Software Systems: From Formal
Requirements to Algebraic Design Specifications},
booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
Oktober 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {50},
pages = {255--269},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-01089-1\_24},
doi = {10.1007/978-3-662-01089-1\_24},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/EhrigF81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/EhrigFK80,
author = {Hartmut Ehrig and
Werner Fey and
Hans{-}J{\"{o}}rg Kreowski},
editor = {Christiane Floyd and
Hermann Kopetz},
title = {Algebraische Spezifikation eines St{\"{u}}cklistensystems - eine
Fallstudie},
booktitle = {Software Engineering - Entwurf und Spezifikation, Tagung {II/1980}
mit Workshop des German Chapter of the {ACM} vom 12. bis 16.9.1980
in Berlin},
series = {Berichte des German Chapter of the {ACM}},
volume = {5},
pages = {75--90},
publisher = {Teubner},
year = {1980},
timestamp = {Thu, 27 Feb 2003 09:55:22 +0100},
biburl = {https://dblp.org/rec/conf/se/EhrigFK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
