Towards UML-RT Behavioural Consistency.

Kawtar Benghazi Akhlaki Manuel I. Capel Tuñón Juan Antonio Holgado Terriza Luis E. Mendoza Morales

Published in: ICEIS (3) (2007)

Keyphrases

unified modeling language
database design
object oriented
software engineering
software systems
formal methods
conceptual modeling
genetic algorithm
data model
global consistency
uml models
software development
modeling language
constraint networks
specification language
state machine