IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 59
Titolo Data di pubblicazione Autore(i) File
A Multiparadigm Automatic Correction Scheme 1-gen-2002 Alpuente, M; Ballis, Demis; Correa, F. J.; Falaschi, M.
Abstract Correction of OBJ-like Programs 1-gen-2003 Alpuente, M; Ballis, Demis; Escobar, S; Falaschi, M; Lucas, S.
Abstract Correction of First-Order Functional Programs 1-gen-2003 Alpuente, M; Ballis, Demis; Escobar, S; Falaschi, M; Lucas, S.
Cost-Sensitive Debugging of Declarative Programs 1-gen-2003 Ballis, Demis; Falaschi, M; Ferri, C; HERNANDEZ ORALLO, J; Ramirez, M. J.
Correction of Functional Logic Programs 1-gen-2003 Alpuente, M; Ballis, Demis; Correa, F. J.; Falaschi, M.
Automated Verification of Web Sites Using Partial Rewriting 1-gen-2004 Alpuente, M; Ballis, Demis; Falaschi, M.
VERDI: an Automated Tool for Web sites Verification 1-gen-2004 Alpuente, M; Ballis, Demis; Falaschi, M.
A Rewriting-Based Framework for Web Sites Verification 1-gen-2005 Alpuente, M; Ballis, Demis; Falaschi, M.
GVERDI-R: A Tool for Repairing Faulty Web Sites 1-gen-2006 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
Rule-based Verification of Web sites 1-gen-2006 Alpuente, Maria; Ballis, Demis; Falaschi, Moreno
A Rule-based System for Web Sites Verification 1-gen-2006 Ballis, Demis; GARCIA VIVO, J.
A Semi-Automatic Methodology for Repairing Faulty Web Sites 1-gen-2006 Alpuente, M; Ballis, Demis; Falaschi, M; Romero, D.
The Web Verification Service WebVerdi-M 1-gen-2007 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
Filtering of XML Documents 1-gen-2007 Ballis, Demis; Romero, D.
A Fast Algebraic Web Verification Service 1-gen-2007 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
Fixing Web Sites Using Correction Stategies 1-gen-2007 Ballis, Demis; Romero, D.
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 1-gen-2008 Ballis, Demis; Escobar, S; Marchiori, M.
Semantic Verification of Web System Contents 1-gen-2008 Alpuente, M; Baggi, M; Ballis, Demis; Falaschi, M.
XML Semantic Filtering via Ontology Reasoning 1-gen-2008 Baggi, M; Ballis, Demis; Falaschi, M.
A Minimalist Visual Notation for Design Patterns and Antipatterns 1-gen-2008 Ballis, Demis; Baruzzo, Andrea; Comini, Marco
Mostrati risultati da 1 a 20 di 59
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile