n South African Computer Journal - Call for Papers : International Workshop on Formal Methods and Agile Methods, FM+AM'11

Volume 2010, Issue 46
  • ISSN : 1015-7999
  • E-ISSN: 2313-7835



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).

Loading full text...

Full text loading...


Article metrics loading...


This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error