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 条

[31] Formal Specification and Automated Verification of Railway Software with Frama-C
Prevosto, Virgile
Burghardt, Jochen
Gerlach, Jens
Hartig, Kerstin
Pohl, Hans
Voellinger, Kim
2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2013, : 710 - 715
[32] Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)
Broy, Manfred
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 1 - 13
[33] Software Specification Refinement and Verification Method with I-Mathic Studio
Hilderink, Gerald H.
COMMUNICATING PROCESS ARCHITECTURES 2006: WOTUG-29, 2006, 64 : 297 - 310
[34] Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)
Broy, Manfred
Communications in Computer and Information Science, 2009, 17 : 1 - 13
[35] Experiences with software specification and verification using LP the Larch proof assistant
Broy, M
FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (03) : 221 - 272
[36] SPECIAL ISSUE ON COMMUNICATION SOFTWARE TECHNOLOGIES - FOREWORD
MARUYAMA, K
WAKAHARA, Y
IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (10) : 921 - 922
[37] Visual software requirements specification technique based on communication model
Ohnishi, A
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2002, E85D (04) : 615 - 622
[38] SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS IN AFFIRM USING STATE TRANSITION MODELS
SUNSHINE, CA
THOMPSON, DH
ERICKSON, RW
GERHART, SL
SCHWABE, D
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (05) : 460 - 489
[39] Formal specification and verification of reusable communication models for distributed systems architecture
Rouland, Quentin
Hamid, Brahim
Jaskolka, Jason
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 108 : 178 - 197
[40] AN APPROACH TO VERIFICATION OF COMMUNICATION IN DISTRIBUTED COMPUTING SYSTEM SOFTWARE
YAU, SS
CHEN, KWI
9TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1989, : 603 - 610

← 1 2 3 4 5 →