模块化代数规范说明语言的实现模型
出处
《青岛大学学报（自然科学版）》
CAS
1990年第2期5-12,共8页
Journal of Qingdao University(Natural Science Edition)
-
1殷建平,陈火旺.一积基于Ada的规范说明语言[J].计算机工程与科学,1992,14(1):38-44.
-
2殷建平.软件开发方法与规范说明语言[J].计算机工程与科学,1991,13(2):26-31.
-
3徐志农,苏运霖.基于Petri网的规范说明语言[J].暨南大学学报（自然科学与医学版）,1989,10(3):22-29.
-
4吴永辉.基于思维方式的软件开发[J].计算机工程,1995,21(5):15-18. 被引量：1
-
5朱冰,梅宏,杨芙清.软件开发过程中的形式化方法[J].计算机科学,1995,22(1):31-36. 被引量：7
-
6金立群,钱家骅.非线性代数规范的直接实现技术[J].计算机学报,1996,19(7):530-536.
-
7李中华,李玉茜.代数规范的可计算实现[J].华东师范大学学报（自然科学版）,1991(1):20-26.
-
8冯玉琳.代数规范与对象行为约束[J].计算机学报,1992,15(12):889-897. 被引量：1
-
9邵志清,冯培雄,孙永强.重写系统中解决发散现象的扩充技术[J].计算机应用与软件,2000,17(3):26-32.
-
10陈意云,郭青.代数规范说明的基础[J].计算机工程与设计,1989,10(1):3-12.
;
