キーワード : 検証


決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成
堀田 大貴 平山 秀昭 早瀬 健夫 田原 康之 大須賀 昭彦 
誌名:   
発行日: 2018/03/01
Vol. J101-D  No. 3 ; pp. 530-538
論文種別:  特集論文 (学生論文特集)
専門分野: オフィスインフォメーションシステム,e-ビジネスモデリング
キーワード: 
ビジネスプロセス検証機械学習プロセスマイニング
 あらまし | 本文:PDF(1.2MB)

Webシステムによる学生授業評価アンケートの実施方法とその検証
田岡 智志 渡邉 敏正 
誌名:   電子情報通信学会論文誌 D
発行日: 2014/05/01
Vol. J97-D  No. 5 ; pp. 1024-1034
論文種別:  論文
専門分野: 教育工学
キーワード: 
学生による授業評価アンケートWebシステム実施検証
 あらまし | 本文:PDF(1.1MB)

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

XML文書に対するアクセシビリティガイドライン適合性検証
高田 喜朗 中村 岳志 関 浩之 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4 ; pp. 705-715
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: ソフトウェア
キーワード: 
アクセシビリティガイドラインXML仕様記述言語検証
 あらまし | 本文:PDF(258.2KB)

インパルス性雑音除去のための高精度な雑音検出法
近藤 啓子 長谷山 美紀 北島 秀夫 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/05/01
Vol. J86-D2  No. 5 ; pp. 654-667
論文種別:  論文
専門分野: 画像処理,画像パターン認識
キーワード: 
インパルス性雑音雑音検出エッジノイズ画像メジアンフィルタ検証
 あらまし | 本文:PDF(866.7KB)

認証プロトコルの完全性を自動検証するシステム
齋藤 孝道 Wu WEN 溝口 文雄 
誌名:   電子情報通信学会論文誌 A
発行日: 2002/02/01
Vol. J85-A  No. 2 ; pp. 207-213
論文種別:  論文
専門分野: 情報セキュリティ基礎
キーワード: 
情報セキュリティ認証プロトコル検証
 あらまし | 本文:PDF(259.3KB)

IO正則表現によるデータフローネットワークの検証
林 雄二 山口 忠 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/06/25
Vol. J81-D1  No. 6 ; pp. 755-769
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
IO正則式検証ストリームデータフローネットワーク不動点
 あらまし | 本文:PDF(860.1KB)

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

不動点計算によるステートチャートの検証手法の研究
山根 智 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/04/25
Vol. J79-D1  No. 4 ; pp. 188-197
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
不動点計算ステートチャート検証モデルチェッキング汎用時相論理
 あらまし | 本文:PDF(558.9KB)

順序回路の代数的仕様とその検証-モジュール数がパラメータ化されている場合-
侯 豫榕 佐藤 洋一郎 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/11/25
Vol. J76-D1  No. 11 ; pp. 594-603
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
順序回路代数的仕様記述検証リングアービタ
 あらまし | 本文:PDF(674.7KB)

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

様相論理による並行プログラムの積重ね式検証法
内平 直志 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/02/25
Vol. J75-D1  No. 2 ; pp. 76-87
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
検証並行プログラム様相論理遷移システム等価性
 あらまし | 本文:PDF(781.6KB)