Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33818| Título: | Components as coalgebras : the refinement dimension |
| Autor(es): | Barbosa, L. S. Sun Meng |
| Palavras-chave: | Software components Refinement Coalgebra |
| Data: | 2006 |
| Editora: | Elsevier 1 |
| Revista: | Theoretical computer science |
| Resumo(s): | 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. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/33818 |
| DOI: | 10.1016/j.tcs.2005.09.072 |
| ISSN: | 0304-3975 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
