SEFM 2010 Workshop: FM+AM´2010

2nd Workshop on Formal Methods and Agile Methods   Date: 17 September 2010
Time: 9.00 - 13.00
Room: C-29 ("Faedo")

Scope and Goals

Formal Methods (FM) and Agile Methods (AM) are two different (and rather orthogonal) answers to the Software Crisis which is typically characterised by both error-prone and slow software development processes:

  • Whereas FM has by-and-large focussed its attention on the issue of software correctness, thereby mostly ignoring questions of development speed,
  • AM is by-and-large concerned about the issue of development speed (a.k.a. "time to market"), thereby mostly ignoring the questions of formal soundness and formal correctness.

This workshop, FM+AM´2010, aimed at bringing these orthogonal viewpoints together and asked for original papers with new ideas about making formal software developments faster, and rapid software development methods more formally sound, in all phases of the software development cycle.

We are expecting interesting new solutions mainly in the following two directions:

  • Social production techniques from the domain of agile methods, for example: pair programming, could be transfered into the domain of formal methods, resulting in new social production techniques such as pair formalisation, pair modelling, etc.
  • Formally verified software tools cold be offered in support of the agile software development team and its specific activities according to the agile paradigm.

  • Stefan Gruner, University of Pretoria (Republic of South Africa) SEFM 2010 School
Home    |    News   |   Downloads   |   Sitemap   |     |   rss feed   |   css 2.1   |   last updated: 24 Sep, 2010 - 13:18