An Empirical Study on a Specification-Based Program Review Approach.

Fumiko Nagoya Yuting Chen Shaoying Liu

Published in: DepCoS-RELCOMEX (2006)

Keyphrases

high level
literature review
real time
e learning
user defined
database
databases
machine learning
genetic algorithm
artificial intelligence
database systems
evolutionary algorithm
formal specification
program execution