- 論文誌
- [1] Naoyasu Ubayashi, Shin Nakajima, , and Masayuki Hirayama, "Context-Dependent Product Line Engineering with Lightweight Formal Approaches (Splc 2010 Revised Selected Paper)," Science of Computer Programming, volume 78, number 12, pages 2331-2346, 2013.
- [2] Naoyasu Ubayashi, Shin Nakajima, and Masayuki Hirayama, "Context-Dependent Product Line Engineering with Lightweight Formal Approaches(Splc 2010 Revised Selected Paper)," Science of Computer Programming, 2012.
- 国際会議
- [1] Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, and Akihito Iwai, "Translation Pattern of Bpel Process into Promela Code.," In The Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement (IWSM/MENSURA2011), pages 285-290, 2011.
- [2] 外村 慶二, 鵜林 尚靖, 中島 震, 岩井 明史, "Reusable Aspect Components for Web Applications," 2010 IEEE Region 10 Conference (TENCON 2010), pages 1059-1064, 2010年.
- [3] 鵜林 尚靖, 中島 震, 平山 雅之, "Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems," 14th International Software Product Line Conference (SPLC 2010), pages 1-15, 2010年.
- [4] 外村 慶二, 成瀬 龍人, 塩塚 大, 鵜林 尚靖, 中島 震, 岩井 明史, "Aowp: Web-Specific Aop Framework for Php," 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009) Tool Demonstrations Track, pages 679-681, 2009年.
- [5] 外村 慶二, 鵜林 尚靖, 中島 震, 岩井 明史, "Aspect-Oriented Programming for Web Controller Layer," 15th Asia-Pacific Software Engineering Conference (APSEC 2008), pages 529-536, 2008年.
- [6] 鵜林 尚靖, 中島 震, "Context-Aware Feature-Oriented Modeling with an Aspect Extension of Vdm," 22nd Annual ACM Symposium on Applied Computing (SAC 2007)---Programming for Separation of Concerns (PSC) Track, pages 1269-1274, 2007年.
- [7] Naoyasu Ubayashi and Shin Nakajima, "Separation of Context Concerns --- Applying Aspect Orientation to Vdm," In Second Overture (Open Source Formal Methods Tools) Workshop (Workshop at FM 06), 2006.
- 国内会議(査読付き)
- [1] 外村 慶二, 鵜林 尚靖, 中島 震, "実行時要求監視によるスパム型Webロボットの検出," 日本ソフトウエア科学会 第15回ソフトウェア工学の基礎ワークショップ (FOSE 2008), pages 135-144, 2008年.
- [2] 中島 震, 鵜林 尚靖, 外村 慶二, "ビジネス要求の実行時監視," 日本ソフトウエア科学会 第15回ソフトウェア工学の基礎ワークショップ (FOSE 2008) ポスター発表, 2008年.
- [3] 外村 慶二, 鵜林 尚靖, 中島 震, "AOWP: Webアプリケーション開発向けAOP機構," 情報処理学会 ソフトウェアエンジニアリングシンポジウム2008 (SES 2008) ポスター展示, pages 181-182, 2008年.
- 解説
- [1] 中島 震, 鵜林 尚靖, "Alloy: 自動解析可能なモデル規範形式仕様言語," 日本ソフトウェア科学会誌 コンピュータソフトウェア, volume 26, number 3, pages 78-83, 2009年.
- 研究会・全国大会等
- [1] Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, and Akihito Iwai, "Verification of Bpel Workflows Design Using Model Checking," In Joint Workshop on Software Science and Engineering, pages 7-10, 2011.
- [2] 中島 震, 外村 慶二, 鵜林 尚靖, "Aspect-Oriented Development of Php-Based Web Applications," 4th IEEE International Workshop on Quality Oriented Reuse of Software(QUORS 2010) (Workshop at COMPSAC 2010), number 37-44, 2010年.
- [3] 外村 慶二, 鵜林 尚靖, 中島 震, 岩井 明史, "ジョインポイント写像によるドメイン特化AOP機構の開発手法," 情報処理学会 研究報告 2010-SE-169, number 3, 2010年.
- [4] Reda Ahroum, 外村 慶二, Daniel Balouek, 中島 震, 鵜林 尚靖, "Aspectural Encapsulation of Web Application Features," 電子情報通信学会 信学技報 SS2009-31, pages 13-18, 2009年.
- [5] 外村 慶二, 成瀬 龍人, 塩塚 大, 白石 卓也, 鵜林 尚靖, 中島 震, "Webアプリケーション開発向けAOP機構の実装," 情報処理学会 研究報告 2009-SE-163, pages 65-72, 2009年.
- [6] 外村 慶二, 鵜林 尚靖, 中島 震, "AOPによるWebアプリケーションの要求監視," 電子情報通信学会 信学技報 SS2008-14, pages 7-12, 2008年.
- [7] 中島 震, 鵜林 尚靖, 外村 慶二, "要求違反の実行時監視と原因診断," 日本ソフトウェア科学会 第6回ディペンダブルシステムワークショップ (DSW08 summer) 論文集, pages 79-82, 2008年.
- [8] 境 顕宏, 鵜林 尚靖, 中島 震, "RBACモデルの形式検証と修正支援," 情報処理学会 研究報告 2008-SE-159, 2008年.
- [9] 中島 震, 鵜林 尚靖, "Lightweight Formal Analysis of Foda Feature Diagrams," 4th International Workshop on Rapid Integration of Software Engineering techniques (RISE 2007), pages 3-18, 2007年.
- [10] 中島 震, 鵜林 尚靖, "FODAフィーチャダイアグラムの自動検査法," 第4回システム検証の科学技術シンポジウム ポスター, 2007年.
- [11] 中島 震, 鵜林 尚靖, "FODAフィーチャー・ダイアグラムの形式化と検査の自動化," 電子情報通信学会 信学技報 KBSE2007-24, pages 55-60, 2007年.