Formal Semantics and Verification Of Use Case Maps
Autor:
Jameleddine Hassine
This book proposes a novel methodology combining the semi-formal scenario-based Use Case Maps (UCM) language with formal techniques to help comprehend, validate and verify requirements. Use Case Ma...
Książka