Call for Papers: International Workshop on Formal Methods and Agile Methods, FM+AM'11
Stefan Grüner · DOAJ (DOAJ: Directory of Open Access Journals) · 2010
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'11 which is going to be held for the 3rd time (after FM+AM'09 in Brasil and FM+AM'10 in Italy).