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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Adalib: the software process and programming library [web site] / by Mário Amado Alves. — (http://lexis.di.fct.unl.pt/ADaLIB)
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
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])
Software Engineering: An Engineering Approach / James F. Peters; Witold Pedrycz. — John Wiley & Sons, Inc.: New York, 2000. — xviii, 702 p.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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