Safe Web Forms and XML Processing with Ada

  • Authors:
  • Mário Amado Alves

  • Affiliations:
  • -

  • Venue:
  • Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
  • Year:
  • 2001

Quantified Score

Hi-index 0.01

Visualization

Abstract

We present a method for the development of complex web services. The method was tested with a service case featuring user authentication, multiple forms, recorded data, and automated page creation. The method emphasises safety at two stages: development and execution. It comprises selected and created "open source" software components, notably Ada packages CGI by David Wheeler and XML Parser by the author. The method is presented with examples from the real development case, and with incursions into the detail of selected aspects.