Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36197Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Meng, Sun | por |
| dc.contributor.author | Barbosa, L. S. | por |
| dc.date.accessioned | 2015-07-16T13:45:26Z | - |
| dc.date.available | 2015-07-16T13:45:26Z | - |
| dc.date.issued | 2004 | - |
| dc.identifier.isbn | 3540223819 | por |
| dc.identifier.issn | 0302-9743 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/36197 | - |
| dc.description | 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings | por |
| dc.description.abstract | 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. | por |
| dc.language.iso | eng | por |
| dc.publisher | Springer | por |
| dc.rights | openAccess | por |
| dc.subject | Components | por |
| dc.subject | Refinement | por |
| dc.subject | Coalgebraic models | por |
| dc.title | On refinement of generic state-based software components | por |
| dc.type | bookPart | por |
| dc.peerreviewed | yes | por |
| dc.comments | 1329 | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 506 | por |
| oaire.citationEndPage | 520 | por |
| oaire.citationConferencePlace | Stirling, Scotland, UK | por |
| oaire.citationTitle | Lecture Notes in Computer Science | por |
| oaire.citationVolume | 3116 | por |
| dc.publisher.uri | Springer | por |
| dc.identifier.doi | 10.1007/978-3-540-27815-3_38 | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Lecture Notes in Computer Science | por |
| sdum.conferencePublication | Lecture Notes in Computer Science | por |
| Aparece nas coleções: | ||
