文献
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)