Desharnais, Jean-Marc
19  Ergebnisse:
Personensuche X
?
 
?
4

Initiating software process improvement in very small enter..:

Habra, Naji ; Alexandre, Simon ; Desharnais, Jean-Marc..
Information and Software Technology.  50 (2008)  7-8 - p. 763-771 , 2008
 
?
5

A formal validation of the RBAC ANSI 2012 standard using B:

Huynh, Nghi ; Frappier, Marc ; Mammar, Amel..
Science of Computer Programming.  131 (2016)  - p. 76-93 , 2016
 
?
6

Abstract representation theorems for demonic refinement alg..:

De Carufel, Jean-Lou ; Desharnais, Jules
The Journal of Logic and Algebraic Programming.  79 (2010)  8 - p. 740-767 , 2010
 
?
 
?
10

Relational methods in computer science:

Desharnais, Jules ; Frappier, Marc ; Jaoua, Ali.
Information Sciences.  139 (2001)  3-4 - p. 165-166 , 2001
 
?
11

A calculus of program adaptation and its applications:

Ayed, Rahma Ben ; Desharnais, Jules ; Frappier, Marc.
Science of Computer Programming.  38 (2000)  1-3 - p. 73-123 , 2000
 
?
12

Semantic distance between specifications:

Mili, Rym ; Desharnais, Jules ; Frappier, Marc.
Theoretical Computer Science.  247 (2000)  1-2 - p. 257-276 , 2000
 
?
 
?
15

Motivational Characteristics of Evalu* Life and the Canadia..:

DESHARNAIS, RAYMOND ; GODIN, GASTON ; JOBIN, JEAN
Canadian Journal of Public Health / Revue Canadienne de Sante'e Publique.  78 (1987)  3 - p. 161-164 , 1987
 
1-15