Applying a Model Checker to Check Regulatory Compliance of Use Case Models.

Motoshi Saeki Haruhiko Kaiya Satoshi Hattori

Published in: CAiSE Forum (2009)

Keyphrases

model checker
formal methods
genetic algorithm
general purpose
fuzzy sets
orders of magnitude