By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthd

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. Th

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Forma

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for t