Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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)
[img]
Preview

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)

This list was generated on Fri May 24 06:48:29 2019 BST.