大蒔 和仁 | 電総研
スポンサーリンク
概要
関連著者
-
大蒔 和仁
電総研
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
大蒔 和仁
電子技術総合研究所
-
磯部 祥尚
電子技術総合研究所
-
佐藤 豊
電子技術総合研究所情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所 情報アーキテクチャ部
-
佐藤 豊
電子技術総合研究所
-
佐藤 嘉一
沖電気工業(株)コンピュータシステム開発本部
-
辻 宏郷
三菱電機(株)情報システム研究所
-
辻 宏郷
三菱電機(株)情報電子研究所
-
清水 敏彦
日本ユニシス
-
板橋 吉徳
松下電器産業
-
磯部 祥尚
産業技術総合研究所
-
辻 宏郷
静岡大学大学院理工学研究科|三菱電機株式会社情報技術総合研究所
-
板橋 吉徳
松下電器産業株式会社
-
清水 敏彦
日本ユニシス(株)生産技術部
-
磯辺 祥尚
電子技術総合研究所 情報アーキテクチャ部
-
山中 顕次郎
株式会社NTTデータ技術開発本部
-
山中 顕次郎
Ntt ソフトウェア研
-
本位田 真一
(株)東芝システム・ソフトウェア生産技術研究所
-
佐伯 元司
東京工業大学
-
小島 功
電総研情報アーキテクチャ部ネットワーク情報ベースラボ
-
小島 功
電子技術総合研究所
-
小島 功
産業技術総合研究所情報技術研究部門
-
小島 功
京都大学工学部
-
加藤 和彦
筑波大学
-
久世 和資
IBM東京基礎研究所
-
小島 功
産業技術総合研究所グリッド研究センター
-
小島 功
電総研情報アーキテクチャ部
-
中田 秀基
電子技術総合研究所
-
佐藤 喜一
沖電気工業
-
山中 顕次郎
日本電気電話
-
山中 顕次郎
日本電信電話(株)NTTソフトウェア研究所
-
山中 顕次郎
NTTソフトウェア研究所
-
中田 秀基
電総研
-
大槻 繁
日立製作所技術研修所
-
山際 基
東洋大学総合情報学部
-
玉井 哲雄
東京大学大学院総合文化研究科広域システム専攻
-
玉井 哲雄
東大
-
二木 厚吉
電子技術総合研究所 ソフトウェア部言語処理研究室
-
大蒔 和仁
電総研情報ベース研究室
-
大槻 繁
(株)エクイティ・リサーチ
-
金藤 栄孝
日立
-
辻 宏郷
三菱電機 情報技総研
-
大槻 繁
日立
-
大槻 繁
株式会社一(いち)
-
大場 善次郎
国立大学法人東京大学大学院工学系研究科
-
二木 厚吉
電子技術総合研究所
-
金藤 栄孝
株式会社日立製作所システム開発研究所
-
磯部 祥尚
電子枝術総合研究所
-
大蒔 和仁
電子枝術総合研究所
-
大場 善次郎
東洋大学総合情報学部総合情報学科
-
尾崎 晴男
東洋大学総合情報学部総合情報学科
-
椿 光太郎
東洋大学総合情報学部総合情報学科
-
大蒔 和仁
東洋大学総合情報学部総合情報学科
-
安達 由洋
東洋大学総合情報学部総合情報学科
-
山際 基
東洋大学総合情報学部総合情報学科
-
椿 光太郎
東洋大学総合情報学部
著作論文
- 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)
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- 情報社会におけるJTC1の役割とこれからの日本--日本がトップに立つために (これからの高度情報化社会を支える情報技術標準)
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 言語システムのためのユ-ザインタ-フェ-ス生成システム (電子計算機相互運用デ-タベ-スシステム)
- 精密ソフトウェア工学のすすめ
- LOTOSに基づくプロトコルの形式記述 (電子計算機相互運用デ-タベ-スシステム)
- 形式仕様記述言語LOTOSの試用経験
- 「事業に活きる我が国発の標準化」特集号について (事業に活きる我が国発の標準化)
- 中尾氏インタビュー 標準によって半年かかっていたことが1ヶ月でできるようになるんです
- 「事業に活きる標準化の力」特集号について (特集 事業に活きる標準化の力)
- もっと戦略的になろう (インタラクティブ・エッセイ)
- いまどきのプロジェクト (インタラクティブ・エッセイ)
- エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
- 真の並行プロセス代数のための決定可能な局所プロセス論理
- 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- A-12-1 分散システムを段階的に合成するための形式的仕様記述言語
- プロセス論理演算子をもつプロセス代数
- 7-333 産学連携による学生の実践力向上に向けた教育プログラムの開発((17)産学連携教育-II,口頭発表)
- 「事業に活きる我が国発の標準化」特集号について
- 「事業に活きる標準化の力」特集号について