Retrospect and prospect of formal methods education in China

被引：0

作者：

Xu, BW ^{[1
]}

Zhang, YZ

Li, YH

机构：

[1] SE Univ, Dept Comp Sci & Engn, Nanjing 210096, Peoples R China

[2] Jiangsu Inst Software Qual, Nanjing 210096, Peoples R China

来源：

TEACHING FORMAL METHODS, PROCEEDINGS | 2004年 / 3294卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of formal methods education in China and analyze its features in view of occidental and oriental culture. We present some advice for steady and sustained development of Chinese formal education. We conclude that if carrying out some proper innovation, China will make great contribution in the future to formal methods development in the world.

引用

页码：225 / 234

页数：10

共 10 条

[1]

CHEN HW, 1996, J SOFTWARE, V7, P187

[2]

CLARKE E, 1996, 2CS2962178 CMU, P1

[3]

FU Q, 2003, INQUIRY LEARNING W O

[4] 7 MYTHS OF FORMAL METHODS [J].

HALL, A .

IEEE SOFTWARE, 1990, 7 (05) :11-19

[5]

HINCHEY MG, 1995, APPL FORMAL METHODS, P1

[6]

JONATHAN PB, 1995, IEEE COMPUT, V12, P34

[7] Applying formal specification in industry [J].

Larsen, PG ;

Fitzgerald, J ;

Brookes, T .

IEEE SOFTWARE, 1996, 13 (03) :48-+

[8]

*NASA JPL, FORM METH SPEC VER G

[9]

*NASA JPL, 1997, PRACT COMP, V2

[10]

*NASA JPL, 1995, PLANN TECHN INS, V1

← 1 →