Specification and implementation of a tree interface for ada

被引：0

作者：

Hartwig, M.

Stein, E.

Strobel, R.

机构：

来源：

Journal of Information Processing and Cybernetics | 1991年 / 27卷 / 04期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] The technology of implementation of ADA interface
Zhan, M
Che, WF
NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 82 - 87
[2] A DESIGN AND IMPLEMENTATION OF AN ADA IPC INTERFACE
NAKAMA, M
NAKAO, Z
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1994, E77D (05) : 574 - 578
[3] SPECIFICATION AND IMPLEMENTATION OF GKS APPLICATION SOFTWARE IN ADA (R).
Mac an Airchinnigh, M.
Computer Graphics Forum, 1984, 3 (02) : 153 - 167
[4] The implementation of Ada 2005 interface types in the GNAT compiler
Miranda, J
Schonberg, E
Dismukes, G
RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS, 2005, 3555 : 208 - 219
[5] First experience of conformance testing an application interface specification implementation
Tam, F
Ahvanainen, K
SERVICE AVAILABILITY, 2005, 3335 : 190 - 199
[6] Implementation of TCP/IP-IEEE488.1 interface specification
Zhang, J
Ma, HJ
Wu, GT
PROCEEDINGS OF THE THIRD INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION SCIENCE AND TECHNOLOGY, VOL 3, 2004, : 1184 - 1188
[7] SPECIAL ISSUE ON SPECIFICATION AND TASKING IN ADA
HANNA, FK
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1982, 129 (02): : 37 - 37
[8] AN OVERVIEW OF ANNA, A SPECIFICATION LANGUAGE FOR ADA
LUCKHAM, DC
VONHENKE, FW
IEEE SOFTWARE, 1985, 2 (02) : 9 - 22
[9] ARITHMETIC SPECIFICATION FOR SCIENTIFIC COMPUTATION IN ADA
KLATTE, R
ULLRICH, CP
VONGUDENBERG, JW
IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (11) : 996 - 1005
[10] CLAIMS OF COMPLIANCE WITH ADA SPECIFICATION NO 5
STANFORD, JW
JOURNAL OF THE AMERICAN DENTAL ASSOCIATION, 1967, 74 (07): : 1410 - &

← 1 2 3 4 5 →