Advertisement

Software specification by behavioural canons

  • Horst Reichel
Part I Algebraic Specification
  • 117 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 394)

Keywords

Operational Semantic Forgetful Functor Partial Algebra Abstract Data Type Conditional Equation 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Dro 88]
    Ueber Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen. Dissertation, TU BraunschweigGoogle Scholar
  2. [EW 86]
    Ehrig, H. and Weber, H.: Programming in the Large with Algebraic Module Specification. Proc. IFIP-Congress, Dublin 1986, North-Holland.Google Scholar
  3. [GDLH 84]
    Gogolla,M., Drosten.K., Lipeck,U., and Ehrich,H.-D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. TCS 34(3), 1984Google Scholar
  4. [GGM 76]
    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. [Gog 83]
    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. [GM 82]
    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. [HKR 80]
    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. [Hus 85]
    Hussman.H.: Unification in conditional-equational theories. MIP-8502, University of Passau, 1985.Google Scholar
  9. [Rei 84]
    Reichel, H.: Structural induction on partial algebras. Akademie-Verlag, Berlin, 1984.Google Scholar
  10. [Rei 85]
    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. [Rei 86]
    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. [Rei 87]
    Reichel,H.:Narrowing in Partial Algebras.In:Proc.EUROCAL '87, Leipzig, June 1987, Springer-Verlag, LNCS, to appear.Google Scholar
  13. [W...83]
    Wirsing, M., Pepper, P., Partsch, H., Dosch, W., and Broy, M.: On hierarchicies of abstract data types. Acta Informatica 20,1–33, 1983CrossRefGoogle Scholar
  14. [Wol 87]
    Wolter, U.: The Power of Behavioural Validity, Preprint 1–87, TU Magdeburg, Sektion Mathematik, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Horst Reichel
    • 1
  1. 1.Informatik-ZentrumTU DresdenDresdenGerman Democratic Republic

Personalised recommendations