SPECIFICATION AND VERIFICATION TECHNOLOGIES FOR COMMUNICATION SOFTWARE

被引：1

作者：

KAJIWARA, M

ITOH, M

ICHIKAWA, H

机构：

[1] MUSASHINO ELECT COMMUN LAB, MUSASHINO, TOKYO 180, JAPAN

[2] NIPPON TELEGRAPH & TEL PUBL CORP, MUSASHINO ELECT COMMUN LAB, MUSASHINO, TOKYO 180, JAPAN

来源：

IEEE COMMUNICATIONS MAGAZINE | 1985年 / 23卷 / 08期

关键词：

D O I：

10.1109/MCOM.1985.1092633

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：15 / 25

页数：11

共 50 条

[21] INTERACTIVE SPECIFICATION ENVIRONMENT FOR COMMUNICATION SERVICE SOFTWARE
NIITSU, Y
MIZUNO, O
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1990, 8 (02) : 181 - 188
[22] FORMAL TECHNIQUES FOR THE SPECIFICATION, VERIFICATION AND CONSTRUCTION OF COMMUNICATION PROTOCOLS
CHOI, TY
IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (10) : 46 - 52
[23] The Verification Approach to Complex Tasks' Functional Specification in Software Crowdsourcing
Shu, Ying
Chen, Haopeng
Li, Shuo
Hu, Fei
PROCEEDINGS OF 2016 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2016, : 171 - 176
[24] ABSTRACTION, IDEALIZATION AND MODELING IN THE SPECIFICATION, CONSTRUCTION AND VERIFICATION OF SOFTWARE SYSTEMS
INHETVEEN, R
LUFT, AL
ANGEWANDTE INFORMATIK, 1983, (12): : 541 - 548
[25] High-quality software through semiformal specification and verification
Stavely, AM
12TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 1999, : 145 - 155
[26] Knowledge-based software architectures: Acquisition, specification, and verification
Tsai, JJP
Liu, A
Juan, E
Sahay, A
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1999, 11 (01) : 187 - 201
[27] Unified property specification for hardware/software co-verification
Xie, Fei
Liu, Huaiyu
COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 483 - +
[28] Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
Liu, Shaoying
TESTS AND PROOFS, TAP 2016, 2016, 9762 : 112 - 129
[29] AUTOMATIC PROGRAMMING BY DESIGN SPECIFICATION DATABASE FOR COMMUNICATION SOFTWARE
MAKUTA, K
AOE, H
ATSUMI, T
YAMAMOTO, T
DALLAS GLOBECOM 89, VOLS 1-3: COMMUNICATIONS TECHNOLOGY FOR THE 1990S AND BEYOND, 1989, : 480 - 486
[30] Visual software requirements specification based on communication model
Ohnishi, A
KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2000, 62 : 191 - 198

← 1 2 3 4 5 →