Concurrent Object-Oriented Design Specification in SPECTRUM

  title={Concurrent Object-Oriented Design Specification in SPECTRUM},
  author={Martin Wirsing and Friederike Nickl and Ulrike Lechner},
In this paper an algebraic approach to formal object-oriented design specification is presented where the static and functional part of a software system is described by classical algebraic specification whereas the dynamic behavior is modeled by a transition relation. The approach is inspired by Astesiano’s SMoLCS formalism and is based on Meseguer’s rewriting logic; but it has two additional features, which are motivated by pragmatic objectoriented software development techniques: it supports… CONTINUE READING


Publications referenced by this paper.
Showing 1-7 of 7 references


R. Haggenmüller
Wirsing: Methoden der Software-Entwicklung. Vorlesungsausarbeitung, Institut für Informatik, Universität München • 1994

M.Wirsing: An object-oriented airport

U. Lechner, C. Lengauer
To appear in: Proc. 10th ADT Workshop, • 1994


ÖM. Bidoit
Choppy (eds.): Recent Trends in Data Type Specification, LNCS 655 • 1993

Similar Papers

Loading similar papers…