WS-FMDS July 13-14, 2011, Spain

WorkShop on
Formal
Methods in the
Development of
Software

Welcome to WS-FMDS.

1st Workshop on Formal Methods in the Development of Software

  • UCM

    Dates

    July 13-14, 2011, Universidad Complutense de Madrid, Spain

  • QSIC 2011

    QSIC 2011

    Co-located with the 11th International Conference On Quality Software.

    (QSIC 2011)

The workshop is collocated with QSIC 2011 and it is included in its program as session 5B.

Accepted papers

  • Xiaoqiang Qiao and Jun Wei.
    Implementing Service Collaboration based on Decentralized Mediation.
  • Franz Wotawa and Mihai Nica.
    Program debugging using constraints – Is it feasible?
  • Jasen Markovski.
    Saving Time in a Space-Efficient Simulation Algorithm.
  • Chen-Wei Wang and Alessandra Cavarra.
    Formal and Model-Based Testing of Concurrent Workflows.