Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example.

Julien Signoles

Published in: F-IDE (2015)

Keyphrases

software architecture
static analysis
software engineering
open source
distributed systems
decision support
databases
description language
functional requirements