Bringing class diagrams to life

Backhouse RC, Hoogendijk PF (1993) Elements of a relational theory of datatypes. In: Möller B, Partsch H, Schuman S (eds) Formal program development, pp 7–42. Springer lecture notes in computer science, vol 755

Barbosa LS, Oliveira JN, Silva AM (2008) Calculating invariants as coreflexive bisimulations. In: Meseguer J, Rosu G (eds) Proceedings of the 12th international conference on algebraic methodology and software technology, AMAST 2008, Urbana, IL, USA, July 28–31, 2008, pp 83–99. Springer lecture notes in computer science, vol 5140

Barbosa LS, Sun M (2008) UML model refactoring as refinement: a coalgebraic perspective. In: Negru V, Jebelean T, Pectu D, Zaharie D (eds) Proceedings of GlobalComp, at 10th SYNASC, 26–29 September 2008, Timisoara, Romania, pp 340–347. IEEE Computer Society, USA

Bird R, Moor O (1997) The algebra of programming. Series in computer science. Prentice-Hall International, Englewood Cliffs

Cruz A, Barbosa L, Oliveira J (2005) From algebras to objects: generation and composition. J Univers Comput Sci 11(10): 1580–1612

Hoogendijk PF (1996) A generic theory of datatypes. PhD thesis, Department of Computing Science, Eindhoven University of Technology

Jacobs B, Rutten J (1997) A tutorial on (co)algebras and (co)induction. EATCS Bull 62: 222–259

Kock A (1972) Strong functors and monoidal monads. Archiv für Mathematik 23: 113–120

Object Management Group (2007) Unified Modeling Language: Superstructure, version 2.1.1, http://www.uml.org/

Rutten J (2000) Universal coalgebra: a theory of systems. Theor Comp Sci 249(1):3–80. (Revised version of CWI Technical report CS-R9652, 1996)

Sun M, Aichernig BK, Barbosa LS, Naixiao Z (2005) A coalgebraic semantic framework for component based development in UML. In: Birkedal L (ed) Proceedings of the international conference on category theory and computer science (CTCS’04), vol 122. Electronic notes in theoretical computer science. Elsevier, Amsterdam, pp 229–245

Sun M, Barbosa LS (2006) Components as coalgebras: the refinement dimension. Theor Comput Sci 351: 276–294

Sun M, Barbosa LS (2008) A coalgebraic semantic framework for reasoning about UML sequence diagrams. In: Zhu H (ed) Proceedings of the eighth international conference on quality software, QSIC 2008, 12–13 August 2008, Oxford, UK. IEEE Computer Society, USA, pp 17–26

Sun M, Naixiao Z, Barbosa LS (2004) On semantics and refinement of UML statecharts: a coalgebraic view. In: Cuellar J, Liu Z (eds) Proceedings of 2nd IEEE international conference on software engineering and formal methods, Beijing, China, September 2004. IEEE Computer Society Press, USA, pp 164–173