Blank Cover Image

述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法

フォーマット:
論文
責任表示:
山根, 智 ; Yamane, Satoshi
言語:
日本語
出版情報:
金沢大学 理工研究域電子情報通信学系, 2010-04-01
著者名:
掲載情報:
平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書
巻:
2007-2009
開始ページ:
4p.
バージョン:
author
概要:
リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。<br />研究課題/領域番号:19500025, 研究期間(年度 ):2007-2009 続きを見る
URL:
http://hdl.handle.net/2297/00053964

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

山根, 智, Yamane, Satoshi

金沢大学 理工研究域電子情報通信学系

結城, 浩

ソフトバンククリエイティブ

山根, 智, Yamane, Satoshi

金沢大学 理工研究域電子情報通信学系

深沢, 千尋(1963-)

技術評論社

Pugh, Ken, 角谷, 信太郎, 児島, 修

オライリー・ジャパン, オーム社

McLaughlin, Brett, Pollice, Gary, West,David, 長瀬, 嘉秀, 永田, 渉, テクノロジックアート

オライリー・ジャパン, オーム社 (発売)

山根, 智, Yamane, Satoshi

金沢大学 理工研究域電子情報通信学系

山根, 智   

Information Processing Society of Japan (IPSJ) = 情報処理学会

小林, 貴訓, Htoo Htoo, 大沢, 裕

コロナ社

MBL協議会, 小林, 史典(1949-), 永澤, 茂, 青木, 義男(1957-), 佐久田, 博司(1951-)

コロナ社

館, 宜伸, 山根, 智  

Information Processing Society of Japan (IPSJ) = 情報処理学会

Budd, Timothy A., 1955-, 羽部, 正義

ピアソン・エデュケーション