A SPECIFIERS INTRODUCTION TO FORMAL METHODS

被引：194

作者：

WING, JM

机构：

来源：

关键词：

D O I：

10.1109/2.58215

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：8 / &

共 92 条

[1]

ABRIAL JR, 1988, B USER MANUAL

[2]

ALFORD M, 1985, COMPUTER MAGAZIN APR, P36

[3] A Proof System for Communicating Sequential Processes [J].

Apt, Krzysztof R. ;

Francez, Nissim ;

De Roever, Willem P. .

ACM Transactions on Programming Languages and Systems, 1980, 2 (03) :359-385

[4] TRANSFORMATIONAL IMPLEMENTATION - AN EXAMPLE [J].

BALZER, R .

[5]

BAUER FL, 1985, LECTURE NOTES COMPUT, V183

[6]

BEVIER WR, 1987, 11 COMP LOG INC TECH

[7]

BOYER RS, 1979, ACM MONOGRAPH SERIES

[8]

BROWNE MC, 1985, P IEEE INT C COMPUTE, P545

[9]

Broy M., 1982, Theoretical Foundations of Programming Methodology. Lecture Notes of an International Summer School, P565

[10]

BURROWS MM, 1989, P S OPERATING SYSTEM