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 × Canada
1 × Germany
1 × United Kingdom
Collaborated with:
J.J.P.Arias J.G.Duque R.P.D.Redondo A.F.Vilas
Talks about:
specif (3) methodolog (2) requir (2) formal (2) evolv (2) sctl (2) mus (2) incomplet (1) perspect (1) approxim (1)

Person: Ana Belén Barragáns-Martínez

DBLP DBLP: Barrag=aacute=ns-Mart=iacute=nez:Ana_Bel=eacute=n

Contributed to:

ICSE 20042004
ICSM 20022002
RE 20022002

Wrote 3 papers:

ICSE-2004-PrietoA #formal method #multi #named #requirements #specification
chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications (ABBM, JJPA), pp. 72–74.
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.
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.

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.