RRPDB_REPOSITORY_J
研究成果発表データベース
検索画面


検索キー 年度=2005 発表者名, 所属部署名=システム検証研究

検索結果 (79件HIT)
前へ  1  2  3  4  次へ 

成果分類 題目 発表者 発表年月
 口頭発表   講演題目「ソフトウエア技術:なぜ欧米、新興アジア諸国に勝てないのか」パネリスト   木下 佳樹  2006.03 詳細
 口頭発表   依存型付作譜言語Agdaとその処理系Agate   尾崎 弘幸  2006.03 詳細
 口頭発表   時間付きグラフ書換系の抽象化について   田辺 良則、他  2006.03 詳細
 口頭発表   抽象化によるグラフ書換系活性性質検証の一手法   Carl Frederiksen、他  2006.03 詳細
 口頭発表   A Coalgebraic Representation of Reductin by Cone of Influence   渡邊 宏、他  2006.03 詳細
 誌上発表   モデル検査によるアクティブデータベースルールの自動検証
 
 崔 銀惠、他  2006.03 詳細
 口頭発表   モデル検査によるアクティブデータベースルールの自動検証
 
 崔 銀惠、他  2006.03 詳細
 誌上発表   A Coalgebraic Representation of Reductin by Cone of Influence   渡邊 宏、他  2006.02 詳細
 口頭発表   CPS Translation and Boolean Algebra embedded in Heyting Algebra   竹内 泉  2006.02 詳細
 口頭発表   essentially algebraic structure of simple regular tree languages   高井 利憲、他  2006.02 詳細
 口頭発表   ポインタで表されたデータ構造を扱うプログラムの様相論理を用いた検証方式   田辺 良則  2006.02 詳細
 誌上発表   Model Checking Active Database Rules   崔 銀惠、他  2006.02 詳細
 誌上発表   様相論理とモデル検査   竹内 泉  2006.02 詳細
 誌上発表   Linearity Constraints as Bounded Intervals in Linear Logic Programming   Polakow Jeffrey  2006.02 詳細
 口頭発表   様相論理を使用したヒープ検証方式   田辺 良則、他  2006.01 詳細
 口頭発表   準周期格子の繰り込み   竹内 泉  2006.01 詳細
 口頭発表   ハイティング含意代数の中へのブール代数の埋め込み   竹内 泉  2005.12 詳細
 口頭発表   統合検証環境   永山 操、他  2005.12 詳細
 口頭発表   Agdaコンパイラagateの実装   尾崎 弘幸  2005.12 詳細
 誌上発表   Efficiency Analysis of Model-based Review in Actual Software Design   古澤 仁、他  2005.12 詳細
 口頭発表   一階様相μ計算   岡本 圭史  2005.12 詳細
 誌上発表   Algebraic Structures for Cocomplete Fibrations and Fibred CCCs   西澤 弘毅  2005.12 詳細
 誌上発表   Model Checking Class Specifications for Web Applications   崔 銀惠、他  2005.12 詳細
 口頭発表   Model Checking Class Specifications for Web Applications   崔 銀惠、他  2005.12 詳細
 口頭発表   リアクティブシステムの検証の基本   木下 佳樹  2005.11 詳細
前へ  1  2  3  4  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp