Verification and validation in an iterative software development environment.

Darrell F. Oresky Christine Haapala

Published in: RSP (1993)

Keyphrases

software development environment
development environment
software development
software engineers
model checking
software engineering
formal verification
artificial intelligence
e learning
information technology
object oriented