LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング)

スポンサーリンク

概要

• 論文の詳細を見る
• FIT(電子情報通信学会・情報処理学会)推進委員会の論文
• 2004-08-20

著者

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 中村 正樹

  金沢大学理工学域電子情報学類

• 中村 正樹

  北陸先端科学技術大学院大学情報科学研究科

• 中村 正樹

  金沢大学 理工学域 電子情報学類

関連論文

• ソフトウェア科学会第3回大会
• B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
• AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
• AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
• 電子社会と法令工学(法情報学最前線)
• パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
• OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
• CSTソリューションコンペティション2010--マルチカーエレベータの最適制御 (コンカレント工学)
• 項書換えコンパイラに関する一考察
• 項書換え系に基づく定理証明支援環境の構築
• 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
• 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
• 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
• 実行可能な形式仕様言語CafeOBJ(1) : CafeOBJの宣言的意味論
• 振舞仕様に基づくシステムの記述方法
• 代数仕様言語OBJによる並行分散システムの形式仕様作成法
• RB-003 An algebraic specification of message passing programming languages
• CafeOBJ入門(6) : 通信プロトコルの検証
• CafeOBJ入門(5) : 認証プロトコルの検証
• CafeOBJ入門(4) : 証明譜による検証法(エージェント)
• CafeOBJ入門(3) : 等式推論と項書換システム
• Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
• CafeOBJ入門(2) : 構文と意味
• CafeOBJ入門(1) : 形式手法とCafeOBJ
• LA-008 実行可能な代数仕様の停止性証明について(モデル・アルゴリズム・プログラミング)
• モジュラーな代数仕様言語のための項書き換えシステム(システム検証の科学技術)
• OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
• 項書き換えシステムにおける可簡約演算子とその応用
• 項書き換えシステムにおける可簡約演算子とその応用
• STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
• B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
• B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア)
• LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング)
• B-1 代数仕様言語CafeOBJのための拡張可能な前処理系(プログラムの理論,B.ソフトウェア)
• 項書換え抽象機械TRAMの設計と実装
• 検証を考慮した仕様記述の指針に関する研究
• 検証を考慮した仕様記述の指針に関する研究
• モジュールシステムの要求仕様と設計仕様
• モジュールシステムを備える書換え抽象機械の提案
• 超並列項書換えシステムの実装と評価
• 超並列項書換えシステムの実装と評価
• 超並列項書換えシステムの実装と評価(並列・分散)
• 代数仕様によるZ仕様の検証支援
• CafeOBJによるプロセス記述ライブラリの作成
• CafeOBJによるODPトレーダ仕様の記述
• B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
• 項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
• 代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証
• 代数仕様言語CafeOBJにおける高信頼システムの記述に関する一考察
• Java仮想機械の形式仕様
• User-defined on-demand matching
• テスト集合余帰納法を用いた振舞等式の検証
• 高信頼コンポーネントソフトウェアの開発支援ツール
• コンポーネントソフトウェア開発用軽量フォーマルメソッド
• 振舞意味論を用いた詳細化検証 : オブジェクト合成と非観測射影演算を用いた新しいアプローチ
• 振舞意味論に基づく仕様の検証法
• 並列分散システムへの振舞意味論の適用について
• 振舞意味論と投影演算に基づく並行システムのノンインターリーブ性の記述および詳細化検証
• 依存対を用いた文脈依存書換え系の停止性判定について
• 消去法による項書換え系の停止性判定について
• 依存対を用いた文脈依存書換え系の停止性判定について
• 消去法による項書換え系の停止性判定について
• 項書換えシステムのための抽象機械の設計について
• OTS/CafeOBJ法における証明譜からのテスト生成
• A Specification Translation from Behavioral Specifications to Rewrite Specifications
• Argument filtering transformation
• 書き換え理論に基づく有機的プログラミング言語GAEAの意味
• 文脈依存書き換えの拡張
• 書き換えによるセキュリティプロトコル帰納的検証(セキュアコンピューティング)
• CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
• CafeOBJによる分散システムの形式仕様作成法
• 形式仕様言語CafeOBJを用いたテキストエディタの仕様記述
• 順序ソート項書換えの効率のよい実現に関する一考察
• A Behavioral Specification of Imperative Programming Languages
• プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
• 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
• 並行項書き換え計算による並行オブジェクト指向言語の実現
• 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論)
• 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム)
• 5. フォーマルメソッドの新展開 : 検証進化可能電子社会の中核技術(Part III:新領域の開拓,フォーマルメソッドの新潮流)
• ドメインの形式記述と検証
• システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
• システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
• システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
• システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
• Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method
• 射影演算に基づくオブジェクト合成における仕様の変更可能範囲
• Logical semantics for CafeOBJ
• 在宅患者見守りのための周辺器具からの情報収集システムの構築 (ユビキタス・センサネットワーク)
• 在宅患者見守りのための周辺器具からの情報収集システムの構築 (アドホックネットワーク)
• CafeOBJを用いた基本データ構造の記述とそれに関するラーニングウェアの作成
• 振舞仕様に基づくAddress Resolution Protocolの仕様記述
• 在宅患者見守りのための周辺器具からの情報収集システムの構築(行動認識,フレッシュマン・セッション,ユビキタス・センサネットワーク,ユビキタス・システム,アドホックネットワーク)
• B-19-17 臀部・足位置検出機能を持つ立ち上がり動作評価システムの試作(B-19.ユビキタス・センサネットワーク,一般セッション)
• B-19-16 在宅患者見守り支援システムの危険行動識別の基礎的評価(B-19.ユビキタス・センサネットワーク,一般セッション)
• K-042 在宅療養患者危険行動検知システムの開発(作業・理学療法のための福祉情報工学,K分野:教育工学・福祉工学・マルチメディア応用)
• 立ち上がり動作における支持基底面および重心可視化システム (イメージ・メディア・クオリティ)
• 立ち上がり動作における支持基底面および重心可視化システム (マルチメディア･仮想環境基礎)
• 立ち上がり動作における支持基底面および重心可視化システム (福祉情報工学)
• 立ち上がり動作における支持基底面および重心可視化システム (画像工学)

もっと見る 閉じる

スポンサーリンク