BALLIS, Demis

BALLIS, Demis  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 57 (tempo di esecuzione: 0.277 secondi).
Titolo Data di pubblicazione Autore(i) File
A Fast Algebraic Web Verification Service 1-gen-2007 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
A fold/unfold transformation framework for rewrite theories extended to CCT 1-gen-2010 Alpuente, M; Ballis, Demis; Baggi, M; Falaschi, M.
A Minimalist Visual Notation for Design Patterns and Antipatterns 1-gen-2008 Ballis, Demis; Baruzzo, Andrea; Comini, Marco
A Multiparadigm Automatic Correction Scheme 1-gen-2002 Alpuente, M; Ballis, Demis; CORREA F., J; Falaschi, M.
A Rewriting-Based Framework for Web Sites Verification 1-gen-2005 Alpuente, M; Ballis, Demis; Falaschi, M.
A rule-based method to match Software Patterns against UML Models 1-gen-2008 Ballis, Demis; Baruzzo, A; Comini, Marco
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.
Abstract Correction of First-Order Functional Programs 1-gen-2003 Alpuente, M; Ballis, Demis; Escobar, S; Falaschi, M; Lucas, S.
Abstract Correction of OBJ-like Programs 1-gen-2003 Alpuente, M; Ballis, Demis; Escobar, S; Falaschi, M; Lucas, S.
An Abstract Generic Framework for Web Site Verification 1-gen-2008 Alpuente, M; Ballis, Demis; Falaschi, M; Ojeda, P; Romero, D.
An Access Control Language based on Term Rewriting and Description Logic 1-gen-2010 Baggi, M; Ballis, Demis; Falaschi, M.
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 1-gen-2010 Alpuente, M; Ballis, Demis; Correa, F; Falaschi, M.
Assertion-based analysis via slicing with ABETS (system description) 1-gen-2016 Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Automated Verification of Web Sites Using Partial Rewriting 1-gen-2004 Alpuente, M; Ballis, Demis; Falaschi, M.
Backward Trace Slicing for Conditional Rewrite Theories 1-gen-2012 Alpuente, M; Ballis, Demis; Frechina, F; Romero, D.
Backward Trace Slicing for Rewriting Logic Theories 1-gen-2011 Alpuente, M; Ballis, D; Espert, J; ROMERO ALLUE', Diego
Combining runtime checking and slicing to improve Maude error diagnosis 1-gen-2015 Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Completeness of Unfolding for Rewriting Logic Theories 1-gen-2010 Alpuente, M; Baggi, M; Ballis, Demis; Falaschi, M.
Correction of Functional Logic Programs 1-gen-2003 Alpuente, M; Ballis, Demis; CORREA F., J; Falaschi, M.