Estimating Error Propagation Probabilities in Software Architectures 1 (2008)
D. E Nassar, W. A. Rabie, M. Shereshevsky, N. Gradetsky, H. H. Ammar, S. Bogazzi, ...
The study of software architectures is emerging as an important discipline in software engineering, due to its emphasis on large scale composition of software products, and its support for emerging...
F. Sheldon, M. Neergaard, Richard R. Brooks, A. Mili
Invention Disclosures/Patents: None at this time, however, we expect intellectual property to arise from this project Abstract: This proposal is submitted in furtherance of the knowledge discovery...
Redundancy is a feature of systems that arises by design or as an accidental byproduct of design, and can be used to detect, diagnose or correct errors that occur in systems operations. While it is...
Building A Repository of Software Components: A Formal Specifications Approach (2007)
R. T. Mittermeir, R. Mili, A. Mili
In our correspondence to the fifth Workshop on Software Reuse [1], we had discussed the design and preliminary implementation of a repository where software components can be stored and retrieved...
Defining and Applying Measures of Distance Between Specifications (1999)
L. Labed Jilani, J. Desharnais, A. Mili
Echoing Louis Pasteur's quote, we submit the premise that it is advantageous to define measures of distance between requirements specifications, because such measures open up a wide range of...
H. Ammar, B. Cukic, C. Fuhrman, A. Mili
this paper, we focus on methods of fault tolerance, and investigate the differences between hardware fault tolerance and software fault tolerance. 1.2 Fault, Error and Failure
Uncertainty aspects in component retrieval (1998)
R. T. Mittermeir, A. Mili, R. Mili
Successful software reuse depends on many factors, adequate description of reusable software is one of them. This paper focuses on some of the inherent problems in adequately describing software for...
Estimating COTS Integration: An Analytical Approach (1998)
We present an experiment whose purpose is to define an analytical approach to the prediction of integration costs for COTS products. Our approach consists in defining the specification of the COTS...
B. Cukic, C. Fuhrman, A. Mili, R. Ben Ayed
Fault avoidance, fault removal and fault tolerance represent three successive lines of defense against the contingency of faults in software systems and their impact on system reliability. The law of...
Verifying Objects Against Axiomatic Specifications: A Fixpoint Approach (1998)
Frappier Desharnais, J. Desharnais, A. Mili, F. Mili
Behavioral specifications of objects, modules, and data types can be defined by relations, which can in turn be represented by axiomatic systems. These axiomatic systems define the relation at hand...
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...
Detecting Feature Interactions on Relational Specifications (1997)
Frappier Mili, 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 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...
Amilig Csee Wvu, S. Atkinson, A. Mili
n a software library, successful transfer of ideas between software engineers requires significant organizational effort. Fundamentally, it is the process of communicating the information that...
library, successful transfer of ideas between software engineers requires significant organizational effort. Fundamentally, it is the process of communicating the information that increases the...