分散オブジェクト指向UIMSの実行時ア-キテクチャの設計と実現 (柔構造情報処理方式に関する研究<特集>)
スポンサーリンク
概要
著者
-
佐藤 豊
電子技術総合研究所情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所 情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
関連論文
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- 情報社会におけるJTC1の役割とこれからの日本--日本がトップに立つために (これからの高度情報化社会を支える情報技術標準)
- UDEC-IIにおける直接実行アルゴリズムの設計
- 高階論理を使ったオブジェクト指向データベースのモデル化
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- プロトコル中継システムDeleGateの開発ストーリー(ものを作るこころ(第23回))
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 現実の並行システムへのプロセス代数の応用 : 経験と課題
- 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
- 分散オブジェクト指向UIMSの実行時ア-キテクチャの設計と実現 (柔構造情報処理方式に関する研究)
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 精密ソフトウェア工学のすすめ
- HTTPメッセージのコンテンツ変換を行う共通フィルタサーバの設計と試作(システム分野)
- HTTPメッセ-ジのコンテンツ変換を行う共通フィルタサ-バの設計と試作
- インターネット防火壁の基礎技術と応用 : DeleGateの仕組み
- 5. 事例 5.2 多重言語を指向する統合プログラミングシステムの開発経験 (<大特集>新しいプログラミング環境)
- 大規模LANの稼働実態とその解析
- 「事業に活きる我が国発の標準化」特集号について (事業に活きる我が国発の標準化)
- 中尾氏インタビュー 標準によって半年かかっていたことが1ヶ月でできるようになるんです
- 「事業に活きる標準化の力」特集号について (特集 事業に活きる標準化の力)
- もっと戦略的になろう (インタラクティブ・エッセイ)
- いまどきのプロジェクト (インタラクティブ・エッセイ)
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- プルーバブル情報ベース技術の確立を目指して
- エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
- 真の並行プロセス代数のための決定可能な局所プロセス論理
- 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- A-12-1 分散システムを段階的に合成するための形式的仕様記述言語
- プロセス論理演算子をもつプロセス代数
- 特集「ソフトウェア工学の基礎」の編集にあたって ( ソフトウェア工学の基礎)
- 7-333 産学連携による学生の実践力向上に向けた教育プログラムの開発((17)産学連携教育-II,口頭発表)
- ソフトウェア作成技術
- 80-08 述語変換子のいくつかの性質
- 「事業に活きる我が国発の標準化」特集号について
- 「事業に活きる標準化の力」特集号について