Kreowski, Hans-Jörg; Kuske, Sabine; von Totth, Caroline Combining graph transformation and algebraic specification into model transformation. (English) Zbl 1312.68144 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 193-208 (2012). MSC: 68Q65 68Q42 PDFBibTeX XMLCite \textit{H.-J. Kreowski} et al., Lect. Notes Comput. Sci. 7137, 193--208 (2012; Zbl 1312.68144) Full Text: DOI
Kreowski, Hans-Jörg; Kuske, Sabine Approach-independent structuring concepts for rule-based systems. (English) Zbl 1278.68122 Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 299-311 (2003). MSC: 68Q42 68Q65 PDFBibTeX XMLCite \textit{H.-J. Kreowski} and \textit{S. Kuske}, Lect. Notes Comput. Sci. 2755, 299--311 (2003; Zbl 1278.68122) Full Text: DOI
Ehrig, Hartmut; Kreowski, Hans-Jörg Refinement and implementation. (English) Zbl 0953.68096 Astesiano, E. (ed.) et al., Algebraic foundations of systems specification. Berlin: Springer. IFIP State-of-the-Art Reports. 201-242 (1999). Reviewer: Christina Diakaki (Chania) MSC: 68Q65 68N99 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{H.-J. Kreowski}, in: Algebraic foundations of systems specification. Berlin: Springer. 201--242 (1999; Zbl 0953.68096)
Ehrig, Hartmut; Kreowski, Hans-Jörg; Orejas, Fernando Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors. (English) Zbl 0889.68103 Rev. Mat. Univ. Complutense Madr. 10, No. 2, 365-387 (1997). MSC: 68Q65 68Q60 68N01 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Rev. Mat. Univ. Complutense Madr. 10, No. 2, 365--387 (1997; Zbl 0889.68103) Full Text: EuDML
Kreowski, Hans-Jörg; Mossakowski, Till Equivalence and difference between institutions: simulating Horn clause logic with based algebras. (English) Zbl 0849.68080 Math. Struct. Comput. Sci. 5, No. 2, 189-215 (1995). Reviewer: C.Masalagiu (Iaşi) MSC: 68Q65 03B20 03G30 68N30 PDFBibTeX XMLCite \textit{H.-J. Kreowski} and \textit{T. Mossakowski}, Math. Struct. Comput. Sci. 5, No. 2, 189--215 (1995; Zbl 0849.68080) Full Text: DOI
Ehrig, Hartmut; Kreowski, Hans-Jörg; Orejas, Fernando Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. (English) Zbl 1026.68569 Bull. EATCS 56, 79-85 (1995). MSC: 68Q65 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Bull. EATCS 56, 79--85 (1995; Zbl 1026.68569)
Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Jörg; Parisi-Presicce, Francesco Parallelism and concurrency in high-level replacement systems. (English) Zbl 0749.68045 Math. Struct. Comput. Sci. 1, No. 3, 361-404 (1991). MSC: 68Q42 68Q65 18A30 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Math. Struct. Comput. Sci. 1, No. 3, 361--404 (1991; Zbl 0749.68045) Full Text: DOI
Bidoit, Michel (ed.); Kreowski, Hans-Jörg (ed.); Lescanne, Pierre (ed.); Sannella, Donald (ed.) Algebraic system specification and development. A survey and annotated bibliography. (English) Zbl 0875.68642 Lecture Notes in Computer Science. 501. Berlin etc.: Springer-Verlag. VIII, 98 p. DM 29.50 /sc (1991). MSC: 68Q65 68-02 PDFBibTeX XMLCite \textit{M. Bidoit} (ed.) et al., Algebraic system specification and development. A survey and annotated bibliography. Berlin etc.: Springer-Verlag (1991; Zbl 0875.68642)
Kreowski, Hans-Jörg Mathematical aspects of systems specification. (English) Zbl 0744.68100 Bull. EATCS 44, 144-146 (1991). MSC: 68Q65 68N99 PDFBibTeX XMLCite \textit{H.-J. Kreowski}, Bull. EATCS 44, 144--146 (1991; Zbl 0744.68100)
Kreowski, Hans-Jörg; Qian, Zhenyu Relation-sorted algebraic specifications with built-in coercers: Basic notions and results. (English) Zbl 0729.68046 Theoretical aspects of computer science, Proc. 7th Annu. Symp., STACS ’90, Rouen/Fr. 1990, Lect. Notes Comput. Sci. 415, 165-175 (1990). MSC: 68Q65 PDFBibTeX XML
Ehrig, Hartmut (ed.); Herrlich, Horst (ed.); Kreowski, Hans-Jörg (ed.); Preuss, Gerhard (ed.) Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings. (English) Zbl 0734.68010 Lecture Notes in Computer Science, 393. Berlin etc.: Springer-Verlag. VI, 350 p. DM 52.00 (1989). Reviewer: M.Demlová (Praha) MSC: 68-06 18-06 68Q65 68P05 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings. Berlin etc.: Springer-Verlag (1989; Zbl 0734.68010)
Kreowski, Hans-Jörg Some initial sections of the algebraic-specification tale. (English) Zbl 1030.68562 Bull. EATCS 31, 55-78 (1987). MSC: 68Q65 PDFBibTeX XMLCite \textit{H.-J. Kreowski}, Bull. EATCS 31, 55--78 (1987; Zbl 1030.68562)
Kreowski, Hans-Jörg (ed.) Recent trends in data type specification. 3rd Workshop on Theory and Applications of Abstract Data Types (Bremen, Germany, November 13–16, 1984). Selected papers. (English) Zbl 0578.00008 Informatik-Fachberichte, 116. Berlin etc.: Springer-Verlag. vii, 253 p. DM 42.00 (1985). MSC: 00B25 68-06 PDFBibTeX XML Full Text: DOI
Kreowski, Hans-Jörg; Schmidt, Heinz Wilhelm Some algebraic concepts of the specification language SEGRAS and their initial semantics. (English) Zbl 0542.68010 GMD-Stud. 93, 26 p. (1984). MSC: 68P05 68Q85 PDFBibTeX XML
Ehrig, H.; Kreowski, H.-J. Compatibility of parameter passing and implementation of parameterized data types. (English) Zbl 0553.68015 Theor. Comput. Sci. 27, 255-286 (1983). MSC: 68P05 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{H. J. Kreowski}, Theor. Comput. Sci. 27, 255--286 (1983; Zbl 0553.68015) Full Text: DOI
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef Transformations of structures: An algebraic approach. (English) Zbl 0491.68035 Math. Syst. Theory 14, 305-334 (1981). MSC: 68Q65 68Q60 68Q45 68Q70 18B20 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Math. Syst. Theory 14, 305--334 (1981; Zbl 0491.68035) Full Text: DOI
Ehrig, H.; Kreowski, H.-J.; Padawitz, P. Algebraic implementation of abstract data types: Concept, syntax, semantics and correctness. (English) Zbl 0457.68019 Automata, languages and programming, 7th Colloq., Noordwijkerhout/ Netherlands 1980, Lect. Notes Comput. Sci. 85, 142-156 (1980). MSC: 68P05 PDFBibTeX XML
Ehrig, Hartmut; Kreowski, Hans-Jörg; Thatcher, James; Wagner, Eric; Wright, Jesse Parameterized data types in algebraic specification languages (short version). (English) Zbl 0456.68101 Automata, languages and programming, 7th Colloq., Noordwijkerhout/ Netherlands 1980, Lect. Notes Comput. Sci. 85, 157-168 (1980). MSC: 68Q55 68P05 PDFBibTeX XML
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. Compound algebraic implementations: An approach to stepwise refinement of software systems. (English) Zbl 0442.68016 Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 231-245 (1980). MSC: 68N99 68P05 PDFBibTeX XML
Ehrig, Hartmut; Kreowski, Hans-Jörg Pushout-properties: An analysis of gluing constructions for graphs. (English) Zbl 0431.68069 Math. Nachr. 91, 135-149 (1979). MSC: 68Q45 68Q65 18A30 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{H.-J. Kreowski}, Math. Nachr. 91, 135--149 (1979; Zbl 0431.68069) Full Text: DOI
Ehrig, H.; Kreowski, H.-J.; Padawitz, P. Algebraic implementation of abstract data types: An announcement. (English) Zbl 0418.68018 SIGACT News 11, No. 2, 25-29 (1979). MSC: 68P05 PDFBibTeX XML
Ehrig, H.; Kreowski, H.-J.; Padawitz, P. Algebraic implementation of abstract data types: concept, syntax, semantics and correctness. (English) Zbl 0412.68018 Ber., Tech. Univ. Berlin, Fachbereich Inf., Inst. Software Theor. Inf. 23, 23 P. (1979). MSC: 68P05 PDFBibTeX XML