中島 震 | 情報・システム研究機構 情報学研

スポンサーリンク

概要

• 同名の論文著者
• 情報・システム研究機構 情報学研の論文著者

関連著者

• 中島 震

  情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ

• 中島 震

  情報・システム研究機構 情報学研

• 中島 震

  国立情報学研究所|総合研究大学院大学

• 中島 震

  総合研究大学院大学|国立情報学研究所

• 中島 震

  特集編集委員

• 中島 震

  国立情報学研究所:総合研究大学院大学

• 中島 震

  国立情報学研

• 中島 震

  国立情報学研究所 アーキテクチャ科学研究系:科学技術振興機構 Sorst

• 中島 震

  国立情報学研究所

• 鵜林尚靖

  九州大学

• 鵜林 尚靖

  東京大学総合文化研究科

• 鵜林 尚靖

  九州工業大学大学院情報工学府

• 鵜林 尚靖

  九州工業大学

• 橋本 祐介

  総合研究大学院大学|日本電気株式会社サービスプラットフォーム研究所

• 鵜林 尚靖

  九州大学,大学院システム情報科学研究院

• 外村 慶二

  九州大学

• 鵜林 尚靖

  九州大学

• 来間 啓伸

  日立製作所システム開発研究所

• 外村 慶二

  九州工業大学大学院情報工学研究科

• 来間 啓伸

  株式会社日立製作所

• 来間 啓伸

  日立製作所システム開発研究所:国立情報学研究所

• 外村 慶二

  九州工業大学

• 武内 良典

  大阪大学大学院情報科学研究科

• 塩塚 大

  九州工業大学大学院情報工学府

• 成瀬 龍人

  九州工業大学大学院情報工学府

• 上田 賀一

  茨城大学

• 野中 哲

  タオベアーズ合同会社

• 上田 賀一

  茨城大学大学院理工学研究科

• 上田 賀一

  茨城大学工学部情報工学科

• 小飼 敬

  茨城工業高等専門学校

• 中島 震

  情報・システム研究機構国立情報学研究所

• 武内 良典

  大阪大学

• 瀬戸 敏喜

  九州工業大学大学院情報工学研究科

• 金川 太俊

  九州工業大学大学院情報工学研究科

• 平山 雅之

  (株)東芝ソフトウェア技術センター

• 境 顕宏

  九州工業大学情報工学部

• 上田 賀一

  茨城大

• 岩井 明史

  株式会社デンソー

• 中島 震

  国立情報研究所

• 平山 雅之

  情報処理推進機構ソフトウェア・エンジニアリング・センター

• ドン シャオシ

  国立情報学研究所

• 谷津 弘一

  タオベアーズ合同会社

• 佐原 伸

  タオベアーズ合同会社

• 鵜林 尚靖

  九州大学大学院システム情報科学研究院

• 岩崎 新一

  日本電気(株)ソフトウェアエンジニアリング本部

• 白石 卓也

  九州工業大学

• 池田 健次郎

  NECソフトウェアデザイン研究所システムデザイン技術部

• 池田 健次郎

  国立情報学研究所necソフトウェアエンジニアリング本部:総合研究大学院大学

• 橋本 祐介

  国立情報学研究所NECソフトウェアエンジニアリング本部

• 岩崎 新一

  国立情報学研究所NECソフトウェアエンジニアリング本部

• 塩塚 大

  九州工業大学|現在 メルコ・パワー・システムズ株式会社

もっと見る 閉じる

著作論文

• Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
• RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
• AOPによるWebアプリケーションの要求監視
• 代数仕様言語Maudeを用いた制約オートマトンの実現(形式的手法)
• Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
• UMLステートダイアグラムの亜種を用いた組み込みソフトウェア振舞い解析(分析・設計技法)
• 3 組み込みソフトウェアのモデル検査技術入門(組み込みソフトウェア開発技術)
• ジョインポイント写像によるドメイン特化AO機構の開発手法
• ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション)
• コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
• 検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)
• Event-Bで書かれたシステム要求仕様の妥当性検査
• Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
• 特集「組込みシステム工学」の編集にあたって
• Webアプリケーション開発向けAOP機構の実装(Webアプリケーション(学生セッション))
• 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
• Alloy : 自動解析可能なモデル規範形式仕様言語
• 有界モデル検査法を用いたCプログラムのモジュラー検証
• FODAフィーチャー・ダイアグラムの形式化と検査の自動化
• 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
• ソフトウェアモデル検査とテストケース生成の統合
• 有限Alloy記述の段階的な構築について

もっと見る 閉じる

スポンサーリンク