Traceability and impact analysis in requirement verification.

Lena Buffoni Adrian Pop Alachew Mengist

Published in: EOOLT (2017)

Keyphrases

impact analysis
life cycle
dependency analysis
source code
software development
change impact analysis
model checking
software architecture
signaling pathways
bayesian networks
software systems