Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: <demis <at> dimi.uniud.it>
Subject: 2nd CFP: JSC Special Issue on Automated Verification and Specification of Web Systems
Newsgroups: gmane.comp.lang.haskell.general
Date: Thursday 22nd October 2009 15:18:32 UTC (over 8 years ago)
[Apologies for multiple copies]

 ========================================================================
                  JOURNAL OF SYMBOLIC COMPUTATION
 Special Issue on Automated Specification and Verification of Web Systems
	
     http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-wwv.html
 ========================================================================

SCOPE
-----
This special issue is related to the topics of the workshop WWV'09: 
Automated Specification and Verification of Web Systems, which took place 
in Hagenberg, Austria, on July 17, 2009. Both participants of the workshop 
and other authors are invited to submit contributions.

The increased complexity of Web sites and the explosive growth of Web-based

applications has turned their design and construction into a challenging
problem. 
Nowadays, many companies have diverted their Web sites into interactive, 
completely-automated, Web-based applications (such as Amazon, on-line
banking, 
or travel agencies) with a high complexity that requires appropriate
specification 
and verification techniques and tools. Systematic, formal approaches to the
analysis 
and verification can address the problems of this particular domain with
automated 
and reliable tools that also incorporate semantic aspects.

We solicit original papers on symbolic methods and techniques applied to
Web sites, 
Web services or Web-based applications, such as:

   * Rule-based approaches to Web systems analysis, certification,
specification, 
     verification, and optimization
   * Algebraic methods for verification and certification of Web systems
   * Formal models for describing and reasoning about Web systems
   * Model-checking, synthesis and debugging of Web systems
   * Abstract interpretation and program transformation applied to the
semantic Web
   * Intelligent tutoring and advisory systems for Web specifications
authoring
   * Web quality and Web metrics
   * Web usability and accessibility
   * Testing and evaluation of Web systems and applications
   * ...

Submissions describing applications of algebraic methods and techniques are
especially 
encouraged. 

SUBMISSION
----------
Submission details and requirements are available from the Web page:
http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-wwv.html

IMPORTANT DATES
---------------
   * Submission of papers: November 23, 2009.
   * Notification of acceptance/rejection: March 22, 2010.

GUEST EDITORS
------------
   * Demis Ballis (University of Udine, Italy)
   * Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
 
CD: 4ms