Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/20271
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Martins, Manuel A. | - |
dc.contributor.author | Madeira, A. | - |
dc.contributor.author | Barbosa, L. S. | - |
dc.date.accessioned | 2012-09-19T10:41:08Z | - |
dc.date.available | 2012-09-19T10:41:08Z | - |
dc.date.issued | 2009 | - |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | https://hdl.handle.net/1822/20271 | - |
dc.description.abstract | Refinement by interpretation replaces signature morphisms by logic interpretations as a means to translate specifications and witness refinements. The approach was recently introduced by the authors [13] in the context of equational specifications, in order to capture a number of relevant transformations in software design, reuse and adaptation. This paper goes a step forward and discusses the generalization of this idea to deductive systems of arbitrary dimension. This makes possible, for example, to refine sentential into equational specifications and the latter into modal ones. Moreover, the restriction to logics with finitary consequence relations is dropped which results in increased flexibility along the software development process. | por |
dc.description.sponsorship | UA -Universidade de Aveiro(SFRH/BDE/33650/2009) | por |
dc.language.iso | eng | por |
dc.publisher | Elsevier 1 | por |
dc.relation | info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302/PT | - |
dc.rights | openAccess | por |
dc.subject | Refinement | por |
dc.subject | Algebraic specification | por |
dc.subject | Logic interpretation | por |
dc.title | Refinement by interpretation in a general setting | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://dx.doi.org/10.1016/j.entcs.2009.12.020 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 105 | por |
oaire.citationEndPage | 121 | por |
oaire.citationIssue | C | por |
oaire.citationTitle | Electronic Notes in Theoretical Computer Science | por |
oaire.citationVolume | 259 | por |
dc.identifier.doi | 10.1016/j.entcs.2009.12.020 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Electronic Notes in Theoretical Computer Science | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Refine09-MMB.pdf | 339,38 kB | Adobe PDF | Ver/Abrir |