Prototyping realistic programming languages based on formal specifications

被引：0

作者：

Poetzsch-Heffter, Arnd ^{[1
]}

机构：

[1] Fern Universitaet, Hagen, Germany

来源：

Acta Informatica | 1998年 / 34卷 / 10期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：737 / 772

共 50 条

[41] A mobile system of word-for-word translation based on formal specifications for rendering of scientific texts in inflectional languages
Mishchenko, NM
CYBERNETICS AND SYSTEMS ANALYSIS, 1999, 35 (01) : 32 - 39
[42] A mobile system of word-for-word translation based on formal specifications for rendering of scientific texts in inflectional languages
N. M. Mishchenko
Cybernetics and Systems Analysis, 1999, 35 : 32 - 39
[43] TOWARD KNOWLEDGE-BASED SPECIFICATIONS OF LANGUAGES
MERISTE, M
PENJAM, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 : 65 - 76
[44] Software rapid prototyping based on formal methods
Zhejiang Daxue Xuebao Ziran Kexue Ban, 6 (783-791):
[45] PROTOCOL TRACE ANALYSIS BASED ON FORMAL SPECIFICATIONS
KIM, MC
CHANSON, ST
VUONG, ST
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 393 - 408
[46] Formal specifications of computer-based systems
Sveda, M
Rattray, C
Rozenblit, J
NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 224 - 225
[47] Formal specifications of computer-based systems
Sveda, M
Rattray, C
EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 357 - 358
[48] Formal specifications of computer-based systems
Sveda, M
Rattray, C
Rozenblit, J
ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 169 - 172
[49] PLATING SPECIFICATIONS - ARE THEY REALISTIC
THOMAS, JD
SAE TRANSACTIONS, 1967, 75 : 70 - &
[50] REALISTIC MASK SPECIFICATIONS
WISHNUFF, KM
SOLID STATE TECHNOLOGY, 1988, 31 (05) : 123 - 125

← 1 2 3 4 5 →