BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Augusto:Juan_Carlos

Contributed to:

ICEIS v1 20042004
SEKE 20022002
SEKE 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.