Role of Verification in the Software Specification Process.

Marvin V. Zelkowitz

Published in: Adv. Comput. (1993)

Keyphrases

software systems
formal methods
formal verification
data mining
software life cycle
control flow
product quality
development cycle