文献

J-GLOBAL ID：201102207505118565   整理番号：11A0136197

アンビエント-インテリジェントアプリケーションの形式的設計

Formal Design of Ambient Intelligence Applications

著者 (2件)： CORONATO Antonio (ICAR, CNR, Naples, ITA) ,  DE PIETRO Giuseppe (ICAR, CNR, Naples, ITA)
資料名： Computer  (Computer)
巻： 43  号： 12  ページ： 60-68  発行年： 2010年12月 
JST資料番号： B0794A  ISSN： 0018-9162  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： アンビエント-インテリジェント(AmI)アプリケーションの設計には,厳密なソフトウェアエンジニアリング手法が求められる。ここでは,実際的な経験を活かした一連の形式的ツールと仕様記述について述べた。まず,AmIアプリケーションに関するメタモデリングについて述べた上で,それに関する仕様記述言語とツールを紹介した。それらには,形式的オントロジー,アンビエント計算とアンビエント論理,設計ツール”アンビエントデザイナ”,およびリアルタイム時間論理が含まれる。次に,その設計プロセスにおける非形式的モデリング,構造モデリング,行動モデリング,および検証について解説した。

シソーラス用語： 計算機システム開発 ,  システム ,  *ソフトウェア工学 ,  *形式的手法【計算機】 ,  オントロジー ,  時間論理 ,  モデリング ,  仕様記述 ,  GUI【計算機】 ,  支援プログラム ,  モデル ,  ソフトウェア設計
準シソーラス用語： インテリジェントシステム ,  アプリケーション開発 ,  ソフトウェアエンジニアリング ,  形式的仕様記述 ,  ソフトウェアツール ,  メタモデル

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： アプリケーション ,  設計