Combining Scenario-based Requirements with Static Verification and Dynamic Testing.

Björn Regnell Per Runeson

Published in: REFSQ (1998)

Keyphrases

dynamic analysis
formal verification
model checking
dynamic environments
requirements engineering
dynamic constraints
real world
face verification
databases
computer vision
video sequences
evolutionary algorithm
reverse engineering
formal methods
dynamically changing
dynamic aspects