PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lluch Lafuente A., (eds.) .. Automated specification and verification of Web-based applications. In: Journal of Logical and Algebraic Methods in Programming. Editorial, vol. 87 (February 2017) pp. 51 - 51. Virtual Special Issue on Automated Specification and Verification of Web-based Applications. Elsevier, 2017.
 
 
Abstract
(English)
This special section of the Journal of Logical and Algebraic Methods in Programming is the result of an open call for papers devoted to the themes of the workshop series on the Automated Specification and Verification of Web Systems (WWV), whose 11th edition was organised by us on 23 June 2015 in Oslo, Norway, as a workshop affiliated with the 20th International Symposium on Formal Methods (FM 2015). The WWV workshop series provides an interdisciplinary forum to facilitate the cross-fertilisation and the advancement of hybrid methods that exploit concepts and tools drawn from declarative, rule-based programming, formal methods, software engineering, and Web-oriented research.
URL: http://www.sciencedirect.com/science/article/pii/S235222081630164X
DOI: 10.1016/j.jlamp.2016.11.004
Subject Web systems
Specification and Verification
Software Engineering
Formal Methods and Tools
Rule-based programming
Declarative programming
Program transformation
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