Login / Signup
OthelloPlay: a plug-in based tool for requirement formalization and validation.
Roberto Cavada
Alessandro Cimatti
Andrea Micheli
Marco Roveri
Angelo Susi
Stefano Tonetta
Published in:
TOPI@ICSE (2011)
Keyphrases
</>
multiscale
formal model
software tools
learning algorithm
three dimensional
data structure
information technology
user friendly
formal analysis
analysis tool