1
|
面向对象的形式化规约语言GOOZ |
李刚
冯学民
|
《计算机工程》
CAS
CSCD
北大核心
|
2002 |
0 |
|
2
|
一个面向对象的形式化描述语言研究 |
张维明
陈卫东
邓苏
李俊
|
《国防科技参考》
|
1995 |
0 |
|
3
|
基于消息序列的形式化面向对象软件测试技术 |
赖祥伟
张为群
|
《计算机科学》
CSCD
北大核心
|
2002 |
1
|
|
4
|
形式化面向对象方法与并发系统的建模 |
朱兰娟
吴智铭
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
2001 |
1
|
|
5
|
面向对象的标准建模语言UML |
吴水秀
戴先宇
张石林
|
《计算机与现代化》
|
2000 |
5
|
|
6
|
一种面向对象的形式化设计方法──从COOZ需求规格说明到设计 |
袁晓东
李宣东
郑国梁
|
《计算机工程与科学》
CSCD
|
1998 |
1
|
|
7
|
面向对象的软件工程与统一建模语言UML |
陆波
华祖耀
|
《电脑开发与应用》
|
2002 |
10
|
|
8
|
关于面向对象的类的形式化研究 |
李晓燕
林云
蔡霞
|
《计算机科学》
CSCD
北大核心
|
1999 |
0 |
|
9
|
面向对象结合形式化技术的框架式开发方法 |
付亚荣
杨海鹏
柏洁
宋增珍
|
《石油工业计算机应用》
|
1999 |
1
|
|
10
|
一种以面向对象及形式化技术为基础的严格的软件开发方法 |
吴会松
|
《郑州工业大学学报》
|
1997 |
3
|
|
11
|
一个基于Ada的面向对象建模语言(英文) |
戴桂兰
徐宝文
|
《软件学报》
EI
CSCD
北大核心
|
2001 |
0 |
|
12
|
面向对象的统一建模语言UML |
田燕琴
|
《福建电脑》
|
2003 |
2
|
|
13
|
面向对象软件体系结构的形式化模型 |
眭鸿飞
陈松乔
|
《小型微型计算机系统》
CSCD
北大核心
|
2003 |
0 |
|
14
|
一种面向对象建模语言的研究与实现 |
卢正鼎
陈晓萍
|
《华中理工大学学报》
CSCD
北大核心
|
1995 |
0 |
|
15
|
面向对象模型与形式化方法 |
屈玉贵
|
《小型微型计算机系统》
CSCD
北大核心
|
1999 |
0 |
|
16
|
面向对象结合形式化技术的框架式开发方法 |
吴会松
|
《河北师范大学学报(自然科学版)》
CAS
|
1997 |
0 |
|
17
|
面向对象建模语言AML的设计与实现 |
戴桂兰
徐宝文
|
《武汉大学学报(自然科学版)》
CSCD
|
1999 |
4
|
|
18
|
面向对象建模语言AML的代数语义 |
戴桂兰
徐宝文
|
《武汉大学学报(自然科学版)》
CSCD
|
1999 |
4
|
|
19
|
UML——一种应用前景广阔的可视化面向对象建模语言 |
王红
|
《导航定位学报》
|
2003 |
0 |
|
20
|
面向对象的分析、设计及实施直通车——面向对象的统一建模语言及工具 |
廖永红
黄战
|
《电脑与信息技术》
|
2000 |
0 |
|