ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 全国大会
  2. 50回
  3. ソフトウェア工学

通信ソフトウェア設計支援環境ITECSにおける仕様検証支援

https://ipsj.ixsq.nii.ac.jp/records/127911
https://ipsj.ixsq.nii.ac.jp/records/127911
04414b66-ee92-4243-b899-74871be0db7b
名前 / ファイル ライセンス アクション
KJ00001334307.pdf KJ00001334307.pdf (199.1 kB)
Item type National Convention(1)
公開日 1995-03-15
タイトル
タイトル 通信ソフトウェア設計支援環境ITECSにおける仕様検証支援
タイトル
言語 en
タイトル The Verification Support in ITECS
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
(株)高度通信システム研究所
著者所属
(株)高度通信システム研究所
著者所属(英)
en
Advanced Intelligent Communication System Labs.
著者所属(英)
en
Advanced Intelligent Communication System Labs.
論文抄録
内容記述タイプ Other
内容記述 通信ソフトウェア等の開発を行う上で、その設計段階において仕様を誤りなく厳密に記述することが重要視されている。このため、種々の形式記述技法(FDT)が提案され、あわせてその支援環境が開発されている。現在我々は、通信ソフトウェアの設計を高信頼かつ効率的に支援するための環境として、FDTの一つであるLOTOS(ISO8807)を中心とした支援環境ITECS(In Tegrated Environment for high reliability Communication Software design)を提案し、開発を行っている。本稿では、ITECSにおける仕様検証支援環境の紹介を行う。
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 全国大会講演論文集

巻 第50回, 号 ソフトウェア工学, p. 199-200, 発行日 1995-03-15
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-21 01:09:18.949640
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3