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/..?