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: |