求翻译：Generate code based on the requirements and automatic code generation tools. Model based on the specifications and conduct model checking, simulation, formal verification on these models to generate the final software.是什么意思？