Travelled to:1 × Italy
1 × USA
Collaborated with:R.Moore A.Vizcaíno A.Cechich M.Piattini
Talks about:stakehold (1) techniqu (1) groupwar (1) compound (1) pattern (1) verifi (1) formal (1) featur (1) elicit (1) design (1)
Person: Gabriela N. Aranda
DBLP: Aranda:Gabriela_N=
Contributed to:
2005
2002Wrote 2 papers:
- ICEIS-v1-2005-ArandaVCP #elicitation #tool support
- Choosing Groupware Tools and Elicitation Techniques According to Stakeholders’ Features (GNA, AV, AC, MP), pp. 68–75.
- SEKE-2002-ArandaM #design pattern #formal method #verification
- A formal model for verifying compound design patterns (GNA, RM), pp. 213–214.