| 2005 | Dynamic Integration Strategy for Mediation Framework. | Li Yang, Raimund K. Ege |
| 2005 | A State-Based Approach to Testing Aspect-Oriented Programs. | Dianxiang Xu, Weifeng Xu, Kendall E. Nygard |
| 2005 | Reuse-based Software Process Improvement and Contro. | Ruzhi Xu, Peiyao Nie, Ying Sai, Yun-Ting Lee |
| 2005 | Modelling Agent Knowledge with Business Rules | Liang Xiao, Des Greer |
| 2005 | The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business Rules. | Liang Xiao, Des Greer |
| 2005 | On the Web Data Extraction Model. | I-Chen Wu, Jui-Yuan Su, Loon-Been Chen |
| 2005 | Software Product Line Engineering. | David M. Weiss |
| 2005 | Verifying Timed and Linear Hybrid Rule-Systems with RED. | Farn Wang, Rong-Shiung Wu, Geng-Dian Huang |
| 2005 | Recovering Individual Accessing Behaviour from Web Logs. | Long Wang, Christoph Meinel |
| 2005 | TCOZ Approach to OWL-S Process Model Design. | Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li |
| 2005 | Reasoning Support for SWRL-FOL Using Alloy. | Hai H. Wang, Jin Song Dong, Jing Sun |
| 2005 | Specification of an Infinite-State Local Model Checker in Rewriting Logic. | Bow-Yaw Wang |
| 2005 | A Deadlock Detector for Synchronous Java. | Duc-Duy Vo, Claude Petitpierre |
| 2005 | A Methodology for the Development of Multi-Agent Systems on Wireless Sensor Networks. | Richard Tynan, Antonio G. Ruzzelli, Gregory M. P. O'Hare |
| 2005 | Javawock: A Java Class Recommender System Based on Collaborative Filtering. | Masateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto |
| 2005 | ValiPar: A Testing Tool for Message-Passing Parallel Programs. | Simone do Rcio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simo, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, Alexandre Ceolin Hausen |
| 2005 | Formal Verification of Transactional Systems Based on UML Specifications. | Mark A. J. Song, Adriano C. M. Pereira, Srgio Vale Aguiar Campos, Luis E. Zrate |
| 2005 | OOMSE-An Object Oriented Markov Chain Specification and Evaluation Framework. | Hertong Song, Chokchai Leangsuksun, Raja Nassar |
| 2005 | Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies. | Miguel-ngel Sicilia, Juan J. Cuadrado, Daniel Rodrguez |
| 2005 | Software Engineering Strategies for Seamless Computing. | Christopher Short |
| 2005 | The Implementation of Chronobot Engine. | En-Yu Shih, Wen-Hsi Yeh |
| 2005 | The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System. | Minxin Shen |
| 2005 | Provably Correct Translation from CafeOBJ into Java. | Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | Towards Executable Specification: Combining i* and AgentSpeak(L) . | Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose |
| 2005 | UREKA - Grid Enabled Educational Multimedia Database. | Mohib ur Rehman, Imran Ihsan, Mobin Uddin Ahmed, Muhammad Abdul Qadir, Nadeem Iftikhar |