PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lluch Lafuente A., (eds.) .. Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems. In: Electronic Proceedings in Theoretical Computer Science. Editorial, vol. 188 pp. 1 - 3. EPTCS, 2015.
 
 
Abstract
(English)
These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th International Symposium on Formal Methods (FM 2015). WWV is a yearly interdisciplinary forum for researchers originating from the following areas: declarative, rule-based programming, formal methods, software engineering and web-based systems. The workshop fosters the cross-fertilisation and advancement of hybrid methods from such areas.
URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?WWV2015#EPTCS188.0
DOI: 10.4204/EPTCS.188
Subject Web systems
Specification and verification
Software engineering
Formal methods and tools
Rule-based programming
Declarative 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