Travelled to:1 × Italy
1 × Portugal
Collaborated with:S.P.Hidalgo F.T.d.l.Rosa A.J.Suárez P.J.Abad J.A.Ortega
Talks about:constraint (1) inconsist (1) structur (1) softwar (1) project (1) program (1) firewal (1) develop (1) reason (1) qualit (1)
Person: Rafael M. Gasca
DBLP: Gasca:Rafael_M=
Contributed to:
20092001Wrote 2 papers:
- ICEIS-ISAS-2009-HidalgoGT #consistency #data type #detection #nondeterminism #performance
- Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates (SPH, RMG, FTdlR), pp. 176–181.
- ICEIS-v1-2001-SuarezAGO #constraints #development #programming #reasoning
- Qualitative Reasoning for Software Development Project by Constraint Programming (AJS, PJA, RMG, JAO), pp. 481–488.