Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6255

Adresat cercetătorilor avansați și practicienilor din domeniul ingineriei software formale, acest volum colectează contribuțiile de vârf prezentate la cel de-al șaptelea colocviu internațional Theoretical Aspects of Computing. Observăm o rigoare academică deosebită în selecția celor 23 de lucrări, extrase dintr-un total de 68 de propuneri, ceea ce garantează o densitate informațională ridicată pentru specialiștii care dezvoltă sisteme critice. Dacă Programming Concepts and Methods PROCOMET '98 de David Gries v-a oferit cadrul teoretic fundamental pentru descrierea conceptelor de programare, această lucrare oferă instrumentele practice și metodologiile actualizate necesare pentru verificarea software-ului modern.

Structura volumului este organizată strategic pentru a acoperi întregul spectru al informaticii teoretice. Subliniem prezența unor secțiuni dedicate gramaticilor și semanticii, unde sunt explorate modele pentru limbajul Orc și extensiile limbajului XML. O atenție deosebită este acordată secțiunii speciale de testare formală, unde descoperim studii de caz aplicate pe platforme de stocare Flash și implementări MPI pentru sisteme MP-SoC. Progresia conținutului, de la algebră de programe la sisteme de dovezi eterogene precum TLA+, indică o acoperire completă a metodelor de verificare. Editarea realizată de Ana Cavalcanti și Jim Woodcock asigură coerența între abordările pur matematice și aplicațiile lor în modelarea sistemelor de fabricație sau a fluxurilor de materiale.