Hints on research Daniel Jackson MIT Lab for Computer Science 6898: Advanced Topics in Software Design May 1, 2002.