Travelled to:1 × Italy
1 × United Kingdom
2 × Canada
Collaborated with:J.J.P.Arias A.F.Vilas M.F.Caíña A.B.Barragáns-Martínez A.Gil-Solla J.G.Duque
Talks about:specif (3) increment (2) incomplet (2) formal (2) reus (2) verificatino (1) approxim (1) softwar (1) retriev (1) process (1)
Person: Rebeca P. Díaz Redondo
DBLP: Redondo:Rebeca_P=_D=iacute=az
Contributed to:
2014
2004
2002
2001Wrote 4 papers:
- KDIR-2014-CainaRV #impact analysis #monitoring
- Marble Initiative — Monitoring the Impact of Events on Customers Opinion (MFC, RPDR, AFV), pp. 403–410.
- 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.
- ICSM-2002-RedondoAVB #approximate #retrieval #reuse #specification
- Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse (RPDR, JJPA, AFV, ABBM), pp. 618–627.
- ICSE-2001-RedondoA #incremental #process #reuse #specification #using
- Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process (RPDR, JJPA), pp. 801–802.