Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:J.J.P.Arias A.B.Barragáns-Martínez A.F.Vilas R.P.D.Redondo A.Gil-Solla
Talks about:specif (2) methodolog (1) increment (1) analysi (1) semant (1) requir (1) revis (1) model (1) logic (1) imper (1)
Person: Jorge García Duque
DBLP: Duque:Jorge_Garc=iacute=a
Contributed to:
2004
2002Wrote 2 papers:
- IFM-2004-VilasARGD #imperative #incremental #logic #modelling #semantics #specification
- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models (AFV, JJPA, RPDR, AGS, JGD), pp. 382–401.
- RE-2002-Garcia-DuquePB #requirements #specification #using
- An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology (JGD, JJPA, ABBM), pp. 282–288.