spec-synthesis

Transform ambiguous requirements into precise specifications. Use before any non-trivial implementation.