论文部分内容阅读
本文讨论了面向对象详细设计的规约方法，并提出了详细设计到代码的自动方法，文中（１）提出了一种详细设计形式规约语言ＪＯＯＤＤＬ其中引入了受限谓词的概念和称为ｃｏｍｐｕｔｅ语句的控制抽象机制，由此提高描述的抽象级。（２）提出了相关性及有效序的概念，并基于它们解决了自动转换中目标代码的重用问题，提高了转换效率。（３）提出了基于知识的一种过程式转换技术。