Equivalence between executable OOZE and algebraic specification

dc.contributor.author	Palasí Lallana, Vicent Ramon
dc.contributor.other	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned	2016-02-02T14:27:42Z
dc.date.available	2016-02-02T14:27:42Z
dc.date.issued	1994-10
dc.identifier.citation	Palasi, V. "Equivalence between executable OOZE and algebraic specification". 1994.
dc.identifier.uri	http://hdl.handle.net/2117/82435
dc.description.abstract	In this paper two algorithms are presented: one which turns an executable OOZE specification into an algebraic specification and another which does the reverse operation. In this way, we shall be able to prove in a constructive way that executable OOZE and algebraic specification are equivalent and that, generally speaking, state-based specification is equivalent to algebraic specification. We shall discuss whether these results can be made to cover other object-oriented Z dialects.
dc.format.extent	20 p.
dc.language.iso	eng
dc.subject	Àrees temàtiques de la UPC::Informàtica
dc.subject.other	OOZE
dc.subject.other	Algebraic specification
dc.subject.other	State-based specification
dc.title	Equivalence between executable OOZE and algebraic specification
dc.type	External research report
dc.rights.access	Open Access
local.identifier.drac	1904602
dc.description.version	Postprint (published version)
local.citation.author	Palasi, V.

UPCommons. Portal del coneixement obert de la UPC