Modeling and Validating Requirements Using Executable Cotnracts and Scenarios.

Dave Arnold Jean-Pierre Corriveau Wei Shi

Published in: SERA (2010)

Keyphrases

real time systems
real world
social networks
similarity measure
multiscale
digital libraries
wireless sensor networks
model checking
formal specification
user requirements