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

@inproceedings{Signoles2015SoftwareAO,
  title={Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example},
  author={Julien Signoles},
  booktitle={F-IDE},
  year={2015}
}
Implementing large software, as software analyzers which aim to be used in industrial settings, requires a well-engineered software architecture in order to ease its daily development and its maintenance process during its lifecycle. If the analyzer is not only a single tool, but an open extensible collaborative framework in which external developers may develop plug-ins collaborating with each other, such a well designed architecture even becomes more important. In this experience report, we… Expand

References

SHOWING 1-10 OF 30 REFERENCES
Frama-C: A software analysis perspective
Software architecture in practice
Foncteurs impératifs et composés: la notion de projets dans Frama-C
Documenting software architectures: views and beyond
...
1
2
3
...