Safe Web Forms and XML Processing with Ada

  • Mário Amado Alves
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2043)


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.


web services development Ada CGI XML HTML 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Adalib: the software process and programming library [web site] / by Mário Amado Alves. — (
  2. 2.
    Mawl: A Domain-Specific Language for Form-Based Services / David L. Atkins; Thomas Ball; Glenn Bruns; Kenneth Cox. — pp. 334–346 — //In: IEEE Transactions on Software Engineering, vol. 25,no. 3, May/June 1999CrossRefGoogle Scholar
  3. 3.
    Results of applying the personal software process / P. Ferguson; W. S. Humphrey; S. Khajenoori; S. Macke; A. Matvya. — pp. 24–32 — //In: IEEE Computer, 30(5), 1997. — (description in [4])Google Scholar
  4. 4.
    Software Engineering: An Engineering Approach / James F. Peters; Witold Pedrycz. — John Wiley & Sons, Inc.: New York, 2000. — xviii, 702 p.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Mário Amado Alves
    • 1
  1. 1.Faculdade de Ciências e Tecnologia da Universidade Nova de LisboaCaparicaPortugal

Personalised recommendations