Bringing class diagrams to life

doi:10.1007/s11334-009-0118-z

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/20283

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Barbosa, L. S.	-
dc.contributor.author	Sun, Meng	-
dc.date.accessioned	2012-09-19T16:17:35Z	-
dc.date.available	2012-09-19T16:17:35Z	-
dc.date.issued	2010	-
dc.identifier.issn	1614-5046	-
dc.identifier.issn	1614-5054	-
dc.identifier.uri	https://hdl.handle.net/1822/20283	-
dc.description.abstract	Research in formal methods emphasizes a funda- mental interconnection between modeling, calculation and prototyping, made possible by a common unambiguous, mathematical semantics. This paper, building on a broader research agenda on coalgebraic semantics for Unified Modeling Language diagrams, concentrates on class diagrams and discusses how such a coalgebraic perspective can be of use not only for formalizing their specification, but also as a basis for prototyping.	por
dc.description.sponsorship	This research was partially supported by a grant from the GLANCE funding program of NWO, through project CooPer (600.643.000.05N12), aswell as by Fct (the Portuguese Foundation for Science and Technology) under contract PTDC/EIA/73252/2006.	por
dc.language.iso	eng	por
dc.publisher	Springer	por
dc.rights	openAccess	por
dc.subject	UML class diagrams	por
dc.subject	Coalgebraic semantics	por
dc.subject	Coalgebraic modeling	por
dc.title	Bringing class diagrams to life	por
dc.type	article	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	http://www.springerlink.com/	por
sdum.publicationstatus	published	por
oaire.citationStartPage	91	por
oaire.citationEndPage	98	por
oaire.citationIssue	1-2	por
oaire.citationTitle	Innovations Systems and Software Engineering	por
oaire.citationVolume	6	por
dc.identifier.doi	10.1007/s11334-009-0118-z	por
dc.subject.wos	Science & Technology	por
sdum.journal	Innovations Systems and Software Engineering	por
Aparece nas coleções:	HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
ISSEJ-MB10.pdf	preprint	259,21 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics