模型驱动开发 - 软考真题题目与答案

使用模型驱动的软件开发方法，软件系统被表示为一组可以被自动转换为可执行代码的模型。其中，（ ）在不涉及实现的情况下对软件系统进行建模。