BALLIS, Demis

BALLIS, Demis  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 1-gen-2019 Alpuente, M.; Ballis, D.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
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 partial evaluation methodology for optimizing rewrite theories incrementally 1-gen-2022 Alpuente, María; Ballis, Demis; Escobara, Santiago; Galán Pascuala, Daniel; Sapiña, Julia
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 1-gen-2014 M., Alpuente; Ballis, Demis; D., Romero
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