Skip to main content
SpringerLink
Log in
Book cover

International Conference on Reliable Software Technologies

Ada-Europe 2001: Reliable SoftwareTechnologies — Ada-Europe 2001 pp 349–358Cite as

Safe Web Forms and XML Processing with Ada

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2043))

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.

My research is supported by PRAXIS XXI and the Fundação para a Ciência e a Tecnologia (vd. Acknowledgements).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adalib: the software process and programming library [web site] / by Mário Amado Alves. — (http://lexis.di.fct.unl.pt/ADaLIB)

  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 1999

    Article  Google Scholar 

  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. Software Engineering: An Engineering Approach / James F. Peters; Witold Pedrycz. — John Wiley & Sons, Inc.: New York, 2000. — xviii, 702 p.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2815-114, Caparica, Portugal

    Mário Amado Alves

Authors
  1. Mário Amado Alves
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Offis nv/sa - Aubay Group, Offis & K.U. Leuven, Weiveldlaan 41/32, 1930, Zaventem, Belgium

    Dirk Craeynest

  2. EPFL-DI-LGL, Swiss Federal Institute of Technology Lausanne (EPFL), 1015, Lausanne EPFL, Switzerland

    Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alves, M.A. (2001). Safe Web Forms and XML Processing with Ada. In: Craeynest, D., Strohmeier, A. (eds) Reliable SoftwareTechnologies — Ada-Europe 2001. Ada-Europe 2001. Lecture Notes in Computer Science, vol 2043. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45136-6_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-45136-6_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42123-8

  • Online ISBN: 978-3-540-45136-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation