This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the
Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code q
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in thi