文献

J-GLOBAL ID：201702255956274043   整理番号：17A0116980

ソフトウェアと環境の間の相互作用の定量的解析【Powered by NICT】

The Quantitative Analysis of Interaction between Software and Environment

著者 (2件)： Ma Yanfang ,  Chen Liang
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ISSSR  ページ： 13-19  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ソフトウェアのセキュリティ問題は主にソフトウエアとその環境の間の相互作用に由来する。本研究では,ソフトウエアとその環境の間の相互作用の定量化モデリングはプロセス計算理論に基づいて確立されるであろう。ソフトウェアの精密化関係は,ソフトウェアとその環境の間の相互作用の能力を比較するために提案した。種々の演算子下での精密化関係の前合同は,ソフトウェアの階層とモジュール設計を支援することを証明した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： セキュリティ ,  *ソフトウェア ,  モデリング ,  モジュラ設計 ,  *相互作用 ,  計算理論 ,  *定量的分析 ,  精密化

分類 (9件)： 無機化合物一般及び元素  (CD01010D) ,  ロボットの運動・制御  (IC04012J) ,  芳香族単環カルボン酸・ペルオキシカルボン酸・チオカルボン酸  (CF05180T) ,  ロボット工学一般  (IC04011S) ,  産業経済  (KA02000Y) ,  脳・神経系モデル  (EL02050C) ,  計算機網  (JC03000K) ,  システム設計・解析  (IA02030D) ,  一般及び無機化合物の蛍光・りん光(分子)  (BH06061R)

タイトルに関連する用語 (3件)： ソフトウェア ,  相互作用 ,  定量的解析