|
Universidade do Minho - Repositório Institucional >
Escola de Engenharia da Universidade do Minho | School of Engineering of the University of Minho >
Departamento de Informática | Centro de Ciências e Tecnologias da Computação >
DI/CCTC - Artigos (papers) >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1822/6298
|
| Title: | From algebras to objects : generation and composition |
| Authors: | Cruz, A. Miguel
Barbosa, L. S.
Oliveira, José Nuno Fonseca |
| Keywords: | Software formal specification
Object-orientation
Object composition |
| Issue date: | 2005 |
| Publisher: | Know-Center, Graz, Austria |
| Citation: | “Journal of Universal Computer Science.” ISSN 0948-69x. 11:10 (2005) 1580-1612. |
| Abstract: | 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. |
| Type: | article |
| URI: | http://hdl.handle.net/1822/6298 |
| ISSN: | 0948-69x
0948-6968 |
| Publisher version: | http://www.jucs.org |
| Appears in Collections: | DI/CCTC - Artigos (papers)
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
