Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36197| Título: | On refinement of generic state-based software components |
| Autor(es): | Meng, Sun Barbosa, L. S. |
| Palavras-chave: | Components Refinement Coalgebraic models |
| Data: | 2004 |
| Editora: | Springer |
| Revista: | Lecture Notes in Computer Science |
| Resumo(s): | This paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs. |
| Tipo: | Capítulo de livro |
| Descrição: | 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings |
| URI: | https://hdl.handle.net/1822/36197 |
| ISBN: | 3540223819 |
| DOI: | 10.1007/978-3-540-27815-3_38 |
| ISSN: | 0302-9743 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
