The group aims to develop a methodology for verifying and certifying web sites w.r.t. the properties intended by the web designer. It also intends to make a prototypical implementation and develop a set of tools which form a programming environment for web verification of Web sites, including those developed in this project, which can be used for e-learning and education applications.
Titolo: ISTITUTO INTERNAZIONALE PER LA MATEMATICA APPLICABILE E LE SCIENZE DELL'INFORMAZIONE Codice Progetto: RBIN04M8S8 Decorrenza: 26/08/2007 - Termine: 26/12/2011