×

Found 22 Documents (Results 1–22)

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
Full Text: DOI

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
Full Text: DOI

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

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)
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software