ソフトウエア科学領域【落水研究室】
■ 研究概要
ソフトウェア開発に関わるさまざまな研究分野で，新しい理論や技術の開発に，以下のように精力的に取り組んでいます。
オブジェクト指向ソフトウェア開発支援
ソフトウェア開発では，まず，開発するシステムのモデルを作成し，それに従ってプログラミングします。そのような作業を円滑に進めるためには，さまざまな言語や解析・検査・自動生成・成果物管理のためのツールが必要です。以下は最近の成果です。
| ─ |
様々なUML文書に含まれる図面要素間に変更に関する依存関係を自動生成するツール |
| ─ |
エレベータ制御システムを題材にしたプロダクトライン開発方法論の整備 |
| ─ |
プロジェクトの作業形態にカスタマイズ可能な版管理システムおよび管理ポリシーの差を吸収可能なレプリカ管理 |
ソフトウェア分散共同開発支援
地理的に分散した人々が共同してソフトウェアを開発する場合にはさらに進んだ支援が必要です。以下の成果があります。
| ─ |
開発状況の不安定さを共有させる情報リポジトリとそれを基にした統合環境の開発 |
| ─ |
役割・コミュニケーション・責任からなるソフトウェアプロセスモデル |
| ─ |
話題毎の討議スレッドのメーリングリストからの自動抽出と要約 |
| ─ |
プロセスパターンに対する数学的基礎付け |
ソフトウェアアカウンタビリティ機能の実現
| ─ |
情報システムの実行結果に疑問をもった利用者が， その理由をシステムに問うと回答できる機能の定義と実現法 |
ソフトウェア開発方法論とプロジェクト管理技術の融合
| ─ |
オブジェクト指向ソフトウェア開発方法論とPMBOK の内容を，反復型プロセスモデルを仲介にして統合する統合フレームワークの研究 |
分散共同開発支援に対する我々のアプローチ |
ソフトウェア分散共同開発支援環境「自在」 |
討議スレッドの自動抽出方式 |
ソフトウェアアカウンタビリティの実現 |
■代表的な著書・論文
- 落水：ソフトウェア工学実践の基礎―分析・設計・プログラミング，日科技連，1993
- 落水，東田：オブジェクトモデリング，アジソン・ウェスレイ・パブリッシャーズ・ジャパン，1998
- 服部，落水：確率ペトリネットによる組織パターンの検証，コンピュータソフトウェア，vol.23, No.1, pp60-68,
2006
- K.Ochimizu, H.Murakoshi, K.Fujieda, M.Fujita : Sharing Instability
of a Distributed Cooperative Work, Proc. of the ISPSE, 2000,
IEEE Press, pp.36-45
- H.Murakoshi, A.Shimazu, K.Ochimizu : Construction of deliberation
structure in e-mail communication, International Journal of
Computational Intelligence, Vol.16, No.4, pp.570-577, 2000
|
