Travelled to:1 × Belgium
3 × USA
Collaborated with:R.V.Borges L.C.Lamb B.Nuseibeh G.Spanoudakis A.Zisman A.Russo J.Kramer
Talks about:requir (3) specif (2) revis (2) learn (2) evolv (2) adapt (2) traceabl (1) approach (1) analysi (1) system (1)
Person: Artur S. d'Avila Garcez
DBLP: Garcez:Artur_S=_d=Avila
Contributed to:
2011
2010
20032001Wrote 4 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.
- SEKE-2003-SpanoudakisGZ #approach #machine learning #requirements #traceability
- Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach (GS, ASdG, AZ), pp. 570–577.
- ASE-2001-GarcezRNK #requirements #specification
- An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.