This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem...

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.

The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as multi- and many models, language engineering, UML and meta-modeling, experience reports and case studies,...