Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings: Lecture Notes in Computer Science, cartea 7041

Complementar volumului Formal Methods and Software Engineering de Karin Breitman, care se concentrează pe scalarea metodelor formale pentru sisteme critice, Software Engineering and Formal Methods extinde aria de aplicabilitate către sustenabilitate. Notăm cu interes includerea unei secțiuni speciale dedicate modelării pentru dezvoltare durabilă, un subiect care diferențiază acest volum de abordările pur tehnice întâlnite în Fundamentals of Software Engineering.

În cadrul acestor lucrări ale conferinței SEFM 2011, observăm o preocupare constantă pentru integrarea metodelor formale în procesele practice de inginerie software. Structura volumului, ce cuprinde 22 de articole riguros evaluate și prezentări de tip keynote, oferă o perspectivă tehnică asupra verificării și specificațiilor formale. Editorii, printre care se numără Gilles Barthe, aduc o rigoare academică specifică, vizibilă și în alte lucrări coordonate de acesta, precum Foundations of Probabilistic Programming sau Engineering Secure Software and Systems. Dacă în acele volume accentul cădea pe probabilități sau securitate, aici accentul este pus pe convergența dintre rigoarea matematică și nevoile industriei software.

Merită menționat că acest volum din seria Lecture Notes in Computer Science nu se rezumă doar la teorie, ci include și „tool papers”, oferind detalii despre instrumentele software concrete dezvoltate pentru a susține metodele formale. Această abordare practică facilitează tranziția de la modelele abstracte la implementări software robuste, un obiectiv central al întregii serii Programming and Software Engineering.