On refinement of generic state-based software components

Detalhes bibliográficos
Autor(a) principal: Meng, Sun
Data de Publicação: 2004
Outros Autores: Barbosa, L. S.
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: http://hdl.handle.net/1822/36197
Resumo: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
id RCAP_5564fabfa7d301faed903179ffeae98f
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/36197
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling On refinement of generic state-based software componentsComponentsRefinementCoalgebraic modelsScience & Technology10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. ProceedingsThis 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.SpringerSpringerUniversidade do MinhoMeng, SunBarbosa, L. S.20042004-01-01T00:00:00Zbook partinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/36197eng35402238190302-974310.1007/978-3-540-27815-3_38info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T06:54:03Zoai:repositorium.sdum.uminho.pt:1822/36197Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T16:08:20.825909Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv On refinement of generic state-based software components
title On refinement of generic state-based software components
spellingShingle On refinement of generic state-based software components
Meng, Sun
Components
Refinement
Coalgebraic models
Science & Technology
title_short On refinement of generic state-based software components
title_full On refinement of generic state-based software components
title_fullStr On refinement of generic state-based software components
title_full_unstemmed On refinement of generic state-based software components
title_sort On refinement of generic state-based software components
author Meng, Sun
author_facet Meng, Sun
Barbosa, L. S.
author_role author
author2 Barbosa, L. S.
author2_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Meng, Sun
Barbosa, L. S.
dc.subject.por.fl_str_mv Components
Refinement
Coalgebraic models
Science & Technology
topic Components
Refinement
Coalgebraic models
Science & Technology
description 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
publishDate 2004
dc.date.none.fl_str_mv 2004
2004-01-01T00:00:00Z
dc.type.driver.fl_str_mv book part
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/36197
url http://hdl.handle.net/1822/36197
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 3540223819
0302-9743
10.1007/978-3-540-27815-3_38
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
Springer
publisher.none.fl_str_mv Springer
Springer
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595758660550656

Registros relacionados