What Use is Verified Software?

Published in: ICECCS (2007)

Keyphrases

software development
software tools
software package
databases
hardware design
software systems
data sets
control system
computer systems
user interface
life cycle
software components
software projects
artificial intelligence
modeling language
genetic algorithm
software application