This website is preserved for historical and scholarly reference and is no longer actively maintained.
Research Issues in Specification and Design
Which specification language is better for what type of system?
Which design decomposition technique is better? O-O or functional or component-based
What are useful ways to quantify performance/ correctness/..?