1．提出数据精化的完备理论针对当时数据精化方法上存在不完备以及只能处理确定性程序语言等缺陷，何积丰和合作者在论文“DataRefinementRefined”和“PrespecificationinDataRefinement”中给出了一个处理非确定程序语言数据精化的方法，使用“上下仿真映照对”来获得程序模块中各过程的函数说明，给出了完备演算规则。2．建立程序和软件规范的统一数学模型1986年，他与合作者提出了程序分解算子，并将规范语言与程序语言看成是同一类数学对象。3．提出编程统一理论和连接各类程序理论的数学法则。4．用形式化界面理论沟通几种程序语言5、研究软硬件协同设计系统的数学模型
龙爱量子