|
Research Interests,
Ali Mili
Broad interests in software engineering, ranging
from technical to organizational to managerial aspects.
-
Foundations of Software Engineering.
Discrete mathematics. Relational Algebra. Refinement
calculi.
-
Dependability. Dimensions
of dependability. Quantifying dependability. Defining
and characterizing system security.
-
High Assurance Systems Engineering.
System fault tolerance. System redundancy.
-
Verification and Validation.
Verification and Validation of Adaptive systems. Extracting
program functions.
-
Software Processes. Software
reuse. Product Line Engineering. Software architectures.
-
Software Measurement. Software
cost estimation. Software metrics.
-
Software Engineering Trends.
Analyzing and predicting software technology trends.
|
