PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Ravara A., (eds.) .. Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems. In: Electronic Proceedings in Theoretical Computer Science. Editorial, vol. 163 pp. i - ii. EPTCS, 2014.
 
 
Abstract
(English)
These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2014 in Vienna, Austria, as a satellite workshop of the Federated Logic Conference (FLoC 2014), associated to the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), as part of the Vienna Summer of Logic (VSL 2014). WWV is a yearly workshop that aims at providing an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from rule-based programming, formal methods, software engineering and Web-oriented research.
URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?WWV2014#EPTCS163.0
DOI: 10.4204/EPTCS.163
Subject Web systems
Specification and verification
Software engineering
Formal methods and tools
Rule-basded programming
D.2 SOFTWARE ENGINEERING
D.3 PROGRAMMING LANGUAGES
F.3 LOGICS AND MEANINGS OF PROGRAMS


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional