Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers: Lecture Notes in Computer Science, cartea 6662

În domeniul ingineriei software, capacitatea sistemelor de a se adapta autonom la medii dinamice rămâne una dintre cele mai mari provocări tehnice. Notăm cu interes apariția volumului Foundations of Computer Software, care reunește contribuțiile de elită de la Monterey Workshop 2010. Lucrarea se concentrează pe fundamentele teoretice și tehnicile de dezvoltare necesare pentru a crea sisteme adaptative robuste, capabile să funcționeze în regim de siguranță critică (safety-critical). Dacă Engineering Adaptive Software Systems de Yijun Yu v-a oferit cadrul teoretic general despre sistemele software intensive, acest volum furnizează instrumentele practice și metodele de verificare formală esențiale pentru implementarea lor în industrie.

Abordarea editorilor, printre care se numără și Radu Calinescu, reflectă o continuitate în cercetarea rezilienței și a metodelor formale, teme regăsite și în alte lucrări coordonate de acesta, precum Software Engineering and Formal Methods. Ce diferențiază acest volum este rigoarea procesului de selecție: cele 13 lucrări incluse au fost revizuite minuțios pentru a demonstra cum conceptele de bază pot fi transpuse în aplicații de business-critical, asigurând în același timp securitatea și confidențialitatea datelor. Structura tehnică este susținută de peste 100 de ilustrații, facilitând înțelegerea modelelor de verificare propuse. Recomandăm acest titlu cercetătorilor care doresc să treacă dincolo de arhitecturile software statice către soluții dinamice, capabile de auto-monitorizare și auto-ajustare în timp real.