岸 知二 | 北陸先端科学技術大学院大学:(現)早稲田大学理工学術院創造理工学部経営システム工学科
スポンサーリンク
概要
関連著者
-
岸 知二
北陸先端科学技術大学院大学:(現)早稲田大学理工学術院創造理工学部経営システム工学科
-
岸 知二
Jaist:nec
-
岸 知二
日本電気(株)
-
岸 知二
Necマイコンソフト開発環境研究所
-
岸 知二
北陸先端科学技術大学院大学大学情報科学研究科
-
岸 知二
日本電気株式会社
-
岸 知二
北陸先端科学技術大学院大学情報科学研究科
-
岸 知二
北陸先端科学技術大学院大学 情報科学研究科
-
岸 知二
早稲田大学
-
岸 知二
北陸先端科学技術大学院大学
-
岸 知二
日本電気(株)ソフトウェア生産技術開発本部
-
岸 知二
早稲田大
-
岸 知二
早稲田大学経営システム工学科
-
野田 夏子
NECサービスプラットフォーム研究所
-
野田 夏子
Nec共通基盤ソフトウェア研究所
-
野田 夏子
Microcomputer Software Development Laboratories Nec Corporation
-
野田 夏子
Nec
-
金井 勇人
北陸先端科学技術大学院大学
-
青木 利晃
北陸先端科学技術大学院大学
-
土屋 達弘
大阪大学大学院情報科学研究科
-
中村 匡秀
神戸大学大学院工学研究科
-
片山 卓也
北陸先端科学技術大学院大学
-
中村 匡秀
神戸大学大学院 工学研究科
-
細合 晋太郎
北陸先端科学技術大学院大学
-
鷲崎 弘宜
早稲田大学
-
羽生田 栄一
株式会社豆蔵
-
石黒 正揮
株式会社三菱総合研究所
-
鷲崎 弘宜
早稲田大学:国立情報学研究所graceセンター
-
土屋 達弘
大阪大学
-
片山 卓也
中部大学大学院
-
中村 匡秀
神戸大学大学院システム情報学研究科
-
吉村 健太郎
(株)日立製作所
-
中島 達夫
早稲田大学 基幹理工学部 情報理工学科
-
肥後 芳樹
大阪大学大学院情報科学研究科
-
川口 真司
奈良先端科学技術大学院大学
-
森崎 修司
奈良先端科学技術大学院大学情報科学研究科
-
中村 匡秀
神戸大学大学院工学研究科情報知能学専攻
-
野中 誠
東洋大学経営学部
-
高橋 弘
富士電機アドバンストテクノロジー(株)
-
徳田 寛和
富士電機アドバンストテクノロジー(株)
-
中鉢 欣秀
産業技術大学院大学
-
中鉢 欣秀
慶應義塾大学sfc研究所
-
中鉢 欣秀
長岡技術科学大学経営情報系:科学技術振興機構
-
吉村 健太郎
株式会社日立製作所日立研究所
-
梅村 晃広
株式会社NTTデータ
-
片山 卓也
神奈川工科大学情報学部情報工学科
-
中島 達夫
早稲田大学理工学術院
-
肥後 芳樹
大阪大学
-
森崎 修司
奈良先端科学技術大学院大学 情報科学研究科
-
中村 匡秀
Faculty Of Computer Science And Systems Engineering Kobe University
-
川口 真司
奈良先端科学技術大学院大学情報科学研究科
-
中島 達夫
早稲田大学
-
井上 尚紀
早稲田大学経営システム工学科
-
Namiki Mikio
Department Of Urology Kanazawa University Graduate School Of Medical Science
-
Naoi Makito
Department Of Urology Toho University Sakura Medical Center
-
鷲崎 弘宜
早稲田大学基幹理工学部情報理工学科
-
中村 匡秀
神戸大学大学院システム情報学研完科
-
井上 尚紀
早稲田大学
-
森崎 修司
奈良先端科学技術大学院大学
-
桑原 寛明
立命館大学情報理工学部
-
中村 匡秀
奈良先端科学技術大学院大学情報科学研究科
-
野呂 昌満
南山大学数理情報学部
-
鵜林 尚靖
九州工業大学大学院情報工学府
-
中島 震
国立情報学研究所
-
位野木 万里
東芝ソリューション(株)
-
野呂 昌満
南山大学
-
野呂 昌満
南山大
-
野田 夏子
日本電気株式会社共通基盤ソフトウェア研究所
-
岸 知二
NECソフトウェアテザイン研究所
-
岸 知二
JAIST
-
大森 隆行
立命館大学理工学研究科
-
湯淺 太一
京都大学大学院工学研究科情報工学専攻
-
野中 誠
東洋大学
-
吉田 和樹
東芝ソリューション株式会社
-
吉田 和樹
東芝
-
位野木 万里
東芝ソリューション(株)it技術研究所
-
位野木 万里
東芝ソリューション株式会社:早稲田大学
-
大野 真一朗
北陸先端科学技術大学院大学情報科学研究科
-
野田 夏子
NEC Corporation
-
志村 武
沖電気工業株式会社
-
志村 武
沖電気工業(株)通信ネットワーク事業本部
-
鵜林尚靖
九州大学
-
松村 一夫
(株)東芝システム・ソフトウェア生産技術研究所
-
落水 浩一郎
北陸先端大
-
湯淺 太一
京都大学大学院情報学研究科
-
湯浅 太一
豊橋技術科学大学
-
吉村 健太郎
日立製作所日立研究所
-
飯島 正
慶應義塾大学理工学部首理工学科
-
中谷 多哉子
SLagoon
-
長野 宏宣
日本電信電話公社横須賀電気通信研究所処理プログラム研究室
-
鷲崎 弘宜
早稲田大学|国立情報学研究所graceセンター
-
中谷 多哉子
筑波大学 大学院 ビジネス科学研究科
-
岸 知二
北陸先端大
-
松本 健一
奈良先端大
-
片岡 欣夫
(株)東芝 研究開発センター
-
志村 武
沖電気工業
-
忠海 均
日本電信電話(株)ソフトウェア研究所
-
篠木 裕二
(株)日立製作所ソフトウェア開発本部
-
薮田 和夫
富士通(株)システム本部
-
岸 知二
NEC エレクトロンデバイスデバイス SI事業開発本部
-
野田 夏子
NEC エレクトロンデバイスデバイス SI事業開発本部
-
野田 夏子
NECエレクトロンデバイスデバイスSI事業開発本部
-
鵜林 尚靖
東京大学総合文化研究科
-
中島 達夫
早稲田大学理工学術院基幹理工学研究科
-
中島 達夫
早稲田大学基幹理工学部情報理工学科
-
天嵜 聡介
岡山県立大学
-
中島 震
情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ
-
野田 夏子
日本電気株式会社サービスプラットフォーム研究所
-
長野 宏宣
Nttソフトウェア本部
-
長野 宏宣
日本電信電話(株)ソフトウェア本部
-
飯島 正
慶応大
-
位野木 万里
東芝ソリューション
-
大森 隆行
立命館大学情報理工学部
-
大森 隆行
立命館大学
-
薮田 和夫
富士通(株)
-
佐原 伸
株式会社CSK
-
岸 知二
Nec
-
飯島 正
慶應義塾大学
-
中島 震
国立情報学研究所|総合研究大学院大学
-
忠海 均
Ntt ソフトウエア研
-
石田 裕三
株式会社野村総合研究所情報技術本部先端技術開発部
-
中島 震
国立情報学研
-
野中 誠
東洋大学経営学部(独)情報処理推進機構ソフトウェアエンジニアリングセンター
-
中島 震
総合研究大学院大学|国立情報学研究所
-
桑原 寛明
立命館大学
-
大森 隆行
立命館大学情報理工学部情報システム学科
-
鵜林 尚靖
九州大学,大学院システム情報科学研究院
-
大森 隆行
立命館大学情報理工部情報システム学科
-
吉村 健太郎
日立製作所
著作論文
- モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
- モデル検査のためのアスペクト指向でのモデル記述支援環境(形式手法(1)・言語(学生セッション))
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- アスペクト指向設計モデルの一提案(組込み・アスペクト指向)
- 2層フィーチャモデルを用いた開発手法の提案と実装(開発支援・開発手法)
- ソフトウェア工学による組込みソフトウェアの開発効率化 : 規模と複雑さとの戦い
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- 1L-3 UML設計に対するモデル検査のための検証パターン(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
- UML設計モデル検査技術のための検証パターンの提案
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- 1L-1 モデル検査技術によるUML設計検証に関する考察(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- モデル検査によるアーキテクチャ設計検証(アーキテクチャ)
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 特集「未来志向のソフトウェア工学」の編集にあたって
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- 第11回ソフトウェアプロダクトライン国際会議(SPLC2007)参加報告(ソフトウェア評価/プロダクトライン)
- ウインターワークショップ2010・イン・倉敷開催報告
- モデル検査のための設計モデル構築手法に関する考察
- モデル検査のための設計モデル構築手法に関する考察
- ウインターワークショップ2010・イン・倉敷開催報告
- ソフトウェア設計・検証手法に関する考察〜モデリングの観点より〜
- 21世紀へのソフトウェア開発技術
- 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- ソフトウェア設計に対するモデル検査のための検証パターン
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- ITSシステムアーキテクチャの活用 (ITS特集) -- (ITS基盤システム構築のために)
- 木構図用 CASE ツール間のデータ交換言語: DXL
- プローブ情報システムのアーキテクチャに関する調査研究--アーキテクチャ観点からの標準化戦略の検討 (特集 ITS) -- (研究活動紹介 標準化に関する研究)
- プロダクトライン開発における多様性管理に関する考察(組込みソフトウェア工学シンポジウム)
- ソフトウェアアーキテクチャの評価手法について
- プロダクトラインのスコープ決定手法について
- 1 プロダクトライン開発の全体像と要求工学(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- 巻頭言 : プロダクトライン開発と再利用技術(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- スケーラブルなモデリング技法に関する考察
- ウィンターワークショップ2011・イン・修善寺開催報告
- GUIを考慮したMDA開発手法の提案
- GUIを考慮したMDA開発手法の提案
- 特集「組込み/リアルタイムソフトウエア」の編集にあたって
- SPLC2011参加報告
- 近似的モデリング技法についての考察