著者

金子 伸幸 桑原 寛明 山本 晋一郎 阿草 清滋

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.26, no.3, pp.3_34-3_43, 2009-07-28 (Released:2009-10-05)

被引用文献数

1

---

我々は,Strutsを利用して構築されるWebアプリケーションに対するコーディングチェッカとして,StrutsLintを開発した.StrutsLintは,Strutsの設定ファイルおよびJSP,Javaのソースコードを解析し,言語を跨いだ制御依存グラフ,データ依存グラフを生成する.これらのグラフを基に,制約の一貫性などを検査することで対象アプリケーションの整合性検査を行う.本稿では,StrutsLintで実現した機能を基にStrutsアプリケーションに対するコンポーネントウェアとしての整合性検査について述べる.

著者

水野 佑基 金子 伸幸 中元 秀明 小川 義明 山本 晋一郎 阿草 清滋

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2006, no.35(2006-SE-151), pp.121-128, 2006-03-24

---

本稿では,GUI抽象化規則を用いて実装言語とGUIツールキットに対して柔軟に抽象GUI記述を生成するする手法を提案する.ウィジットと直接操作を表現するGUIプログラミングモデルと,共通GUIツールキットを定義する.抽象GUI記述はGUIプログラミングモデルに従い,共通GUIツールキットを用いて記述される.実装言語やGUIツールキットごとに異なるGUIコードと抽象GUI記述の対応付けをGUI 抽象化規則として定義する.GUI抽象化規則に基づきGUIコードから抽象GUI記述を生成するシステムを提案し,異なる実装言語とGUIツールキットで実装された同一のGUIアプリケーションを同じ抽象GUI記述へと変換できることを確認した.

著者

沢田 篤史 小林 隆志 金子 伸幸 中道 上 大久保弘崇 山本 晋一郎

出版者

情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.50, no.11, pp.2677-2689, 2009-11-15

被引用文献数

7

---

本論文では,我々が先導的ITスペシャリスト育成推進プログラムの一環として実施中のプロジェクト型ソフトウェア開発実習の教育プログラムと教材開発について説明する.本実習では,軟式飛行船制御の組み込みソフトウェア開発を題材に,大学院修士課程1年生がチーム開発を行う.本実習の主目標は,管理されたプロジェクト開発を経験することとソフトウェア品質向上における検証技術の重要性を理解することである.本論文では,この狙いを持って設計した実習プログラムと,開発した教材について紹介し,半年間の実習を実施した結果得られた学習成果と課題について説明する.This article presents how we have designed a project based learning (PBL) class for graduated students in the Leading IT Specialist Education Program of MEXT. Master course students form several development teams to struggle with the development of embedded software for airship control in our class. The students of this class are expected to touch with the real experience of team development in a disciplined project and to have deep understanding on the importance of verification and validation technology throughout the development of quality software. This article overviews the design of and teaching materials for our PBL class. Discussions on the results and lessons learned from the half-year operation of this class are also presented.