Login / Signup
Formal Requirements Capturing using VRS system.
Alexander A. Letichevsky
Alexander Kolchin
Oleksandr Letychevskyy Jr.
Stepan Potiyenko
Vladislav A. Volkov
Thomas Weigert
Published in:
WING@ETAPS/IJCAR (2010)
Keyphrases
</>
formal model
requirements specification
user requirements
computer vision
database
formal specification
application specific
formal representation
functional requirements
formal analysis
general purpose
distributed systems
formal methods
similarity measure
real time systems
metadata
neural network