文献

J-GLOBAL ID：200902236475617997   整理番号：05A0001028

プロジェクト紹介:高信頼組込み用オブジェクト指向設計技術

Project Report: Highly-Reliable Object-Oriented Embedded Software Design

著者 (5件)： 岸知二 (北陸先端科学技術大学院大) ,  青木利晃 (北陸先端科学技術大学院大) ,  中島震 (国立情報学研) ,  野田夏子 (NEC) ,  片山卓也 (北陸先端科学技術大学院大)
資料名： 情報処理学会研究報告  (IPSJ SIG Technical Reports)
巻： 2004  号： 118(SE-146)  ページ： 47-54  発行年： 2004年11月26日 
JST資料番号： Z0031B  ISSN： 0919-6072  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 高信頼性組込み用オブジェクト指向設計技術プロジェクトは,20...

シソーラス用語： *オブジェクト指向設計 ,...
準シソーラス用語： 産学連携 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0001028&from=J-GLOBAL&jstjournalNo=Z0031B") }}

分類 (3件)： 計算機システム開発  (JD02010R) ,  その他のディジタル計算機方式  (JC02050G) ,  計算理論  (JB02000A)

引用文献 (20件)：

• BOSCH, J. Design and use of software architectures. 2000
• CLARKE, E. Model Checking. 1999
• CLEMENTS, P. Software Product Lines Practices and Patterns. 2001
• http://www.eclipse.org/
• HOLZMANN, G. J. The model checker SPIN. IEEE Trans. on Software Engineering. 1997, 23, 5, 279-295

タイトルに関連する用語 (3件)： プロジェクト ,  組込み ,  オブジェクト指向設計