|
1
|
面向对象的形式化规约语言GOOZ |
李刚
冯学民
|
《计算机工程》
CAS
CSCD
北大核心
|
2002 |
0 |
|
|
2
|
基于消息序列的形式化面向对象软件测试技术 |
赖祥伟
张为群
|
《计算机科学》
CSCD
北大核心
|
2002 |
1
|
|
|
3
|
形式化面向对象方法与并发系统的建模 |
朱兰娟
吴智铭
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
2001 |
1
|
|
|
4
|
一种面向对象的形式化设计方法──从COOZ需求规格说明到设计 |
袁晓东
李宣东
郑国梁
|
《计算机工程与科学》
CSCD
|
1998 |
1
|
|
|
5
|
关于面向对象的类的形式化研究 |
李晓燕
林云
蔡霞
|
《计算机科学》
CSCD
北大核心
|
1999 |
0 |
|
|
6
|
一种以面向对象及形式化技术为基础的严格的软件开发方法 |
吴会松
|
《郑州工业大学学报》
|
1997 |
3
|
|
|
7
|
一个基于Ada的面向对象建模语言(英文) |
戴桂兰
徐宝文
|
《软件学报》
EI
CSCD
北大核心
|
2001 |
0 |
|
|
8
|
面向对象软件体系结构的形式化模型 |
眭鸿飞
陈松乔
|
《小型微型计算机系统》
CSCD
北大核心
|
2003 |
0 |
|
|
9
|
面向对象模型与形式化方法 |
屈玉贵
|
《小型微型计算机系统》
CSCD
北大核心
|
1999 |
0 |
|
|
10
|
UML——一种应用前景广阔的可视化面向对象建模语言 |
王红
|
《导航定位学报》
|
2003 |
0 |
|
|
11
|
面向对象分析和设计领域的统一建模语言UML |
张泉
陈涵生
|
《计算机工程》
CAS
CSCD
北大核心
|
1998 |
4
|
|
|
12
|
一种基于Petri网的半形式化面向对象的开发方法 |
葛玮
王斌君
郝克刚
|
《西北大学学报（自然科学版）》
CAS
CSCD
|
1995 |
0 |
|
|
13
|
面向对象数据模型的形式化描述 |
尹七春
柳诚飞
邵志清
|
《计算机学报》
EI
CSCD
北大核心
|
1995 |
1
|
|
|
14
|
面向对象系统耦合性度量方法的形式化描述 |
赵志宏
钟珞
席守卿
李纪华
|
《计算机工程》
CAS
CSCD
北大核心
|
2002 |
0 |
|
|
15
|
基于形式化的面向对象开发方法(FMOO) |
杨红丽
王曙燕
韩俊刚
|
《计算机应用》
CSCD
|
2000 |
0 |
|
|
16
|
一个柔性的形式化过程建模语言(英文) |
陈诚
沈备军
顾毓清
|
《软件学报》
EI
CSCD
北大核心
|
2002 |
3
|
|
|
17
|
一种面向对象的形式化规范说明技术 |
施小英
林轶杰
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
1996 |
0 |
|
|
18
|
带数据工作流的形式化建模语言——数据感知的工作流网 |
王朝霞
王建民
朱笑尘
|
《计算机集成制造系统》
EI
CSCD
北大核心
|
2012 |
2
|
|
|
19
|
面向对象有限元方法及其C++实现 |
王春江
钱若军
董石麟
赵金城
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
2004 |
5
|
|
|
20
|
基于面向对象的交互式电子技术手册数据库建模 |
王辉华
王航宇
卢发兴
张密
|
《计算机工程》
CAS
CSCD
北大核心
|
2003 |
9
|
|
