Idioma:

Verdi: An Automated Tool for Web Sites Verification

Alpuente, M. ; Ballis, D. ; Falaschi, M.

Lecture notes in computer science, 2004, p.726-729 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
Verdi: An Automated Tool for Web Sites Verification
Autor: Alpuente, M. ; Ballis, D. ; Falaschi, M.
Assuntos: Applied sciences ; Artificial intelligence ; Automate Tool ; Computer science; control theory; systems ; Exact sciences and technology ; Formal Specification Language ; Home Page ; Integrity Constraint ; Learning and adaptive systems ; Logical, boolean and switching functions ; Theoretical computing ; Xpath Expression
É parte de: Lecture notes in computer science, 2004, p.726-729
Notas: This work has been partially supported by MCYT under grants TIC2001-2705-C03-01, HU2003-0003, by Generalitat Valenciana under grant GR03/025 and by ICT for EU-India Cross Cultural Dissemination Project under grant ALA/95/23/2003/077-054.
Descrição: Verdi is a system 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 are actually fulfilled. It provides a rule-based, formal specification language which allows us to define syntactic/semantic properties of the Web site as well as a verification facility which computes the requirements not fulfilled by the Web site, and helps to repair the errors by finding out incomplete/missing Web pages.
Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 7 Avançar Ir para próxima página