软件开发过程的开发图描述

提出一种开发图工具用来将程序开发过程形式化，描述开发中涉及的各种与不同方式相关的单元集，从而解决对开发过程的分析个性和管理问题。并用ＵＭＩＸ下的ＬＥＸ作为例子说明了这种工具的使用。     

基于ECC的程序规范描述

介绍一种扩展的类型理论构造演算ＥＣＣ；讨论了用它表示松散语义抽象类型的程序规范的方法，然后介绍如何用函数型语言ＭＬ使这种方法得以实现。