文献

J-GLOBAL ID：201102237075869738   整理番号：11A1333532

コンポーネント・ベースのソフトウェアシステムの非機能的特性の形式仕様 意味的フレームワークおよびそのいくつかの応用

Formal specification of non-functional properties of component-based software systems A semantic framework and some applications thereof

著者 (1件)： ZSCHALER Steffen (Lancaster Univ., Computing Dep., Lancaster, GBR)
資料名： Software and Systems Modeling  (Software and Systems Modeling)
巻： 9  号： 2  ページ： 161-201  発行年： 2010年04月 
JST資料番号： A1112A  ISSN： 1619-1366  資料種別： 逐次刊行物 (A)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (7件)： コンポーネント ,  ソフトウェアシステム ,  形式 ,  仕様 ,  意味 ,  フレームワーク ,  応用