Bringing Class Diagrams to Life
- Citation:
- Barbosa LS, Sun M. 2010. Bringing Class Diagrams to Life. Innovations in Systems and Software Engineering. 6(1-2):91–98.
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.
Citation Key:
BMrio09DOI:
10.1007/s11334-009-0118-z
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.