Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Ueber Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen. Dissertation, TU Braunschweig
Ehrig, H. and Weber, H.: Programming in the Large with Algebraic Module Specification. Proc. IFIP-Congress, Dublin 1986, North-Holland.
Gogolla,M., Drosten.K., Lipeck,U., and Ehrich,H.-D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. TCS 34(3), 1984
Giarratana,V., Gimona,F. and Montanari,U.: Observability concepts in abstract data types. In: Proc. MFCS'76, Springer-Verlag, LNCS 45, 1976.
Goguen, J.A.: Parameterized Programming. In: Biggerstaf,T. and Cheatham,T. (eds), Proc. Workshop on Reusability in Programming pp.138–150, ITT, 1983.
Goguen, J.A. and Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. In: Proc. ICALP '82, Springer-Verlag, LNCS 140, 265–281, 1982.
Hupbach,U.L., Kaphengst,H. and Reichel,H.:Initial specification of abstract data types, parameterized data types and algorithms, VEB Robotron, ZFT Dresden, Techn.Rep.WIB 15, 1980.
Hussman.H.: Unification in conditional-equational theories. MIP-8502, University of Passau, 1985.
Reichel, H.: Structural induction on partial algebras. Akademie-Verlag, Berlin, 1984.
Reichel, H.: Behavioural validity of conditional equations in abstract data types. In: Contributions to General Algebra 3, Proc. Vienna Conf., June 1984, Verlag Hoelder-Pichler-Tempsky, Wien, 1985.
Reichel,H.: Behavioural Programm Specification. In: Category Theory and Computer Programming. Pitt,D., Abramsky,S., Poigne,A. and Rydeheard,D. (eds), Springer-Verlag, LNCS, 240, 1986.
Reichel,H.:Narrowing in Partial Algebras.In:Proc.EUROCAL '87, Leipzig, June 1987, Springer-Verlag, LNCS, to appear.
Wirsing, M., Pepper, P., Partsch, H., Dosch, W., and Broy, M.: On hierarchicies of abstract data types. Acta Informatica 20,1–33, 1983
Wolter, U.: The Power of Behavioural Validity, Preprint 1–87, TU Magdeburg, Sektion Mathematik, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reichel, H. (1989). Software specification by behavioural canons. In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015038
Download citation
DOI: https://doi.org/10.1007/BFb0015038
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51698-9
Online ISBN: 978-3-540-46758-8
eBook Packages: Springer Book Archive