大蒔 和仁 | 電子技術総合研究所
スポンサーリンク
概要
関連著者
-
大蒔 和仁
電子技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電総研
-
磯部 祥尚
電子技術総合研究所
-
佐藤 豊
電子技術総合研究所情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所 情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所
-
佐伯 元司
東京工業大学
-
本位田 真一
(株)東芝システム・ソフトウェア生産技術研究所
-
深澤 良彰
早稲田大学大学院基幹理工学研究科:国立情報学研究所
-
青山 幹雄
新潟工科大学情報電子工学科
-
佐藤 嘉一
沖電気工業(株)コンピュータシステム開発本部
-
磯田 定宏
豊橋技術科学大学知識情報工学系
-
加賀谷 聡
東芝
-
松村 一夫
東芝
-
辻 宏郷
三菱電機(株)情報システム研究所
-
辻 宏郷
三菱電機(株)情報電子研究所
-
清水 敏彦
日本ユニシス
-
板橋 吉徳
松下電器産業
-
辻 宏郷
静岡大学大学院理工学研究科|三菱電機株式会社情報技術総合研究所
-
板橋 吉徳
松下電器産業株式会社
-
清水 敏彦
日本ユニシス(株)生産技術部
-
磯辺 祥尚
電子技術総合研究所 情報アーキテクチャ部
-
海老原 一郎
電子技術総合研究所情報アーキテクチャ部
-
海老原 一郎
電子技術総合研究所情報アーキテクチャー部
-
山中 顕次郎
株式会社NTTデータ技術開発本部
-
山中 顕次郎
Ntt ソフトウェア研
-
小島 功
電総研情報アーキテクチャ部ネットワーク情報ベースラボ
-
小島 功
電子技術総合研究所
-
小島 功
産業技術総合研究所情報技術研究部門
-
小島 功
京都大学工学部
-
加藤 和彦
筑波大学
-
鳥居 宏次
阪大
-
久世 和資
IBM東京基礎研究所
-
鳥居 宏次
電子技術総合研究所ソフトウェア部
-
大槻 繁
(株)エクイティ・リサーチ
-
大槻 繁
日立
-
大槻 繁
株式会社一(いち)
-
小島 功
産業技術総合研究所グリッド研究センター
-
小島 功
電総研情報アーキテクチャ部
-
永田 守男
慶應義塾大学理工学部管理工学科
-
伊藤 潔
上智大学理工学部情報理工学科
-
青山 幹雄
南山大学情報理工学部ソフトウェア工学科
-
永田 守男
慶応義塾大学理工学部管理工学科
-
上林 憲行
東京工科大学
-
真野 芳久
電子技術総合研究所 ソフトウェア部
-
清木 康
筑波大学電子・情報工学系
-
内平 直志
東芝研究開発センター
-
内平 直志
(株)東芝
-
吉田 裕之
富士通研究所
-
古宮 誠一
情報処理振興事業協会技術センター
-
牧之内 顕文
九州大学工学部
-
上林 弥彦
京都大学工学部
-
中田 秀基
電子技術総合研究所
-
佐藤 喜一
沖電気工業
-
山中 顕次郎
日本電気電話
-
山中 顕次郎
日本電信電話(株)NTTソフトウェア研究所
-
山中 顕次郎
NTTソフトウェア研究所
-
松浦 佐江子
芝浦工業大学システム理工学部
-
松田 元彦
住友金属工業(株)
-
清木 康
筑波大学物理工学系
-
蓬莱 尚幸
セレスター・レキシコ・サイエンシズ
-
上林 憲行
富士ゼロックス(株)システム・コミュニケーション研究所
-
池 克俊
東京工業大学
-
白井 豊
協同システム開発(株)
-
西村 一彦
(株)東芝
-
大槻 繁
(株)日立製作所
-
蓬莱 尚幸
富士通(株)
-
加藤 潤三
日本ユニシス(株)
-
大林 正晴
(株)管理工学研究所
-
松浦 佐江子
(株)管理工学研究所
-
荒谷 徹
富士ゼロックス(株)
-
大木 幹雄
日本電子計算(株)
-
村井 進
フリーランス・テクニカルライター
-
深澤 良彰
早稲田大学
-
清木 康
筑波大 電子・情報工学系
-
蓬莱 尚幸
東京工業大学情報理工学研究科計算工学専攻
-
伊藤 潔
上智大学
-
古宮 誠一
芝浦工業大学大学院 工学研究科
-
中田 秀基
電総研
-
西村 一彦
(株)東芝システム・ソフトウェア技術研究所
-
西村 一彦
東芝 研開セ
-
吉田 裕之
富士通
-
鈴木 則久
Ibm東京基礎研究所
-
松浦 佐江子
芝浦工業大学大学院 工学研究科
-
青山 幹雄
新潟工科大学
-
大槻 繁
日立製作所技術研修所
-
青山 幹雄
南山大学
-
青山 幹雄
南山大学 情報理工学部 ソフトウェア工学科
-
玉井 哲雄
東京大学大学院総合文化研究科広域システム専攻
-
玉井 哲雄
東大
-
二木 厚吉
電子技術総合研究所 ソフトウェア部言語処理研究室
-
杉藤 芳雄
電子技術総合研究所ソフトウェア部
-
大蒔 和仁
電総研情報ベース研究室
-
金 紀柄
ソウル大学校
-
杉藤 芳雄
電子技術総合研究所
-
古宮 誠一
情報処理振興事業協
-
牧之内 顕文
Graduate School Of Information Science And Electrical Engineering Department Of Intelligent Systems
-
加藤 潤三
独立コンサルタント
-
金藤 栄孝
日立
-
大木 幹雄
日本工業大学
-
辻 宏郷
三菱電機 情報技総研
-
内平 直志
東芝 研開セ
-
大林 正晴
管理工学研
-
大蒔 和仁
電子技術総合研究所情報ベース研究室
-
上林 憲行
富士ゼロックス(株)システム実験研究所
-
二木 厚吉
電子技術総合研究所
-
金藤 栄孝
株式会社日立製作所システム開発研究所
-
磯田 定宏
豊橋技術科学大学
-
青山 幹雄
南山大学数理情報学部
著作論文
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]
- 仕様記述過程モデル化のための実験と分析
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オペレーティング・システム、データベース・システム、プログラミング言語の役割と接点
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 複数画面をもつプログラミング環境MDPS
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 現実の並行システムへのプロセス代数の応用 : 経験と課題
- 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- 精密ソフトウェア工学のすすめ
- ソフトウェアにおける信頼性 (高信頼化技術)
- 形式仕様記述言語LOTOSの試用経験
- もっと戦略的になろう (インタラクティブ・エッセイ)
- いまどきのプロジェクト (インタラクティブ・エッセイ)
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- プルーバブル情報ベース技術の確立を目指して
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- プロセス論理演算子をもつプロセス代数
- ソフトウェア作成技術