A Software Safety Verification Method Based on System-Theoretic Process Analysis.

Asim Abdulkhaleq Stefan Wagner

Published in: SAFECOMP Workshops (2014)

Keyphrases

development process
verification method
genetic algorithm
software development
static analysis
data mining
information systems
statistical analysis
database
databases
expert systems
process model
data acquisition
software maintenance