Implementation of natural language specifications of communication protocols by executable specifications

• Material Type: 文書・図像類
• Title: Implementation of natural language specifications of communication protocols by executable specifications
• Author/Editor: Kasami, Tadao; Seki, Hiroyuki; Ishihara, Yasunori
• Author Heading: Kasami, Tadao; Seki, Hiroyuki; Ishihara, Yasunori
• Publication, Distribution, etc.: Nara Institute of Science and Technology
• Publication Date: 1994-07
• Publication Date (W3CDTF): 1994-07
• Periodical title: Information Science Technical Report
• No. or year of volume/issue: TR94026
• Issue: TR94026
• ISSN (Periodical Title): ISSN : 0919-9527
• Text Language Code: eng
• Target Audience: 一般
• Access Restrictions: インターネット公開
• Periodical Title (URI): URI; http://isw3.naist.jp/IS/TechReport/
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 奈良先端科学技術大学院大学 : 奈良先端科学技術大学院大学学術リポジトリnaistar

• Summary, etc.: First, this paper defines a subclass of algebraic specifications. Each specification of the subclass consists of two sub-specifications: a BE program ...