software_symposium introduction design simon alexander habraken design_methods formal_informal projects thanks
but also interfaces for early-stage design formal methods and informal interaction
formal methods and informal interaction
