Login / Signup
Verifying Requirements Through Mathematical Modelling and Animation.
Edmund Kazmierczak
Philip W. Dart
Leon Sterling
Michael Winikoff
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2000)
Keyphrases
</>
model checking
databases
computer graphics
application specific
search engine
information systems
website
face recognition
similarity measure
data structure
artificial neural networks
user interface
general purpose
user requirements