%0 Journal Article
%J Journal of Universal Computer Science
%D 2005
%T From Algebras to Objects: Generation and Composition
%A A. Cruz
%A Luis Soares Barbosa
%A José Nuno Oliveira
%P 1580–1612
%R 10.3217/jucs-011-10-1580
%V 11
%X <p>This paper addresses objectification, a formal specification technique which inspects the potential for object-orientation of a declarative model and brings the 'implicit objects' explicit. Criteria for such objectification are formalized and implemented in a runnable prototype tool which embeds Vdm-sl into Vdm++. The paper also includes a quick presentation of a (coinductive) calculus of such generated objects, framed as generalised Moore machines.</p>
%> https://haslab.uminho.pt/sites/default/files/jno/files/jucs_11_10_1580_1612_cruz_lsb.pdf