Sciweavers

IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
14 years 5 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek