Sfoglia per Autore
A rule-based method to match Software Patterns against UML Models
2008-01-01 Ballis, Demis; Baruzzo, A; Comini, Marco
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents
2008-01-01 Baggi, M; Ballis, Demis
A Minimalist Visual Notation for Design Patterns and Antipatterns
2008-01-01 Ballis, Demis; Baruzzo, Andrea; Comini, Marco
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites
2009-01-01 Ballis, Demis; Escobar, S.
Quantitative Pathway Logic for Computational Biology
2009-01-01 Baggi, M; Ballis, Demis; Falaschi, M.
Specification and Verification of Web Applications in Rewriting Logic
2009-01-01 Alpuente, M; Ballis, Demis; Romero, D.
An Access Control Language based on Term Rewriting and Description Logic
2010-01-01 Baggi, M; Ballis, Demis; Falaschi, M.
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs
2010-01-01 Alpuente, M; Ballis, Demis; Correa, F; Falaschi, M.
Transformation and Debugging of Functional Logic Programs
2010-01-01 Alpuente, Maria; Ballis, Demis; Falaschi, Moreno
A fold/unfold transformation framework for rewrite theories extended to CCT
2010-01-01 Alpuente, M; Ballis, Demis; Baggi, M; Falaschi, M.
Model-Checking Web Applications with Web-TLR
2010-01-01 Alpuente, M; Ballis, Demis; Espert, J; Romero, D.
Completeness of Unfolding for Rewriting Logic Theories
2010-01-01 Alpuente, M; Baggi, M; Ballis, Demis; Falaschi, M.
Debugging of Web Applications with Web-TLR
2011-01-01 Alpuente, M; Ballis, Demis; Espert, J; Frechina, F; Romero, D.
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems
2011-01-01 Ballis, Demis; Kutsia, Temur
Backward Trace Slicing for Rewriting Logic Theories
2011-01-01 Alpuente, M; Ballis, D; Espert, J; ROMERO ALLUE', Diego
Backward Trace Slicing for Conditional Rewrite Theories
2012-01-01 Alpuente, M; Ballis, Demis; Frechina, F; Romero, D.
Julienne: a Trace Slicer for Conditional Rewrite Theories
2012-01-01 Alpuente, M; Ballis, Demis; Frechina, F; Romero, D.
Parametric Exploration of Rewriting Logic Computations
2013-01-01 M., Alpuente; Ballis, Demis; F., Frechina; J., Sapiña
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne
2013-01-01 Alpuente, M; Ballis, Demis; Frechina, F; Sapiña, J.
Rewriting-based Repairing Strategies for XML Repositories
2013-01-01 M., Alpuente; Ballis, Demis; M., Falaschi; F., Frechina; D., Romero
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