FM+AM 2012 - Third Workshop on Formal Methods and Agile Methods

There is wide-spread agreement amongst software engineers that Formal Methods (FM) are generally "too slow" in their application, whereas Agile Methods (AM) in their extreme form cannot sufficiently produce the degree of software reliability which is needed, for example, for safety- and industry-critical software systems, including embedded systems in various environments. Consequently it makes sense to search for feasible combinations of "the best of both worlds", with the goal of making the application of FM faster and the application of AM more formally sound. This is the purpose of the workshop FM+AM'12 which is going to be held for the 3rd time (after FM+AM'09 in Brasil and FM+AM'10 in Italy - the workshop did not take place in the year 2011). For this workshop we are seeking original, previously unpublished papers, theoretical or empirical, from academia or industry, which clearly address the above-mentioned problems and which convincingly provide novel concepts, methods, experience reports, or CASE tools (software prototypes) to the combination of FM and AM in all phases of the software cycle, including requirements elicitation, software architecture, programming, testing, software maintenance, etc. In the context of this workshop, the notion of "formal" should be broadly understood as "logical/ mathematical", such as to enable theorem-proving, model-checking, as well as rigorous, rule-guided "correctness by construction". Presentations of applicable CASE tool prototypes in this context are especially encouraged.