4. ソフトウェアエンジニアリング領域(J07-SE)(<特集>情報専門学科カリキュラム標準J07)
スポンサーリンク
概要
- 論文の詳細を見る
- 2008-07-15
著者
-
沢田 篤史
南山大学
-
西 康晴
電気通信大学
-
阿草 清滋
京大
-
阿草 清滋
名古屋大学工学部
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
鷲崎 弘宜
早稲田大学
-
鷲崎 弘宜
早稲田大学|国立情報学研究所graceセンター
-
鷲崎 弘宜
早稲田大学:国立情報学研究所graceセンター
-
阿草 清滋
名古屋大学
-
阿草 清滋
名古屋大学工学部電気工学第二
関連論文
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- ウインターワークショップ2008・イン・道後開催報告
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- ソフトウェア開発プロジェクトにおけるモチベーションを維持するためのコミュニケーションの考察 : 受容を伴うコミュニケーションによる日本型チームマネジメントモデル(ヒューマンファクタのマネジメント)
- 2205 ソフトウェア開発プロジェクトにおけるモチベーションを維持するためのコミュニケーションの考察 : コミュニケーションがモチベーションに与える影響の重要性に着目したモデルの提案
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- ソフトウェア科学会第2回大会
- 細粒度リポジトリに基づくVHDLツールプラットフォーム(ツール,開発環境)
- プログラムの正規化に基づいた差分抽出法の提案
- 意味を考慮した差分抽出ツール
- 特集「ソフトウェア工学」の編集にあたって
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- ソフトウェアの大局的可視化のための組織化メトリクス
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- 要求フレームに基づいたソフトウェア要求仕様化技法
- ウインターワークショップ2008・イン・道後開催報告
- ウィンターワークショップ2006・イン・鴨川参加報告
- 2204 ソフトウェアメトリクス活用の動機付け手法(一般セッション)
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- ソフトウェア開発プロジェクトにおける実践的初期リスク管理手法の提案
- 3-5 プロジェクトのリスク把握と対策立案に対する取り組み
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
- Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- メタ情報とコンテキスト情報を用いた入力補完機能と XPath 入力への応用
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- バリエーション並行開発のための版管理ツールと統合開発環境
- ソフトウェア科学会第1回大会
- 細粒度リポジトリに基づいたCASEツール・プラットフォームSapid(並列処理)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「SEC journal」創刊記念論文 優秀賞受賞論文 大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析 (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
- 20周年特別功労賞発足の経緯と表彰者の紹介(20周年記念特集)
- パネル討論会 : 要求技術の目指すべき方向
- マイコン用高級言語
- 情報科学研究の推進 (特集 情報科学研究)
- ハザ-ドレスNAND回路の合成
- 1105 兆候に着目したソフトウェア開発プロジェクトのリスク監視手法の提案(一般セッション)
- 記憶ペンによる部分像系列から全体像を再現する方法
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- ソフトウェア開発プロジェクトにおけるヒューマンマネジメント : プロジェクトの3段階で行うヒューマンマネジメントの提案(ヒューマンファクタのマネジメント)
- 4-2 ソフトウェアにおけるバグの分類の観点についての考察(3. 研究発表会の要旨, (社)日本品質管理学会 第35回年次大会)
- 4-1 ソフトウェア開発プロジェクトにおけるリスク移行指標の活用方法に関する提案(3. 研究発表会の要旨, (社)日本品質管理学会 第35回年次大会)
- 4-10 ソフトウェアにおけるバグのパターンに着目したテストの改善(4. 研究発表会の要旨, (社)日本品質管理学会 第77回研究発表会)
- ソフトウェアプロジェクト管理における技術者のモチベーションに関する研究
- Roger S. Pressman著, 「実践ソフトウェア工学」
- 3-4 ソフトウェアプロジェクト管理における技術者のモチベーションに関する研究
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- Javaプログラム理解支援のための不変性解析
- Java プログラム理解支援のための不変性解析
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- π計算に基づくプログラミング言語NepiのためのGUI機能
- 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
- π計算による優先度継承プロトコルの形式的記述
- イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- 特集「組込みシステム工学」の編集にあたって
- 製品品質の決定要因としての組込みソフトウェアと組込みソフトウェア・クライシス(Q-Japan構想)
- 1605 製品品質に及ぼす影響を考慮したソフトウェアテストプロジェクトリスクのマネジメント手法の提案(一般セッション)
- ソフトウエアにおける信頼性概念とその変遷(種々の側面から見た信頼性の意味の変遷)
- 価値に着目した信頼性工学の発展("信頼性"の周辺)
- 1.ソフトウェアテスト総論(ソフトウェアテストの最新動向)
- 編集にあたって(ソフトウェアテストの最新動向)
- 産学連携と情報処理学会(これからの情報処理学会 第6回)
- "正しい"ソフトウェアの開発を
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- ソフトウェア開発における単語の類似性に着目した設計欠陥に関する実験的研究
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- 変更支援のための成果物アクセス履歴マイニング
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- ソフトウェア開発における外部機能の仕様記述の曖昧さに着目したテスト項目設計法
- 特集「ソフトウェア工学」の編集にあたって
- IT好き放題:面白さは突然に
- ソフトウェアテストの最新動向とフロントローディング(我が国のソフトウェア品質技術の潮流)
- 特集にあたって(我が国のソフトウェア品質技術の潮流)
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- 特集「ソフトウェア工学」の編集にあたって
- 特集「ソフトウェア工学」の編集にあたって