中島 震 | 特集編集委員
スポンサーリンク
概要
関連著者
-
中島 震
特集編集委員
-
中島 震
情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ
-
中島 震
国立情報学研究所|総合研究大学院大学
-
中島 震
国立情報学研
-
中島 震
総合研究大学院大学|国立情報学研究所
-
中島 震
国立情報学研究所:総合研究大学院大学
-
中島 震
情報・システム研究機構 情報学研
-
中島 震
国立情報学研究所
-
中島 震
国立情報学研究所 アーキテクチャ科学研究系:科学技術振興機構 Sorst
-
鵜林尚靖
九州大学
-
鵜林 尚靖
東京大学総合文化研究科
-
鵜林 尚靖
九州工業大学大学院情報工学府
-
長谷川 哲夫
(株)東芝 研究開発センター
-
長谷川 哲夫
株式会社東芝
-
粂野 文洋
三菱総合研究所:国立情報学研究所
-
鵜林 尚靖
九州工業大学
-
長谷川 哲夫
株式会社 東芝 ソフトウェア技術センター
-
長谷川 哲夫
(株)東芝研究開発センター
-
大須賀 昭彦
株式会社東芝研究開発センター
-
大須賀 昭彦
(株)東芝研究開発センター知識メディアラボラトリー
-
大須賀 昭彦
株式会社東芝
-
粂野 文洋
株式会社三菱総合研究所
-
長谷川 哲夫
(株)東芝
-
中島 震
NEC C&C研究所
-
長 健太
(株)東芝
-
中島 震
Nec C&c メディア研究所
-
橋本 祐介
総合研究大学院大学|日本電気株式会社サービスプラットフォーム研究所
-
鵜林 尚靖
九州大学,大学院システム情報科学研究院
-
外村 慶二
九州大学
-
鵜林 尚靖
九州大学
-
長 健太
株式会社東芝研究開発センター知識メディアラボラトリー
-
長 健太
株式会社東芝
-
来間 啓伸
日立製作所システム開発研究所
-
外村 慶二
九州工業大学大学院情報工学研究科
-
来間 啓伸
株式会社日立製作所
-
来間 啓伸
日立製作所システム開発研究所:国立情報学研究所
-
外村 慶二
九州工業大学
-
武内 良典
大阪大学大学院情報科学研究科
-
塩塚 大
九州工業大学大学院情報工学府
-
大須賀 昭彦
電気通信大学大学院情報システム学研究科
-
成瀬 龍人
九州工業大学大学院情報工学府
-
上田 賀一
茨城大学
-
本位田 真一
国立情報学研究所
-
野中 哲
タオベアーズ合同会社
-
上田 賀一
茨城大学大学院理工学研究科
-
上田 賀一
茨城大学工学部情報工学科
-
長 健太
株式会社 東芝
-
大須賀 昭彦
株式会社 東芝
-
小飼 敬
茨城工業高等専門学校
-
杉山 安洋
日本大学工学部情報工学科
-
杉山 安洋
特集編集委員
-
本位田 真一
株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
武内 良典
大阪大学
-
瀬戸 敏喜
九州工業大学大学院情報工学研究科
-
金川 太俊
九州工業大学大学院情報工学研究科
-
平山 雅之
(株)東芝ソフトウェア技術センター
-
境 顕宏
九州工業大学情報工学部
-
上田 賀一
茨城大
-
岩井 明史
株式会社デンソー
-
中島 震
国立情報研究所
-
平山 雅之
情報処理推進機構ソフトウェア・エンジニアリング・センター
-
中島 震
Necネットワーキング研究所
-
粂野 文洋
株式会社 三菱総合研究所
-
ドン シャオシ
国立情報学研究所
-
谷津 弘一
タオベアーズ合同会社
-
佐原 伸
タオベアーズ合同会社
-
鵜林 尚靖
九州大学大学院システム情報科学研究院
-
西田 豊明
東京大学/奈良先端科学技術大学院大学
-
別府 祥之
NEC Corporation
-
岩崎 新一
日本電気(株)ソフトウェアエンジニアリング本部
-
白石 卓也
九州工業大学
-
池田 健次郎
NECソフトウェアデザイン研究所システムデザイン技術部
-
本位田 真一
特集編集委員
-
西田 豊明
東京大学
-
本位田 真一
東芝研究開発センター
-
中島 震
Nec
-
池田 健次郎
国立情報学研究所necソフトウェアエンジニアリング本部:総合研究大学院大学
-
橋本 祐介
国立情報学研究所NECソフトウェアエンジニアリング本部
-
岩崎 新一
国立情報学研究所NECソフトウェアエンジニアリング本部
-
塩塚 大
九州工業大学|現在 メルコ・パワー・システムズ株式会社
-
長谷川 哲夫
株式会社 東芝
著作論文
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- 代数仕様言語Maudeを用いた制約オートマトンの実現(形式的手法)
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- ジョインポイント写像によるドメイン特化AO機構の開発手法
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション)
- ユビキタスアプリケーション向け移動エージェントの相互運用
- コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- 検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)
- Event-Bで書かれたシステム要求仕様の妥当性検査
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- 特集「組込みシステム工学」の編集にあたって
- 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-4 移動エージェント相互運用の実現 : ディレクトリサーバ
- 3S-3 移動エージェント相互運用の実現 : インカネーションエージェントによる相互運用の実現
- 3S-2 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-1 移動エージェント相互運用の実現 : 背景と構想
- Webアプリケーション開発向けAOP機構の実装(Webアプリケーション(学生セッション))
- 特集「ソフトウェア開発を支援する基盤技術」の編集にあたって(ソフトウェア開発を支援する基盤技術)
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
- Alloy : 自動解析可能なモデル規範形式仕様言語
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- FODAフィーチャー・ダイアグラムの形式化と検査の自動化
- 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
- ソフトウェアモデル検査とテストケース生成の統合
- 有限Alloy記述の段階的な構築について
- 自己適応 Web アプリケーションシステム : 概念アーキテクチャと実現フレームワーク