キーワード : 通信ソフトウェア


テスト駆動開発モデルに基づくIPサービスアプリケーション開発のための試験項目抽出システム
水野 修 郷 裕一 白神 彰則 安部 剛 田中 良明 
誌名:   電子情報通信学会論文誌 B
発行日: 2007/10/01
Vol. J90-B  No. 10 ; pp. 945-956
論文種別:  論文
専門分野: 交換
キーワード: 
通信ソフトウェア試験工程ソフトウェア開発ツールテスト駆動開発
 あらまし | 本文:PDF(1.5MB)

通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法
加藤 尚玄 繁田 好章 田中 亘 長谷川 晴朗 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7 ; pp. 1087-1103
論文種別:  特集論文 (コンカレント・コラボレーション技術論文小特集)
専門分野: 
キーワード: 
MSCペトリネットテスト通信ソフトウェア仕様検証
 あらまし | 本文:PDF(1.2MB)

規則形式の通信サービス仕様からのプロトコル合成
田倉 昭 世良 孝文 太田 理 
誌名:   電子情報通信学会論文誌 B
発行日: 1997/01/25
Vol. J80-B1  No. 1 ; pp. 35-46
論文種別:  論文
専門分野: 通信ソフトウェア
キーワード: 
仕様記述グラフ変換プロトコル合成通信ソフトウェア通信サービス
 あらまし | 本文:PDF(832.1KB)

通信網のための分散処理プラットフォーム
久保田 稔 丸山 勝己 
誌名:   電子情報通信学会論文誌 B
発行日: 1996/05/25
Vol. J79-B1  No. 5 ; pp. 301-309
論文種別:  特集論文 (フレキシブルな通信ネットワーク論文特集)
専門分野: オペレーション,分散システム
キーワード: 
通信網通信ソフトウェア通信サービス分散処理オブジェクト指向
 あらまし | 本文:PDF(700KB)

通信SDL仕様のインプリメンテーション方式
長谷川 晴朗 田中 亘 
誌名:   電子情報通信学会論文誌 B
発行日: 1992/12/25
Vol. J75-B1  No. 12 ; pp. 782-790
論文種別:  論文
専門分野: 通信ソフトウェア
キーワード: 
通信ソフトウェア仕様記述言語ソフトウェア生産性プログラム自動変換
 あらまし | 本文:PDF(614.1KB)