文献

J-GLOBAL ID：201702220620117554   整理番号：17A1636484

Z言語を用いたオンライン食品オーダリングシステムのための形式的仕様記述【Powered by NICT】

Formal Specification for Online Food Ordering System Using Z Language

著者 (3件)： Saratha P. ,  Uma G. V. ,  Santhosh B.
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICRTCCM  ページ： 343-348  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自然言語処理(NLP)ソフトウェア要求に対する曖昧な表現に向けられた。様々なレベルでのあいまいさは,異なる表現と意味を生成する。本論文では,形式的手法を用いたソフトウェア要求仕様(SRS)に対する不確定さのレベルの問題を減少させた。最終結果は,Z言語による仕様の有効性を示した。Z仕様は詳細精度と効率を改善するためにオンライン食品オーダリングシステムの商業的適用のために作成した。食品発注システムのための利害関係者のニーズは,プロジェクト目標から収集した。システムはユースケース図の統一モデリング言語(UML)図を用いて設計した。仕様はあいまいさを除去するためのシステム挙動のために作成した。これとともに,Z/EVESツールを実証のためのZ仕様の評価に用いた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： UML【モデリング言語】 ,  *食品 ,  不確実性 ,  曖昧さ ,  ソフトウェア ,  自然言語処理
準シソーラス用語： ユースケース ,  利害関係者 ,  *形式的仕様記述 ,  *オンライン ,  *Z言語 , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： Z言語 ,  オンライン ,  食品 ,  オーダリングシステム ,  形式的仕様記述