Incremental Verification of UML/OCL Models.

Robert Clarisó Carlos A. González Jordi Cabot

Published in: J. Object Technol. (2020)

Keyphrases

metamodel
database
object oriented
conceptual models
software engineering
model checking
statistical models
formal methods
case study
learning environment
multi agent systems
probabilistic model
complex systems
database design
life cycle
constraint language