Organised under the umbrella of the ESF Exploratory Workshops Scheme
Dates and Venue
Date: 28-30 September 2011
Venue: 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.
Scientific Report
(for information purposes only - this meeting is not open to the public)
- Scientific Report available here
Contacts: Convenors
- Klaus-DieterScheweE-Mail
- Software Competence Center Hagenberg GmbHHagenbergAustria
ESF Contact
- CatherineLobsteinE-Mail
- Administrative Coordinator
