支持软件开发的可执行定义方法

本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系，并将作者提出的可执行定义方法论ＭＨＳＣ（ｍｅｔｈｏｄｏｌｏｇｙｆｏｒｈｉｇｈ－ｌｅｖｅｌｓｐｅｃｉｆｉｃａｔｉｏｎｃｏｎｓｔｒｕｃｔｉｏｎ）与现有方法论进行比较．论文表明可执行定义方法将在软件系统从定义开发到系统实现的进化式开发过程中起着关键的作用，有积极的研究意义