Felix Bachmann, Len Bass, Paul Clements, David Garlan, James Ivers, M. Little, Paulo Merson, Robert Nord & Judith Stafford (2010):
Documenting Software Architectures: Views and Beyond,
second edition.
Addison-Wesley Professional.
http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=30386.
Len Bass, Paul Clements & Rick Kazman (2012):
Software Architecture in Practice (3d Edition).
Addison-Wesley Professional.
http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=30264.
Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché, Benjamin Monate, Yannick Moy & Virgile Prevosto (2015):
ACSL: ANSI/ISO C Specification Language. Version 1.9.
http://frama-c.com/download/acsl_1.9.pdf.
Loïc Correnson & Julien Signoles (2012):
Combining Analysis for C Program Verification.
In: Formal Methods for Industrial Critical Systems (FMICS),
doi:10.1007/978-3-642-32469-7_8.
Pascal Cuoq, David Delmas, Stéphane Duprat & Victoria Moya Lamiel (2012):
Fan-C, a Frama-C plug-in for data flow verification.
In: Embedded Real Time Software and Systems (ERTSS).
http://web1.see.asso.fr/erts2012/Site/0P2RUC89/5C-3.pdf.
Pascal Cuoq & Julien Signoles (2009):
Experience Report: OCaml for an industrial-strength static analysis framework.
In: Proceedings of International Conference of Functional Programming (ICFP'09).
ACM Press,
New York, NY, USA,
pp. 281–286,
doi:10.1145/1631687.1596591.
Pascal Cuoq, Boris Yakobowski & Virgile Prevosto (2015):
Frama-C's value analysis plug-in.
\voidb@x http://frama-c.cea.fr/download/value-analysis.pdf.
Mickaël Delahaye, Nikolai Kosmatov & Julien Signoles (2013):
Common Specification Language for Static and Dynamic Analysis of C Programs.
In: Symposium on Applied Computing (SAC'13).
ACM,
pp. 1230–1235,
doi:10.1145/2480362.2480593.
David Delmas, Stéphane Duprat, Victoria Moya Lamiel & Julien Signoles (2010):
Taster, a Frama-C plug-in to encode Coding Standards.
In: Embedded Real Time Software and Systems (ERTSS).
http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0003_final.pdf.
Ralph E. Johnson & Brian Foote (1988):
Designing Reusable Classes.
Journal of Object-Oriented Programming 1(2),
pp. 22–35.
http://www.cse.msu.edu/~cse870/Input/SS2002/MiniProject/Sources/DRC.pdf.
Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles & Boris Yakobowski (2015):
Frama-C: A Software Analysis Perspective.
Formal Aspects of Computing,
pp. 1–37,
doi:10.1007/s00165-014-0326-7.
George C. Necula, Scott McPeak, Shree Prakash Rahul & Westley Weimer (2002):
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.
In: CC '02: Proceedings of the 11th International Conference on Compiler Construction.
Springer-Verlag,
London, UK,
pp. 213–228,
doi:10.1007/3-540-45937-5_16.
Julien Signoles (2009):
Foncteurs impératifs et composés: la notion de projet dans Frama-C.
In: Hermann: Journées Francophones des Langages Applicatifs,
Studia Informatica Universalis 7.2,
pp. 245–280.
In French. http://www-ist.cea.fr/publicea/exl-doc/200800005272.pdf.
Julien Signoles (2011):
Une bibliothèque de typage dynamique en OCaml.
In: Hermann: Journées Francophones des Langages Applicatifs,
Studia Informatica Universalis,
pp. 209–242.
In French. http://studia.complexica.net/Art/AC-JFLA11-08.pdf.