文献

J-GLOBAL ID：202002256459499431   整理番号：20A1800804

ブラックボックス部品からの契約発見【JST・京大機械翻訳】

Contract discovery from black-box components

著者 (5件)： Sharma Vaibhav (University of Minnesota, USA) ,  Byun Taejoon (University of Minnesota, USA) ,  McCamant Stephen (University of Minnesota, USA) ,  Rayadurgam Sanjai (University of Minnesota, USA) ,  Heimdahl Mats P. E. (University of Minnesota, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： WASPI 2018  ページ： 5-8  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 複雑なコンピュータ制御システムは,既存のサブシステムと利用可能なコンポーネントがシステムアーキテクチャと駆動設計決定に顕著な影響を持つ中アウト方式で一般的に構築されている。システム設計の間,建築家は,アーキテクチャに指定される部品が,望ましいシステム挙動を達成すると確認しなければならない。これは,通常,設計-検証サイクルの別の反復を誘発する要求への更なる設計修正または調整をもたらす。第三者から取得されるソフトウェア部品のために,しばしば,コンポーネントのシステム関連挙動に関する情報の唯一の決定的源は,そのオブジェクトコードである。既存の静的および動的解析技法を用いて,システム設計者を支援できる契約を発見することができ,特に,オブジェクトコードの記号実行が,この目的に特に良く適しているかを,特に論じた。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： システム設計 ,  *ブラックボックス ,  計算制御 ,  建築家 ,  計算機アーキテクチャ ,  システムアーキテクチャ ,  ソフトウェアコンポーネント ,  システムエンジニア ,  動的解析
準シソーラス用語： サブシステム ,  オブジェクトコード , 【Automatic Indexing@JST】

著者キーワード (3件)： 二値解析 ,  契約発見 ,  記号実行

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

タイトルに関連する用語 (3件)： ブラックボックス ,  契約 ,  発見