Sign in

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