Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/20283
Título: | Bringing class diagrams to life |
Autor(es): | Barbosa, L. S. Sun, Meng |
Palavras-chave: | UML class diagrams Coalgebraic semantics Coalgebraic modeling |
Data: | 2010 |
Editora: | Springer |
Revista: | Innovations Systems and Software Engineering |
Resumo(s): | 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. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/20283 |
DOI: | 10.1007/s11334-009-0118-z |
ISSN: | 1614-5046 1614-5054 |
Versão da editora: | http://www.springerlink.com/ |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
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 |