Book of Donmon Teith

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

Software startups make global headlines every day. As technology companies succeed and grow, so do their engineering departments. In your career, you'll may sud

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in Oc

As requirements engineering continues to be recognized as the key to on-time and on-budget delivery of software and systems projects, many engineering programs