Verdi: An Automated Tool for Web Sites Verification

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 syntac...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Alpuente, M., Ballis, D., Falaschi, M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/978-3-540-30227-8_67