Metodi formali
In ingegneria informatica e ingegneria del software, i metodi formali sono un insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware.[1] L'impiego di metodi formali nella progettazione di software e hardware è motivato dall'assunzione che, come avviene in altre discipline ingegneristiche, lo svolgersi di una corretta analisi matematica contribuisca a rendere la progettazione più robusta e affidabile.[2]
I metodi formali sono solitamente descritti come l'applicazione di una gran varietà di fondamenti di informatica, in particolare il calcolo logico, i linguaggi formali, la teoria degli automi e la semantica dei programmi, a problemi di specifica e verifica di software e hardware.[3]
Note[modifica | modifica wikitesto]
- ^ (EN) R. W. Butler, What is Formal Methods?, su shemesh.larc.nasa.gov, 6 agosto 2001. URL consultato il 16 novembre 2006.
- ^ (EN) C. Michael Holloway, Why Engineers Should Consider Formal Methods (PDF), 16th Digital Avionics Systems Conference (27–30 October 1997). URL consultato il 16 novembre 2006 (archiviato dall'url originale il 16 novembre 2006).
- ^ Monin, pp.3-4.
Bibliografia[modifica | modifica wikitesto]
- Jonathan P. Bowen and Michael G. Hinchey, Formal Methods. In Allen B. Tucker, Jr. (ed.), Computer Science Handbook, 2nd edition, Section XI, Software Engineering, Chapter 106, pages 106-1 – 106-25, Chapman & Hall / CRC Press, Association for Computing Machinery, 2004.
- Hubert Garavel (editor) and Susanne Graf. https://www.bsi.bund.de/SharedDocs/DE/Publikationen/Studien/formal_methods_study_875/study_875.html[collegamento interrotto]. Bundesamt für Sicherheit in der Informationstechnik, BSI study 875, Bonn, Germany, December 2013.
- Hubert Garavel, Maurice H. ter Beek e Jaco van de Pol, The 2020 Expert Survey on Formal Methods (PDF), in Formal Methods for Industrial Critical Systems, Formal Methods for Industrial Critical Systems: 25 International Conference, FMICS 2020, Lecture Notes in Computer Science (LNCS), vol. 12327, Springer, 29 agosto 2020, pp. 3–69, DOI:10.1007/978-3-030-58298-2_1, ISBN 978-3-030-58297-5.
- Michael G. Hinchey, Jonathan P. Bowen, and Emil Vassev, Formal Methods. In Philip A. Laplante (ed.), Encyclopedia of Software Engineering, Taylor & Francis, 2010, pages 308–320.
- Marieke Huisman, Dilian Gurov e Alexander Malkis, Formal Methods: From Academia to Industrial Practice – A Travel Guide, 2020.
- Mario Gleirscher e Diego Marmsoler, Formal methods in dependable systems engineering: a survey of professionals from Europe and North America, in Empirical Software Engineering, vol. 25, n. 6, Springer Nature, 9 settembre 2020, pp. 4473–4546, DOI:10.1007/s10664-020-09836-5.
- Jean François Monin e Michael G. Hinchey, Understanding formal methods, Springer, 2003, ISBN 1-85233-247-6.
Altri progetti[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file su metodo formale
Collegamenti esterni[modifica | modifica wikitesto]
- (EN) Formal Methods Europe (FME), su fmeurope.org.
- (EN) Formal methods, su foldoc.org, Foldoc.
- (EN) Formal method, su academic.research.microsoft.com, Microsoft Academic Search (archiviato dall'url originale il 4 aprile 2013).
- (EN) Uso e impatto dei metodi formali nell'industria, su fm4industry.org (archiviato dall'url originale il 13 luglio 2017).
