Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers: Lecture Notes in Computer Science, cartea 6486

Recomandăm acest volum cercetătorilor și specialiștilor în informatică teoretică care posedă deja o bază solidă în metode formale și logică matematică. Lucrarea Algebraic Methodology and Software Technology, editată de Michael Johnson și Dusko Pavlovic, sintetizează contribuțiile prezentate la a 13-a ediție a conferinței internaționale AMAST. Structura este riguros organizată, oferind o perspectivă tehnică asupra modului în care specificațiile algebrice pot îmbunătăți fiabilitatea și calitatea proceselor de dezvoltare software. Apreciem în mod deosebit includerea celor patru demonstrații de sistem, care fac trecerea de la conceptele abstracte la aplicații practice, tangibile. Ca și Till Mossakowski în Recent Trends in Algebraic Development Techniques, autorii distilează experiență reală în principii acționabile, axându-se pe fundamentele specificațiilor și modelele de procese concurente. Volumul nu se limitează la teorie pură, ci explorează validarea sistemelor prin metode riguroase, fiind un reper pentru cei care urmăresc evoluția ingineriei software bazate pe fundament matematic în cadrul seriei Lecture Notes in Computer Science.