Skip to main content
SpringerLink
Log in
Book cover

Workshop on Algebraic Methods

Algebraic Methods 1987: Algebraic Methods: Theory, Tools and Applications pp 117–135Cite as

Software specification by behavioural canons

  • Part I Algebraic Specification
  • Conference paper
  • First Online:

  • 135 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 394))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ueber Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen. Dissertation, TU Braunschweig

    Google Scholar 

  2. Ehrig, H. and Weber, H.: Programming in the Large with Algebraic Module Specification. Proc. IFIP-Congress, Dublin 1986, North-Holland.

    Google Scholar 

  3. Gogolla,M., Drosten.K., Lipeck,U., and Ehrich,H.-D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. TCS 34(3), 1984

    Google Scholar 

  4. Giarratana,V., Gimona,F. and Montanari,U.: Observability concepts in abstract data types. In: Proc. MFCS'76, Springer-Verlag, LNCS 45, 1976.

    Google Scholar 

  5. Goguen, J.A.: Parameterized Programming. In: Biggerstaf,T. and Cheatham,T. (eds), Proc. Workshop on Reusability in Programming pp.138–150, ITT, 1983.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. Hussman.H.: Unification in conditional-equational theories. MIP-8502, University of Passau, 1985.

    Google Scholar 

  9. Reichel, H.: Structural induction on partial algebras. Akademie-Verlag, Berlin, 1984.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. Reichel,H.:Narrowing in Partial Algebras.In:Proc.EUROCAL '87, Leipzig, June 1987, Springer-Verlag, LNCS, to appear.

    Google Scholar 

  13. Wirsing, M., Pepper, P., Partsch, H., Dosch, W., and Broy, M.: On hierarchicies of abstract data types. Acta Informatica 20,1–33, 1983

    Article  Google Scholar 

  14. Wolter, U.: The Power of Behavioural Validity, Preprint 1–87, TU Magdeburg, Sektion Mathematik, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik-Zentrum, TU Dresden, Mommsenstrasse 13, DDR-8027, Dresden, German Democratic Republic

    Horst Reichel

Authors
  1. Horst Reichel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Jan A. Bergstra

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation