文献

J-GLOBAL ID：201702252801016474   整理番号：17A1382464

逐次再帰的Cプログラムの形式的アーキテクチャモデリング【Powered by NICT】

Formal architecture modeling of sequential non-recursive C programs

著者 (4件)： Westman Jonas (KTH Royal Institute of Technology, Brinellvaegen 83, 100 44 Stockholm, Sweden) ,  Nyberg Mattias (KTH Royal Institute of Technology, Brinellvaegen 83, 100 44 Stockholm, Sweden) ,  Gustavsson Joakim (KTH Royal Institute of Technology, Brinellvaegen 83, 100 44 Stockholm, Sweden) ,  Gurov Dilian (KTH Royal Institute of Technology, Lindstedtsvaegen 3, 100 44 Stockholm, Sweden)
資料名： Science of Computer Programming  (Science of Computer Programming)
巻： 146  ページ： 2-27  発行年： 2017年 
JST資料番号： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： Cプログラムの複雑さを管理するために,構造モデルは,高レベル記述として用い,理解,評価し,コード実行の複雑な複雑性を理解せずにCプログラムを管理するために開発可能にした。しかし,その目的を提供するためのアーキテクチャモデルのための,Cプログラムの正確な表現しなければならない。正確な構造モデルを作成する支援するために,本論文では,形式的アーキテクチャモデルのドメインへの逐次非再帰的Cプログラムのドメインからのマッピングを示したが,それぞれ,明確な界面をもつ要素を階層構造であった。階層的に組織化された成分とそれらの界面,両データと関数呼出し依存性を捕捉する,Cプログラムの高レベル評価と解析を可能にし,組成検証のための仕様の組織化および発現の基礎を提供することを示した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 界面 ,  *計算機アーキテクチャ ,  階層構造 ,  *モデリング
準シソーラス用語： 複雑性 ,  構造モデル , 【Automatic Indexing@JST】

著者キーワード (5件)： Cプログラム ,  モデリング ,  アーキテクチャ ,  Component ,  Interfaces

分類 (3件)： 塩基,金属酸化物  (CD01030Z) ,  システム・制御理論一般  (IA02010H) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： アーキテクチャ ,  モデリング