The proceedings of the workshops have been published in the Lecture Notes in Computer Science series and are available online.
2nd International Workshop on Behavioural Types. Behavioural type theory is being used as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, session types, contracts, and choreography. As a unifying structural principle it has the potential to transform the theory and practice of distributed software development.
This workshop forms part of the activity of COST Action IC1201. It is an open workshop, not limited to participants in the COST Action. Its aim is to bring together researchers in all aspects of behavioural type theory and its applications, as well as software developers and end-users of large-scale distributed systems.
software engineering(NATO Science Conference, Garmisch, 1968) itself. In many engineering-based application areas, such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge (abbreviated as BOK). The purpose of the Workshop is to bring together practitioners and researchers in this area and to that end.
State-of-the-art OSS, by the very nature of its open, unconventional, distributed development model, makes software quality assessment particularly hard to achieve and raises important challenges both from the technical/methodological and the managerial points of view. In addition, the multifaceted aspects of the OSS communities require an expansion of the typical certification process, that would take into account, not only technical, but also social, psychological, and educational aspects at individual and community level.
In such a context, the aim of this workshop is to bring together researchers from Academia and Industry who are broadly interested in (a) the quality assessment of OSS projects, and (b) metrics, procedures, and tools that could be useful in assessing and qualifying individual participation and collaboration patterns in OSS communities.