软件功能规约相关论文
ＮＤＲＡＳＳ系统是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统。功能规约自动生成是该系统的主体部分......
文章提出了一种将代数语义、Ｈｏａｒｅ逻辑和ＵＮＩＴＹ逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类......
