Contribution to a Rigorous Analysis of Web Application Frameworks

Egon Börger, Antonio Cisternino, Vincenzo Gervasi
Digital Printed Abstract View Cite
Type
Invited Talk
Publication
3rd International Conference on ASM, Alloy, B, VDM, and Z (ABZ'12)

Abstract

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

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{BorgerCG12,
  author       = {Egon B{\"{o}}rger and
                  Antonio Cisternino and
                  Vincenzo Gervasi},
  editor       = {John Derrick and
                  John S. Fitzgerald and
                  Stefania Gnesi and
                  Sarfraz Khurshid and
                  Michael Leuschel and
                  Steve Reeves and
                  Elvinia Riccobene},
  title        = {Contribution to a Rigorous Analysis of Web Application Frameworks},
  booktitle    = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
                  Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7316},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30885-7\_1},
  doi          = {10.1007/978-3-642-30885-7\_1},
  timestamp    = {Sun, 25 Oct 2020 23:07:20 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/BorgerCG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'12

Related