Use of Static Code Analysis to Support the Safety Certification of Airborne Software.

Richard Granville Keith Harrison

Published in: SSS (1998)

Keyphrases

static analysis
source code
dynamic analysis
software development
analysis tool
database systems
software systems
web services
user interface
infrared