Executable Requirements Engine