Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 6.
2004
Gomez, Rodolfo and Augusto, Juan Carlos (2004) Durative Events in Active Databases. In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems. , Porto, Portugal pp. 306-311. (Full text available) |
2003
Augusto, Juan Carlos and Gomez, Rodolfo (2003) A Procedure to Translate PARADIGM Specifications to Propositional Linear Temporal Logic and its Application to Verification. International Journal of Software Engineering and Knowledge Engineering, 13 (6). pp. 627-654. ISSN 0218-1940. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Gomez, Rodolfo and Augusto, Juan Carlos and Acuña, Silvia.T. (2003) An Algorithm to Translate PARADIGM specifications to PLTL. In: Proceedings of the 3ras. Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimiento (JIISIC'03). , Valdivia, Chile pp. 53-63. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2002
Augusto, Juan Carlos and Gomez, Rodolfo (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02). ACM, New York pp. 497-503. ISBN 1-58113-556-4. (doi:http://doi.acm.org/10.1145/568760.568847) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2001
Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2001) Testing an Event Specification Language. In: Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01). , Buenos Aires, Argentina pp. 341-345. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2000
Gomez, Rodolfo and Augusto, Juan Carlos and Galton, Antony (2000) Implementation and Testing of a Set of Event Detection Operators. Technical report. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |