| 2005 | Automated Refactoring of Objects for Application Partitioning. | Vikram Jamwal, Sridhar Iyer |
| 2005 | AECM: an Aspect Enabled Component Model. | Saeed Jalili, Somayeh Malakuti, Khah Olun Abadi |
| 2005 | Systematic Use Case Interviews for Specification of Automotive Systems. | Shariful Islam, Hannes Omasreiter |
| 2005 | Aspect-Oriented Modularization of Assertion Crosscutting Objects. | Takashi Ishio, Shinji Kusumoto, Katsuro Inoue, Toshihiro Kamiya |
| 2005 | ADDIE Instruction Design and Cognitive Apprenticeship for Project-based Software Engineering Education in MIS. | Shen-Tzay Huang, Yi-Pei Cho, Yu-Jen Lin |
| 2005 | An Incremental Analysis to Workflow Specifications. | Hwai-Jong Hsu, Feng-Jian Wang, Da-Li Yang |
| 2005 | Architectural Style - Based Modeling and Simulation of Complex Software Systems. | Ping Guo, Gregor Engels, Reiko Heckel |
| 2005 | A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. | Nicolas Guelfi, Amel Mammar |
| 2005 | A Framework for Application Server Based Web Services Management. | Heqing Guan, Beihong Jin, Jun Wei, Wei Xu, Ningjiang Chen |
| 2005 | Model-Driven Semantic Web Service Composition. | Roy Grnmo, Michael C. Jaeger |
| 2005 | An Approach to Validation of Software Architecture Model. | Yujian Fu, Zhijiang Dong, Xudong He |
| 2005 | Model Checking Interrupt-Dependent Software. | Colin J. Fidge, Phil Cook |
| 2005 | On Simulation of BPEL4WS/UML Descriptions. | Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii |
| 2005 | On Archiving Architecture Documents. | Rambabu Duddukuri, T. V. Prabhakar |
| 2005 | A Loose Interaction Pattern for Asynchronous Components. | Walter Dosch |
| 2005 | A Tools Environment for Developing and Reasoning about Ontologies. | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun |
| 2005 | Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. | Bastian Dlle, Walter Dosch |
| 2005 | An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. | Moshe Deutsch, Martin C. Henson |
| 2005 | A User Evaluation of Synchronous Collaborative Software Engineering Tools. | Carl Cook, Warwick Irwin, Neville Churcher |
| 2005 | Model Checking Class Specifications forWeb Applications. | Eun-Hye Choi, Hiroshi Watanabe |
| 2005 | A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. | Jinjun Chen, Yun Yang |
| 2005 | Feature Analysis for Service-Oriented Reengineering. | Feng Chen, Shaoyun Li, William Cheng-Chung Chu |
| 2005 | Race-free Scenarios of Message Sequence Charts. | Chien-An Chen, Sara Kalvala, Jane E. Sinclair |
| 2005 | Exception Handling: An Architecture Model and Utility Support. | Yu Chin Cheng, Jung-Sing Jwo |
| 2005 | Using Dynamic Aspects for Delegating Fine-Grained Access Rights. | Kung Chen |