Search Results

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

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without ve

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

In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November