Turn domain knowledge into a formal, versioned specification from which software and other artifacts can be derived.