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 × 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 DBLP: Garcez:Artur_S=_d=Avila

Contributed to:

ICSE 20112011
ASE 20102010
SEKE 20032003
ASE 20012001

Wrote 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.

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.