This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.

The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development...

This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2014.
The 23 papers presented were carefully reviewed and selected from 89 submissions. The REFSQ conference is organised as a three-day symposium with two days devoted to scientific papers presentation with a one-day industry track in-between. Both the industry and scientific presentations concern a variety of topics, which shows the liveliness of the requirements engineering domain. These...