キーワード : 仕様記述


確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証
山根 智 林 将志 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/07/01
Vol. J93-D  No. 7 ; pp. 1214-1225
論文種別:  論文
専門分野: ディペンダブルコンピューティング
キーワード: 
確率時間ゲーム理論確率時間システム組込みソフトウェア仕様記述検証
 あらまし | 本文:PDF(345.7KB)

仕様記述におけるHCMからCCMへの自動変換
中島 昭代 川内 静子 廣田 麗子 太田 理 
誌名:   電子情報通信学会論文誌 B
発行日: 2005/03/01
Vol. J88-B  No. 3 ; pp. 574-584
論文種別:  特集論文 (次世代ネットワークソフトウェア論文特集)
専門分野: 仕様技術
キーワード: 
コールモデルモデル変換仕様記述ルールベース言語
 あらまし | 本文:PDF(534.7KB)

線形論理によるペトリネット設計の一手法とその実装
猪股 俊光 高屋敷 光一 
誌名:   電子情報通信学会論文誌 A
発行日: 2004/12/01
Vol. J87-A  No. 12 ; pp. 1528-1541
論文種別:  論文
専門分野: システムと制御
キーワード: 
線形論理ペトリネット仕様記述設計
 あらまし | 本文:PDF(567.7KB)

電話サービスの競合検出に関する技術動向
太田 理 
誌名:   電子情報通信学会論文誌 B
発行日: 2003/04/01
Vol. J86-B  No. 4 ; pp. 611-618
論文種別:  招待論文
専門分野: 
キーワード: 
サービス競合検出形式的手法仕様検証仕様記述
 あらまし | 本文:PDF(131.9KB)

タグ操作を許すデータ駆動プログラムの開発・再利用支援手法
西川 博昭 我孫子 泰祐 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/03/01
Vol. J85-D1  No. 3 ; pp. 294-302
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
仕様記述データ駆動図式履歴依存性副作用ソフトウェア再利用
 あらまし | 本文:PDF(592.7KB)

命題論理に基づいた並行システムの制約付き仕様記述
高橋 薫 佐藤 明子 加藤 靖 白鳥 則郎 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/01/01
Vol. J85-D1  No. 1 ; pp. 91-94
論文種別:  レター
専門分野: 
キーワード: 
並行システム命題論理制約仕様記述
 あらまし | 本文:PDF(104.6KB)

日本語による電話サービス仕様記述における表現の多様性と意味の同一性の認識
小林 吉純 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/08/25
Vol. J82-D1  No. 8 ; pp. 1035-1048
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
電話サービス仕様記述自然言語表現の多様性
 あらまし | 本文:PDF(177.5KB)

ネットワークサービスの規定要因,手順のモデル化に基づく仕様記述支援
小林 吉純 
誌名:   電子情報通信学会論文誌 B
発行日: 1997/11/25
Vol. J80-B1  No. 11 ; pp. 896-908
論文種別:  論文
専門分野: 通信ソフトウェア
キーワード: 
ネットワークサービス仕様記述要求仕様事例ベース自然言語
 あらまし | 本文:PDF(956.4KB)

データフロー図による状態遷移図と呼処理プログラムの一体化
白須 宏俊 指田 均 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/04/25
Vol. J80-D1  No. 4 ; pp. 389-394
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
状態遷移図データフロー図図的プログラミング呼処理プログラム仕様記述
 あらまし | 本文:PDF(398.3KB)

プロセス代数と様相論理を融合した並行システムの仕様記述
和泉 憲明 高松 忍 黄瀬 浩一 福永 邦雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/04/25
Vol. J80-D1  No. 4 ; pp. 411-414
論文種別:  レター
専門分野: 
キーワード: 
プロセス代数様相論理仕様記述ソフトウェア検証
 あらまし | 本文:PDF(269.8KB)

プロセス代数に基づく非同期式論理回路の設計検証
米田 友洋 柴山 充文 南谷 崇 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3 ; pp. 207-217
論文種別:  特集論文 (非同期式回路/システム設計論文小特集)
専門分野: 
キーワード: 
非同期式回路設計検証プロセス代数仕様記述Liveness
 あらまし | 本文:PDF(708.8KB)

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

時間オートマトンによる分散システムの仕様記述と検証の方式の提案
山根 智 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/08/25
Vol. J79-D1  No. 8 ; pp. 511-521
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
分散システム仕様記述検証時間オートマトン言語包含アルゴリズム
 あらまし | 本文:PDF(646.8KB)

広域状態遷移規則を用いた通信サービス仕様記述における可到達解析
佐藤 正和 
誌名:   電子情報通信学会論文誌 B
発行日: 1995/06/25
Vol. J78-B1  No. 6 ; pp. 245-251
論文種別:  論文
専門分野: 通信ソフトウェア
キーワード: 
仕様記述仕様検証プログラム検証可到達解析プロダクションシステム
 あらまし | 本文:PDF(492.3KB)

プロダクトをもとにしたソフトウェアの仕様作成のための会議の分析法
海谷 治彦 佐伯 元司 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/01/25
Vol. J78-D1  No. 1 ; pp. 23-31
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
ソフトウェア工学仕様記述協調作業グループウェア
 あらまし | 本文:PDF(658KB)

SDL仕様のLOTOSによる解釈
安藤 津芳 太田 正孝 高橋 薫 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/06/25
Vol. J76-D1  No. 6 ; pp. 300-314
論文種別:  論文
専門分野: ネットワーク
キーワード: 
仕様記述形式的仕様記述技法SDLLOTOS交換サービス
 あらまし | 本文:PDF(1MB)

代数的仕様の検証のための被覆集合帰納法
酒井 正彦 坂部 俊樹 稲垣 康善 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/03/25
Vol. J75-D1  No. 3 ; pp. 170-179
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
帰納法仕様記述検証等式論理
 あらまし | 本文:PDF(650KB)