Travelled to:1 × Argentina
1 × Italy
1 × Portugal
Collaborated with:R.Gómez ∅ A.Galton
Talks about:model (2) event (2) paradigm (1) theorem (1) languag (1) databas (1) tempor (1) specif (1) verif (1) prove (1)
Person: Juan Carlos Augusto
DBLP: Augusto:Juan_Carlos
Contributed to:
2004
20022001Wrote 4 papers:
- ICEIS-v1-2004-Augusto #model checking #theorem proving #verification
- Model Checking and Theorem Proving-Based Verification of EIS (JCA), p. XXXIII-XXXIV.
- ICEIS-v1-2004-GomezA #database
- Durative Events in Active Databases (RG, JCA), pp. 306–311.
- SEKE-2002-AugustoG #logic #modelling #paradigm
- A temporal logic view of paradigm models (JCA, RG), pp. 497–503.
- SEKE-2001-GomezAG #specification #testing
- Testing an Event Specification Language (RG, JCA, AG), pp. 341–345.