Unifying program construction and modification (1998)
We propose a method which integrates program modification to the refinement calculus style of program development. Given a program developed through stepwise refinement of a specification, we propose...
Unifying program construction and modification (1998)
Frappier, M, Mili, A, Desharnais, J
We propose a method which integrates program modification to the refinement calculus style of program development. Given a program developed through stepwise refinement of a specification, we propose...
Unifying Program Construction and Modification (1997)
M. Frappier, Ali Mili, J. Desharnais
We propose a method which integrates program modification to the refinement calculus style of program development. Given a program developed through stepwise refinement of a specification, we propose...
Defining and Detecting Feature Interactions (1997)
M. Frappier, A. Mili, J. Desharnais
We describe a relational method for specifying features and detecting feature interactions. The method allows for an independent specification of system features, and for a detection of interaction...
A Calculus of Program Modifications (1997)
A Mili, M Frappier, J Desharnais, A. Mili
It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for...
A Calculus of Program Modifications (1997)
A. Mili, M. Frappier, J. Desharnais, A. Mili
It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for...
Defining and Detecting Feature Interactions (1997)
M Frappier, A Mili, J Desharnais
We describe a relational method for specifying features and detecting feature interactions. The method allows for an independent specification of system features, and for a detection of interaction...
Defining and Measuring Maintainability (1995)
R. Cheaito, M. Frappier, S. Matwin, A. Mili, D. Crabtree
Maintainability is a measure of the ease with which a software system can be maintained. In this paper we propose a quantitative definition of maintainability, and discuss means to estimate the...