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 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
A.Mili M.Frappier R.B.Ayed R.Khédri L.L.Jilani R.Mili
Talks about:
program (3) method (2) verif (2) transform (1) sequenti (1) scenario (1) mathemat (1) classifi (1) softwar (1) retriev (1)

Person: Jules Desharnais

DBLP DBLP: Desharnais:Jules

Contributed to:

LOPSTR 19981998
ASE 19971997
ESEC/FSE 19971997
ICSE 19841984

Wrote 4 papers:

LOPSTR-1998-AyedDFM #program transformation
Mathematical Foundations for Program Transformations (RBA, JD, MF, AM), pp. 319–321.
ASE-1997-JilaniDFMM #adaptation #component
Retrieving Software Components that Minimize Adaptation Effort (LLJ, JD, MF, RM, AM), p. 255–?.
ESEC-FSE-1997-DesharnaisFKM #integration
Integration of Sequential Scenarios (JD, MF, RK, AM), pp. 310–326.
ICSE-1984-MiliD #verification
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods (AM, JD), pp. 499–509.

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.