@article {BMrio09,
	title = {Bringing Class Diagrams to Life},
	journal = {Innovations in Systems and Software Engineering},
	volume = {6},
	number = {1-2},
	year = {2010},
	pages = {91{\textendash}98},
	publisher = {Springer},
	abstract = {<p>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.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/issej-mb10.pdf},
	author = {Luis Soares Barbosa and M. Sun}
}