Contribution to a Rigorous Analysis of Web Application Frameworks

  • Egon Börger
  • Antonio Cisternino
  • Vincenzo Gervasi
Conference paper

DOI: 10.1007/978-3-642-30729-4_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)
Cite this paper as:
Börger E., Cisternino A., Gervasi V. (2012) Contribution to a Rigorous Analysis of Web Application Frameworks. In: Derrick J., Gnesi S., Latella D., Treharne H. (eds) Integrated Formal Methods. IFM 2012. Lecture Notes in Computer Science, vol 7321. Springer, Berlin, Heidelberg

Abstract

We suggest an approach for accurate modeling and analysis of web application frameworks.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Egon Börger
    • 1
  • Antonio Cisternino
    • 1
  • Vincenzo Gervasi
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations