Correctness as a Relative Gradual Software Property.

Mark Burgin Narayan C. Debnath

Published in: SEDE (2006)

Keyphrases

software maintenance
software systems
software projects
software development
database
real time
data sets
neural network
information retrieval
computer vision
decision making
computer systems
development process
software tools