Workshops Detail

Correct Software In Web Applications

Convened by: Klaus-Dieter Schewe (AT), Egon Börger (IT), Bruno Buchberger (AT), Andreas Prinz (NO), Bernhard Thalheim (DE)

Location: 28-30 September 2011, Hagenberg, Austria

Keywords

formal specification; verification; web application; symbolic computation; abstract state machine

Summary

The workshop explores the potential of formal approaches to software development to develop correct web applications bringing together researchers in areas such as Theorema or Abstract State Machines (ASM) with researchers in web services and engineering. Theorema and similar approaches aim at a uniform framework comprising logic and software, in which users are supported through all phases of the problem solving cycle without leaving the system. ASM support system development from requirements capture through design to coding with rigorous refinement and verification techniques. Web applications provide a complex application area, for which verification techniques have not been developed

Preliminary programme and Provisional list of participant

(for information purposes only - this meeting is not open to the public)

• Preliminary programme and List of Participants  

Contacts

Convenors:

ESF Contact: