Gregor Engels

gregor.engels@uni-paderborn.de
ID
107

433 Publications

Mark all

[433]
1992 | Conference Paper | LibreCat-ID: 8260
Engels, Gregor, and Perdita Löhr-Richter. “CADDY: A Highly Integrated Environment to Support Conceptual Database Design.” In Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), 19–22. Washington, DC, USA: IEEE Computer Society, 1992.
LibreCat
 
[432]
1992 | Conference Paper | LibreCat-ID: 8261
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour in the Software Development Process.” In Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, 635:58–60. LNCS. Berlin/Heidelberg: Springer, 1992. http://dx.doi.org/10.1007/BFb0017495.
LibreCat | DOI
 
[431]
1992 | Journal Article | LibreCat-ID: 7408
Hohenstein, Uwe, and Gregor Engels. “SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language.” Information Systems 17, no. 3 (1992): 209–42. http://dx.doi.org/10.1016/0306-4379(92)90014-E.
LibreCat | DOI
 
[430]
1992 | Journal Article | LibreCat-ID: 7409
Engels, Gregor, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, and Andy Schürr. “Building Integrated Software Development Environments, Part I: Tool Specification.” ACM Transactions on Software Engineering and Methodology (TOSEM) 1, no. 2 (1992): 135–67.
LibreCat
 
[429]
1992 | Journal Article | LibreCat-ID: 7410
Engels, Gregor, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dietrich Ehrich. “Conceptual Modelling of Database Applications Using an Extended ER Model.” Data & Knowledge Engineering 9, no. 2 (1992): 157–204. http://dx.doi.org/10.1016/0169-023X(92)90008-Y.
LibreCat | DOI
 
[428]
1991 | Report | LibreCat-ID: 8188
Löhr-Richter, Perdita, and Gregor Engels. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University, 1991.
LibreCat
 
[427]
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” In Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 177–88. ER Institute, 1990.
LibreCat
 
[426]
1990 | Conference Paper | LibreCat-ID: 8259
Engels, Gregor. “Elementary Actions on an Extended Entity-Relationship Database.” In Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), 532:344–62. Berlin/Heidelberg: Springer, 1990. http://dx.doi.org/10.1007/BFb0017372.
LibreCat | DOI
 
[425]
1989 | Conference Paper | LibreCat-ID: 7821
Ebert, Jürgen, and Gregor Engels. “Konzepte Einer Software-Architektur-Beschreibungssprache.” In Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 212:238–50. Informatik-Fachberichte. Berlin/Heidelberg: Springer, 1989.
LibreCat
 
[424]
1989 | Conference Paper | LibreCat-ID: 7822
Engels, Gregor. “CADDY-O: Syntaxgestütztes, Graphisches Entwerfen Konzeptioneller Datenbankschemata.” In Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 18:1–16, 1989.
LibreCat
 
[423]
1989 | Conference Paper | LibreCat-ID: 7823
Engels, Gregor, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, and Hans-Dietrich Ehrich. “CADDY: Computer-Aided Design of Non-Standard Databases.” In Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing, 1989.
LibreCat
 
[422]
1989 | Report | LibreCat-ID: 8187
Engels, Gregor. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat
 
[421]
1989 | Book | LibreCat-ID: 7511
Engels, Gregor, and Wilhelm Schäfer. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Stuttgart: Teubner, 1989.
LibreCat
 
[420]
1988 | Conference Paper | LibreCat-ID: 7818
Engels, Gregor, Thorsten Janning, and Wilhelm Schäfer. “A Highly Integrated Tool Set for Program Development Support.” In Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), 1–10. New York, NY, USA: ACM Press, 1988. http://dx.doi.org/10.1145/62453.62454.
LibreCat | DOI
 
[419]
1988 | Conference Paper | LibreCat-ID: 7819
Engels, Gregor, Uwe Hohenstein, Leonore Neugebauer, Gunter Saake, and Hans-Dietrich Ehrich. “Konzeption Einer Integrierten Datenbank-Entwurfsumgebung.” In Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland, 151–57. Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken, 1988.
LibreCat
 
[418]
1988 | Conference Paper | LibreCat-ID: 7820
Engels, Gregor, Uwe Hohenstein, Gunter Saake, and Hans-Dietrich Ehrich. “Auf Dem Weg Zu Einer Integrierten Datenbank-Entwurfsumgebung.” In Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” edited by Gregor Engels, Uwe Hohenstein, Gunter Saake, and Hans-D. Ehrich, 38–51. Darmstadt (Germany): G. Snelting, 1988.
LibreCat
 
[417]
1988 | Report | LibreCat-ID: 8186
Ebert, Jürgen, and Gregor Engels. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz, 1988.
LibreCat
 
[416]
1988 | Conference Paper | LibreCat-ID: 8258
Engels, Gregor, Thorsten Janning, and Wilhelm Schäfer. “Die Benutzerschnittstelle Einer Integrierten Modula-2 Programmentwicklungsumgebung.” In Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat
 
[415]
1987 | Conference Paper | LibreCat-ID: 7816
Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” In Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), 289:80–88. Berlin/Heidelberg: Springer, 1987.
LibreCat
 
[414]
1987 | Conference Paper | LibreCat-ID: 7817
Engels, Gregor, Manfred Nagl, and Wilhelm Schäfer. “On the Structure of Structure-Oriented Editors for Different Applications.” In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, 22:190–98. ACM SIGPLAN Notices, 1987.
LibreCat
 
[413]
1987 | Conference Paper | LibreCat-ID: 8257
Engels, Gregor, Claus Lewerentz, and Wilhelm Schäfer. “Graph Grammar Engineering: A Software Specification Method.” In Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), 291:186–201. Berlin/Heidelberg: Springer, 1987. https://doi.org/dx.doi.org/10.1007/3-540-18771-5.
LibreCat | DOI
 
[412]
1986 | Conference Paper | LibreCat-ID: 7815
Engels, Gregor, Claus Lewerentz, Manfred Nagl, and Wilhelm Schäfer. “On the Structure of an Incremental and Integrated Software Development Environment.” In Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 2a:585–97, 1986.
LibreCat
 
[411]
1986 | Conference Paper | LibreCat-ID: 8256
Engels, Gregor, and Andrea Sandbrink. “Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques.” In Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, 12:172–84. Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR, 1986.
LibreCat
 
[410]
1986 | Dissertation | LibreCat-ID: 7588
Engels, Gregor. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
LibreCat
 
[409]
1985 | Conference Paper | LibreCat-ID: 7813
Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment.” In Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), 186:179–93. LNCS. Berlin/Heidelberg: Springer, 1985.
LibreCat
 
[408]
1985 | Conference Paper | LibreCat-ID: 7814
Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable Programming Support Environment.” In Proceedings of the International Computing Symposium, Amsterdam (The Netherlands). Florenz, 1985.
LibreCat
 
[407]
1983 | Conference Paper | LibreCat-ID: 8255
Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software Specification by Graph Grammars.” In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. https://doi.org/dx.doi.org/10.1007/BFb0000113.
LibreCat | DOI
 
[406]
1983 | Journal Article | LibreCat-ID: 7411
Engels, Gregor, Rupert Gall, Manfred Nagl, and Wilhelm Schäfer. “Software Specification Using Graph Grammars.” Computing 31, no. 4 (1983): 317–46. http://dx.doi.org/10.1007/BF02251236.
LibreCat | DOI
 
[405]
1983 | Journal Article | LibreCat-ID: 7412
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica 9, no. 3 (1983): 235–54. http://dx.doi.org/10.1007/BF00265557.
LibreCat | DOI
 
[404]
1982 | Conference Paper | LibreCat-ID: 7811
Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” In Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 47–62. München/Leipzig: Hanser, 1982.
LibreCat
 
[403]
1982 | Conference Paper | LibreCat-ID: 7812
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 82:254–70, 1982.
LibreCat
 
[402]
1981 | Report | LibreCat-ID: 8184
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
 
[401]
1981 | Report | LibreCat-ID: 8185
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

433 Publications

Mark all

[433]
1992 | Conference Paper | LibreCat-ID: 8260
Engels, Gregor, and Perdita Löhr-Richter. “CADDY: A Highly Integrated Environment to Support Conceptual Database Design.” In Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), 19–22. Washington, DC, USA: IEEE Computer Society, 1992.
LibreCat
 
[432]
1992 | Conference Paper | LibreCat-ID: 8261
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour in the Software Development Process.” In Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, 635:58–60. LNCS. Berlin/Heidelberg: Springer, 1992. http://dx.doi.org/10.1007/BFb0017495.
LibreCat | DOI
 
[431]
1992 | Journal Article | LibreCat-ID: 7408
Hohenstein, Uwe, and Gregor Engels. “SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language.” Information Systems 17, no. 3 (1992): 209–42. http://dx.doi.org/10.1016/0306-4379(92)90014-E.
LibreCat | DOI
 
[430]
1992 | Journal Article | LibreCat-ID: 7409
Engels, Gregor, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, and Andy Schürr. “Building Integrated Software Development Environments, Part I: Tool Specification.” ACM Transactions on Software Engineering and Methodology (TOSEM) 1, no. 2 (1992): 135–67.
LibreCat
 
[429]
1992 | Journal Article | LibreCat-ID: 7410
Engels, Gregor, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dietrich Ehrich. “Conceptual Modelling of Database Applications Using an Extended ER Model.” Data & Knowledge Engineering 9, no. 2 (1992): 157–204. http://dx.doi.org/10.1016/0169-023X(92)90008-Y.
LibreCat | DOI
 
[428]
1991 | Report | LibreCat-ID: 8188
Löhr-Richter, Perdita, and Gregor Engels. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University, 1991.
LibreCat
 
[427]
1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” In Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 177–88. ER Institute, 1990.
LibreCat
 
[426]
1990 | Conference Paper | LibreCat-ID: 8259
Engels, Gregor. “Elementary Actions on an Extended Entity-Relationship Database.” In Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), 532:344–62. Berlin/Heidelberg: Springer, 1990. http://dx.doi.org/10.1007/BFb0017372.
LibreCat | DOI
 
[425]
1989 | Conference Paper | LibreCat-ID: 7821
Ebert, Jürgen, and Gregor Engels. “Konzepte Einer Software-Architektur-Beschreibungssprache.” In Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), 212:238–50. Informatik-Fachberichte. Berlin/Heidelberg: Springer, 1989.
LibreCat
 
[424]
1989 | Conference Paper | LibreCat-ID: 7822
Engels, Gregor. “CADDY-O: Syntaxgestütztes, Graphisches Entwerfen Konzeptioneller Datenbankschemata.” In Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, 18:1–16, 1989.
LibreCat
 
[423]
1989 | Conference Paper | LibreCat-ID: 7823
Engels, Gregor, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, and Hans-Dietrich Ehrich. “CADDY: Computer-Aided Design of Non-Standard Databases.” In Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany. Berlin: Pitman Publishing, 1989.
LibreCat
 
[422]
1989 | Report | LibreCat-ID: 8187
Engels, Gregor. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat
 
[421]
1989 | Book | LibreCat-ID: 7511
Engels, Gregor, and Wilhelm Schäfer. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Stuttgart: Teubner, 1989.
LibreCat
 
[420]
1988 | Conference Paper | LibreCat-ID: 7818
Engels, Gregor, Thorsten Janning, and Wilhelm Schäfer. “A Highly Integrated Tool Set for Program Development Support.” In Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), 1–10. New York, NY, USA: ACM Press, 1988. http://dx.doi.org/10.1145/62453.62454.
LibreCat | DOI
 
[419]
1988 | Conference Paper | LibreCat-ID: 7819
Engels, Gregor, Uwe Hohenstein, Leonore Neugebauer, Gunter Saake, and Hans-Dietrich Ehrich. “Konzeption Einer Integrierten Datenbank-Entwurfsumgebung.” In Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland, 151–57. Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken, 1988.
LibreCat
 
[418]
1988 | Conference Paper | LibreCat-ID: 7820
Engels, Gregor, Uwe Hohenstein, Gunter Saake, and Hans-Dietrich Ehrich. “Auf Dem Weg Zu Einer Integrierten Datenbank-Entwurfsumgebung.” In Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” edited by Gregor Engels, Uwe Hohenstein, Gunter Saake, and Hans-D. Ehrich, 38–51. Darmstadt (Germany): G. Snelting, 1988.
LibreCat
 
[417]
1988 | Report | LibreCat-ID: 8186
Ebert, Jürgen, and Gregor Engels. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz, 1988.
LibreCat
 
[416]
1988 | Conference Paper | LibreCat-ID: 8258
Engels, Gregor, Thorsten Janning, and Wilhelm Schäfer. “Die Benutzerschnittstelle Einer Integrierten Modula-2 Programmentwicklungsumgebung.” In Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat
 
[415]
1987 | Conference Paper | LibreCat-ID: 7816
Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” In Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), 289:80–88. Berlin/Heidelberg: Springer, 1987.
LibreCat
 
[414]
1987 | Conference Paper | LibreCat-ID: 7817
Engels, Gregor, Manfred Nagl, and Wilhelm Schäfer. “On the Structure of Structure-Oriented Editors for Different Applications.” In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, 22:190–98. ACM SIGPLAN Notices, 1987.
LibreCat
 
[413]
1987 | Conference Paper | LibreCat-ID: 8257
Engels, Gregor, Claus Lewerentz, and Wilhelm Schäfer. “Graph Grammar Engineering: A Software Specification Method.” In Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), 291:186–201. Berlin/Heidelberg: Springer, 1987. https://doi.org/dx.doi.org/10.1007/3-540-18771-5.
LibreCat | DOI
 
[412]
1986 | Conference Paper | LibreCat-ID: 7815
Engels, Gregor, Claus Lewerentz, Manfred Nagl, and Wilhelm Schäfer. “On the Structure of an Incremental and Integrated Software Development Environment.” In Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, 2a:585–97, 1986.
LibreCat
 
[411]
1986 | Conference Paper | LibreCat-ID: 8256
Engels, Gregor, and Andrea Sandbrink. “Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques.” In Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, 12:172–84. Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR, 1986.
LibreCat
 
[410]
1986 | Dissertation | LibreCat-ID: 7588
Engels, Gregor. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung, 1986.
LibreCat
 
[409]
1985 | Conference Paper | LibreCat-ID: 7813
Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment.” In Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), 186:179–93. LNCS. Berlin/Heidelberg: Springer, 1985.
LibreCat
 
[408]
1985 | Conference Paper | LibreCat-ID: 7814
Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable Programming Support Environment.” In Proceedings of the International Computing Symposium, Amsterdam (The Netherlands). Florenz, 1985.
LibreCat
 
[407]
1983 | Conference Paper | LibreCat-ID: 8255
Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software Specification by Graph Grammars.” In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. https://doi.org/dx.doi.org/10.1007/BFb0000113.
LibreCat | DOI
 
[406]
1983 | Journal Article | LibreCat-ID: 7411
Engels, Gregor, Rupert Gall, Manfred Nagl, and Wilhelm Schäfer. “Software Specification Using Graph Grammars.” Computing 31, no. 4 (1983): 317–46. http://dx.doi.org/10.1007/BF02251236.
LibreCat | DOI
 
[405]
1983 | Journal Article | LibreCat-ID: 7412
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica 9, no. 3 (1983): 235–54. http://dx.doi.org/10.1007/BF00265557.
LibreCat | DOI
 
[404]
1982 | Conference Paper | LibreCat-ID: 7811
Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” In Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 47–62. München/Leipzig: Hanser, 1982.
LibreCat
 
[403]
1982 | Conference Paper | LibreCat-ID: 7812
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 82:254–70, 1982.
LibreCat
 
[402]
1981 | Report | LibreCat-ID: 8184
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
 
[401]
1981 | Report | LibreCat-ID: 8185
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed