Behavioral Verification of UML2.0/PoSM Components.

Taoufik Sakka Rouis Mohamed Tahar Bhiri Mourad Kmimech

Published in: SoMeT (2016)

Keyphrases

formal methods
model checking
database design
data model
object oriented
conceptual modeling
formal verification
database
human behavior
face verification
uml diagrams
class diagram