Abstract
Graphical support for prototyping of algebraic specifications is provided by means of suitable concepts to visualize term structures. Using these concepts, prototyping tools in existing specification systems, based on term rewriting and narrowing techniques can be provided with graphical output.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R.Bardohl, Konzept und Implementierung der Sprache GOT zur graphischen Visualisierung von Termen algebraischer Spezifikationen, Institut für Software und Theoretische Informatik, Forschungsgruppe Formale Spezifikationen, Technische Universität Berlin, Diplomarbeit, 1993
H.Bertling, and H.Ganzinger, Paraphrasing in the PROSPECTRA System, University of Dortmund, in: the Project PROgram development by SPECification and TRAnsformation, Project Ref. No. 390, 1986
M.Bidoit and C.Choppy, ASSPEGIQUE: An integrated environment for alge-braic specification,in: TAPSOFT’85, LNCS 186, pages 246–260, Springer, 1985
J.A.Bergstra, J.Heering, and P.Klint, Algebraic Specification, Frontier Series, ACM Press, Addison—Wesley, New York, 1989
I.Claßen, H.Ehrig, and D.Wolz, Algebraic Specification Techniques and Tools for Software Development — The ACT Approach, vol. 1 of AMAST Series in Computing, World Scientific Publishing, 1993 26
M.Fróhlich, and M.Werner, Anforderungen an das Visualisierungssystem da’Vinci, Universität Bremen, Fachbereich Mathematik & Informatik, Arbeitsgruppe Prof. Krieg—Bruckner, Interner Report, März 1993
J.A. Goguen, Graphical Programming by generic example, in: Steven Kartashev and Svetlana Kartashev, eds.; Proc. 2nd Int. Supercomputing Conf., Vol I, pp 209–216, Int. Supercomputing Inst., Inc. ( St.Petersburg, FL ), 1987
J.A. Goguen and T.Winkler, Introducing OBJ3, Technical Report SRI—CSL88–9, SRI, August 1988
B.W.Kernighan, PIC — A Language for Typesetting Graphics, Bell Laboratories, New Jersey 07974, in: SIGPLAN Symposium on text manipulation, Portland, Oregon, 1981
B.W.Kernighan, Typesetting Mathematics, Tables and Diagrams, Bell Laboratories, Murray Hill, 1982
C.Rieckhoff, Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen,Dissertation D83 am Fachbereich 20 der Technischen Universität Berlin, 1993
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bardohl, R., Claßen, I. (1994). Graphical Support for Prototyping of Algebraic Specifications. In: Wolfinger, B. (eds) Innovationen bei Rechen- und Kommunikationssystemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-51136-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-51136-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58313-4
Online ISBN: 978-3-642-51136-3
eBook Packages: Springer Book Archive