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