Desharnais, Jean-Marc
21  Ergebnisse:
Personensuche X
?
2

Building Productivity Models for Small Enhancements:

Desharnais, Jean-Marc ; Yıldızoğlu, Gülşah ; April, Alain.
Journal of Software Engineering and Applications.  6 (2013)  3 - p. 121-130 , 2013
 
?
 
?
4

Software Measurement Methods: An Analysis of Two Designs:

Desharnais, Jean-Marc ; Abran, Alain
Journal of Software Engineering and Applications.  5 (2012)  10 - p. 797-809 , 2012
 
?
6

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
 
?
7

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
 
?
8

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
 
?
 
?
12

Relational methods in computer science:

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

Semantic distance between specifications:

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

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
 
1-15