EPTCS 61 - WWV 2011
Laura Kovács, Rosario Pugliese, Francesco Tiezzi (Eds.): Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems. 2011 EPTCS 61 [ contents ]- Petros Papapanagiotou, Jacques D. Fleuriot: A theorem proving framework for the formal verification of Web Services Composition. ... 1-16
- Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad: Specification and Verification of Context-dependent Services. ... 17-33
- Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima: Product Lines for Service Oriented Applications - PL for SOA. ... 34-48
- Boni García, Juan C. Dueñas: Automated Functional Testing based on the Navigation of Web Applications. ... 49-65
- María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero: Debugging of Web Applications with Web-TLR. ... 66-80
- Letterio Galletta, Giorgio Levi: An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language. ... 81-95
- Marco Giunti: A type checking algorithm for qualified session types. ... 96-114
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team