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 × China
1 × Greece
1 × South Africa
1 × Switzerland
2 × Canada
Collaborated with:
I.Bourguiba P.Höfner B.Möller Q.Zhang J.Jaskolka J.Desharnais M.Frappier A.Mili
Talks about:
scenario (2) algebra (2) featur (2) architectur (1) reconcili (1) sequenti (1) function (1) composit (1) aspectu (1) system (1)

Person: Ridha Khédri

DBLP DBLP: Kh=eacute=dri:Ridha

Contributed to:

SEFM 20122012
SEFM 20082008
FM 20062006
SEFM 20042004
SEKE 20042004
ESEC/FSE 19971997

Wrote 6 papers:

SEFM-2012-ZhangKJ #composition #verification
Verification of Aspectual Composition in Feature-Modeling (QZ, RK, JJ), pp. 109–125.
SEFM-2008-HofnerKM #algebra
Algebraic View Reconciliation (PH, RK, BM), pp. 85–94.
FM-2006-HofnerKM #algebra
Feature Algebra (PH, RK, BM), pp. 300–315.
SEFM-2004-KhedriB #architecture #design #functional
Formal Derivation of Functional Architectural Design (RK, IB), pp. 356–265.
SEKE-2004-KhedriB #requirements
Requirements Scenarios Based System-Testing (RK, IB), pp. 252–257.
ESEC-FSE-1997-DesharnaisFKM #integration
Integration of Sequential Scenarios (JD, MF, RK, AM), pp. 310–326.

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.