UML Model Refactoring as Refinement: A Coalgebraic Perspective.

Luís Soares Barbosa Sun Meng

Published in: SYNASC (2008)

Keyphrases

formal model
probabilistic model
statistical model
case study
management system
computational model
theoretical framework
metamodel
finite state machines
neural network
information systems
viewpoint
theoretical analysis
mathematical model
experimental data
state machine