根据ＭＨＳＣ（ｍｅｔｈｏｄｏｌｏｇｙ ｆｏｒ ｈｉｇｈ－ｌｅｖｅｌ ｓｐｅｃｉｆｉｃａｔｉｏｎ ｃｏｎｓｔｒｕｃｔｉｏｎ）方法论，提出一种支持可执行定义的进化式软件开发模型ＭＨＳＣ／ＤＭ（ＭＨＳＣ／ｄｅｖｅｌｏｐｍｅｎｔ ｍｏｄｅｌ）。详细介绍了模型的各组成角色及其相互关系，并对变换类型、系统......