Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
 

Summary: Software Tools for Technology Transfer manuscript No.
(will be inserted by the editor)
Rule-based Verification of Web Sites
M. Alpuente1
, D. Ballis2
, M. Falaschi3
1
DSIC, Universidad Polit´ecnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain.
e-mail: alpuente@dsic.upv.es.
2
Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy.
e-mail: demis@dimi.uniud.it.
3
Dip. di Scienze Matematiche e Informatiche, Pian dei Mantellini 44, 53100 Siena, Italy.
e-mail: moreno.falaschi@unisi.it.
The date of receipt and acceptance will be inserted by the editor
Abstract. In this paper, we develop a framework for
the automated verification of Web sites which can be
used to specify integrity conditions for a given Web site,
and then automatically check whether these conditions

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences