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: Barrag=aacute=ns-Mart=iacute=nez:Ana_Bel=eacute=n
Contributed to:
2004
2002
2002Wrote 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.