n South African Computer Journal - Call for Papers : International Workshop on Formal Methods and Agile Methods, FM+AM'11
|Article Title||Call for Papers : International Workshop on Formal Methods and Agile Methods, FM+AM'11|
|© Publisher:||South African Computer Society (SAICSIT)|
|Journal||South African Computer Journal|
|Publication Date||Dec 2010|
|Pages||1 - 2|
|Keyword(s)||Agile Methods, Formal Methods and Software engineering|
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).
Article metrics loading...