PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lisitsa A., Nemytykh A. P., Ravara A., (eds.) .. Automated verification of programs and Web systems. vol. 85 (5, Part 1) pp. 653 - 654. Special Issue on Automated Verification of Programs and Web Systems. Elsevier, 2016.
 
 
Abstract
(English)
This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is organised around the themes of the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV) and the 2nd International Workshop on Verification and Program Transformation (VPT), both of which took place during the Vienna Summer of Logic on July 17th and 18th, 2014. The WWV workshop series aims to provide an interdisciplinary forum to facilitate the cross-fertilisation and the advancement of hybrid methods that exploit concepts and tools drawn from rule-based programming, formal methods, software engineering, and Web-oriented research. The VPT workshop series aims to bring together researchers working in the fields of program verification and program transformation to raise the awareness and stimulate the development of novel and challenging verification methods and techniques.
URL: http://www.sciencedirect.com/science/article/pii/S2352220816300578
DOI: 10.1016/j.jlamp.2016.06.005
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