Populate the functional specification