Title: Computational and Constructive Design Theory