An Investigation of the Approach to Specification-Based Program Review through Case Studies.

Fumiko Nagoya Shaoying Liu Yuting Chen

Published in: ICECCS (2004)

Keyphrases

case study
literature review
lessons learned
control program
design process
real world
genetic algorithm
programming environment
databases
search engine
high level
knowledge management
test cases
formal specification
control flow
detailed descriptions