プログラム合成/変換特集の編集にあたって (<特集>プログラム合成/変換)
スポンサーリンク
概要
著者
関連論文
-
ソフトウェア科学会第3回大会
-
B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
-
AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
-
電子社会と法令工学(法情報学最前線)
-
パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
-
ソフトウェア設計プロセス構成法の一提案
-
出力指向の段階的詳細化による設計法
-
人工衛星チェックアウト・システムの基本設計プロセスのプロセス・モデルHFSPによる記述とその評価
-
ソフトウェアプロセスの分析と評価(その2)
-
ソフトウェア・プロセスを利用した教育用ツールの開発(その2)
-
第4回ソフトウェアプロセスワークショップ
-
属性文法 : 構造指向的かつ関数的計算モデル
-
ソフトウェア基礎研究体制の充実を
-
第13回ACM POPL出席報告
-
On the Description of the Communication Protocol HDLC in cHFP
-
並行処理のための関数型計算モデルconcurrent HFP
-
属性文法による在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
-
コンパイラ生成のための意味付け構文図とその評価
-
Lorel-2実行システムの構成とそのファームウェア化の効果
-
Lorel-2言語について
-
分割アルゴリズムに基づく同型グラフの検索について
-
リスト構造に対する整合機能の形式化
-
リンク手法による多変数関数の極値探索
-
画像構造線の大域的性質に関する計算機実験とその考察 (パターン情報処理)
-
正規集合の構造母関数の特性化
-
項書換えコンパイラに関する一考察
-
項書換え系に基づく定理証明支援環境の構築
-
実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
-
実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
-
実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
-
実行可能な形式仕様言語CafeOBJ(1) : CafeOBJの宣言的意味論
-
振舞仕様に基づくシステムの記述方法
-
代数仕様言語OBJによる並行分散システムの形式仕様作成法
-
質の高い学会活動を
-
非手続き型言語におけるデータ構造 (データ構造)
-
属性文法型計算モデル (非手続き型プログラミングのための計算モデル)
-
J.D.Ullman 著, "Fundamental Concepts of Programming Systems", Addison-Wesley Pub. Co., B5判, 328ぺージ, \5,900, 1975
-
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トレーダ仕様の記述
-
オブジェクト指向属性文法OOAGの高速な処理系の設計と実現
-
B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
-
項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
-
代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証
-
代数仕様言語CafeOBJにおける高信頼システムの記述に関する一考察
-
自然言語処理を目的とした属性文法評価システム
-
双方向性階層的関数型プログラミングBi-HFPとその構文解析への応用
-
Java仮想機械の形式仕様
-
テスト集合余帰納法を用いた振舞等式の検証
-
高信頼コンポーネントソフトウェアの開発支援ツール
-
コンポーネントソフトウェア開発用軽量フォーマルメソッド
-
振舞意味論を用いた詳細化検証 : オブジェクト合成と非観測射影演算を用いた新しいアプローチ
-
振舞意味論に基づく仕様の検証法
-
並列分散システムへの振舞意味論の適用について
-
振舞意味論と投影演算に基づく並行システムのノンインターリーブ性の記述および詳細化検証
-
項書換えシステムのための抽象機械の設計について
-
書き換え理論に基づく有機的プログラミング言語GAEAの意味
-
文脈依存書き換えの拡張
-
書き換えによるセキュリティプロトコル帰納的検証(セキュアコンピューティング)
-
CafeOBJによる分散システムの形式仕様作成法
-
形式仕様言語CafeOBJを用いたテキストエディタの仕様記述
-
順序ソート項書換えの効率のよい実現に関する一考察
-
プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
-
特集「非手続き型プログラミングのための計算モデル」の編集にあたって
-
並行項書き換え計算による並行オブジェクト指向言語の実現
-
有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論)
-
多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム)
-
5. フォーマルメソッドの新展開 : 検証進化可能電子社会の中核技術(Part III:新領域の開拓,フォーマルメソッドの新潮流)
-
ドメインの形式記述と検証
-
射影演算に基づくオブジェクト合成における仕様の変更可能範囲
-
Logical semantics for CafeOBJ
-
CafeOBJを用いた基本データ構造の記述とそれに関するラーニングウェアの作成
-
振舞仕様に基づくAddress Resolution Protocolの仕様記述
もっと見る
閉じる
スポンサーリンク