Next:
What is the problem?
Up:
Automated Analysis of Software
Previous:
1 Background
2 Position
What is the problem?
What is the significance for component-based software engineering?
What insights might help solve the problem?
On The Nature of Software Frameworks
What kinds of parameters are found in "real" frameworks and instantiations?
What are the space of parameter "usage semantics"?
Do frameworks abstract concurrency?
Specification of Software Frameworks
What formalisms are appropriate/sufficient for describing framework behavior?
What formalisms are appropriate/sufficient for describing parameter behavior?
Analysis of Software Frameworks
Do stronger guarantees of parameter behavior enable stronger framework properties to be validated?
What analysis techniques can be effectively applied to frameworks and the components that parameterize and use them?
What is the cost vs. effectiveness tradeoff of framework analyses?
How best can the results of framework validation and parameter assumptions be presented and reused by framework consumers?
Matthew B. Dwyer
Sept. 2, 1997
