Travelled to:1 × Belgium
1 × USA
Collaborated with:A.S.d.Garcez L.C.Lamb B.Nuseibeh
Talks about:adapt (2) system (1) specif (1) requir (1) integr (1) verif (1) model (1) learn (1) evolv (1) self (1)
Person: Rafael V. Borges
DBLP: Borges:Rafael_V=
Contributed to:
2011
2010Wrote 2 papers:
- ICSE-2011-BorgesGLN #adaptation #evolution #learning #requirements #specification
- Learning to adapt requirements specifications of evolving systems (RVB, ASdG, LCL, BN), pp. 856–859.
- ASE-2010-BorgesGL #adaptation #self #verification
- Integrating model verification and self-adaptation (RVB, ASdG, LCL), pp. 317–320.