Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33818Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Barbosa, L. S. | por |
| dc.contributor.author | Sun Meng | por |
| dc.date.accessioned | 2015-02-12T12:18:47Z | - |
| dc.date.available | 2015-02-12T12:18:47Z | - |
| dc.date.issued | 2006 | - |
| dc.identifier.issn | 0304-3975 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/33818 | - |
| dc.description.abstract | This paper characterizes refinement of state-based software components modeled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as astrong monad. This provides a basis to reason about (and transform) state-based software designs. In particular it is shown how refinement can be applied to the development of the inequational subset of a calculus of generic software components. | por |
| dc.language.iso | eng | por |
| dc.publisher | Elsevier 1 | por |
| dc.rights | openAccess | por |
| dc.subject | Software components | por |
| dc.subject | Refinement | por |
| dc.subject | Coalgebra | por |
| dc.title | Components as coalgebras : the refinement dimension | por |
| dc.type | article | por |
| dc.peerreviewed | yes | por |
| dc.comments | 1337 | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 276 | por |
| oaire.citationEndPage | 294 | por |
| oaire.citationIssue | 2 | por |
| oaire.citationTitle | Theoretical computer science | por |
| oaire.citationVolume | 351 | por |
| dc.identifier.doi | 10.1016/j.tcs.2005.09.072 | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Theoretical computer science | por |
| Aparece nas coleções: | ||
