MECHANICAL LANGUAGES - A COURSE SPECIFICATION

被引：1

作者：

GORN, S

机构：

来源：

关键词：

D O I：

10.1145/364005.364035

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：219 / 222

页数：4

共 50 条

[1] SPECIFICATION LANGUAGES FOR MECHANICAL LANGUAGES AND THEIR PROCESSORS - A BAKERS DOZEN
GORN, S
COMMUNICATIONS OF THE ACM, 1961, 4 (12) : 532 - 542
[2] SPECIFICATION LANGUAGES
SCHNUPP, P
COMPUTER PHYSICS COMMUNICATIONS, 1985, 38 (02) : 173 - 179
[3] SPECIFICATION LANGUAGES
BLACKLEDGE, P
IEE PROCEEDINGS-A-SCIENCE MEASUREMENT AND TECHNOLOGY, 1983, 130 (04): : 185 - 189
[4] SPECIFICATION LANGUAGES
不详
KYBERNETES, 1983, 12 (04) : 227 - 227
[5] Languages for the specification of software
Cooke, D
Gates, A
Demirors, E
Demirors, O
Tanik, MM
Kramer, B
JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 269 - 308
[6] FORMAL SPECIFICATION LANGUAGES
PARKER, J
TITTERINGTON, G
ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
[7] Formal specification of visual languages
Gee, DM
INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (07) : 359 - 367
[8] Formal and visual specification languages
Hammad, A
Tatibouët, B
ISE'2001: PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON INFORMATION SYSTEMS AND ENGINEERING, 2001, : 173 - 179
[9] Examination of requirements specification languages
Tse, T.H.
Pong, L.
1600, (34):
[10] THE NEED FOR SPECIFICATION AND TESTING LANGUAGES
COX, BJ
JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1988, 1 (02): : 44 - 47