Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33859
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2015-02-13T13:24:13Z | - |
dc.date.available | 2015-02-13T13:24:13Z | - |
dc.date.issued | 2003 | - |
dc.identifier.issn | 0948-695X | - |
dc.identifier.issn | 0948-6968 | - |
dc.identifier.uri | https://hdl.handle.net/1822/33859 | - |
dc.description.abstract | This paper introduces a calculus of state-based software components modelled as concrete coalgebras for some Set endofunctors, with specified initial conditions. The calculus is parametrized by a notion of behaviour, introduced as a strong (usually commutative) monad. The proposed component model and calculus are illustrated through the characterisation of a particular class of components, classified as separable, which includes the ones arising in the so-called model oriented approach to systems’ design. | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.subject | Software components | por |
dc.subject | Coalgebra | por |
dc.subject | Semantics | por |
dc.title | Towards a calculus of state-based software components | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.comments | 1326 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 891 | por |
oaire.citationEndPage | 909 | por |
oaire.citationIssue | 8 | por |
oaire.citationTitle | Journal of universal computer science | por |
oaire.citationVolume | 9 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Journal of universal computer science | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |