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 × 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 DBLP: Redondo:Rebeca_P=_D=iacute=az

Contributed to:

KDIR 20142014
IFM 20042004
ICSM 20022002
ICSE 20012001

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

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.