| 2005 | A Case Study on the BPR-before-IT of Food Company in Taiwan. Dah-Chuan Gong |
| 2005 | A Chinese Text Mining Application: An Automatic Answer Reply to Customers' E-mail Queries Model. Ju-Yu Huang, Huey-Ming Lee, Chen-Liang Fang |
| 2005 | A Chronobot for Time and Knowledge Exchange and Management. Shi-Kuo Chang |
| 2005 | A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages. Claudia P. Ayala, Carlos Cares, Juan Pablo Carvallo, Gemma Grau, Mariela Haya, Guadalupe Salazar, Xavier Franch, Enric Mayol, Carme Quer |
| 2005 | A Constraint Solver for Code-based Test Data Generation. J. Jenny Li, W. Eric Wong, Xiao Ma, David M. Weiss |
| 2005 | A Deadlock Detector for Synchronous Java. Duc-Duy Vo, Claude Petitpierre |
| 2005 | A Design Methodology for Parallel Programming. Chia-Chu Chiang |
| 2005 | A Formal Foundation of Code Pattern Based Development. Jian Liu, Farokh B. Bastani, I-Ling Yen |
| 2005 | A Framework for Reusing and Composing Software Components on Web. Lishan Hou, Zhi Jin |
| 2005 | A Framework for Self-adaptive Software. Sooyong Park, Dongsun Kim, Jaesun Kim |
| 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 | A Methodology of Automated Realization of a Software Architecture Design. Yujian Fu, Zhijiang Dong, Xudong He |
| 2005 | A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes. Rédouane Lbath, Bernard Coulette, Xavier Crégut |
| 2005 | A Multi-Agent System for Knowledge Delivery in a Software Engineering Environment. Ricardo de Almeida Falbo, Juliana Pezzin, Mellyssa M. Schwambach |
| 2005 | A Pattern-based Appraoch for Developing Business Object Models with Ontologies. Haitham S. Hamza |
| 2005 | A Post-auction Negotiation Mechanism for Electronic Marketplace. Raymund J. Lin |
| 2005 | A Reuse-based Spatial Data Preparation Framework for Data Mining. Vania Bogorny, Paulo Martins Engel, Luis Otávio Alvares |
| 2005 | A State-Based Approach to Testing Aspect-Oriented Programs. Dianxiang Xu, Weifeng Xu, Kendall E. Nygard |
| 2005 | A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding Robot. Chin-Jung Huang, Bing-Kun Chan |
| 2005 | A Two-Phase Approach for Multidimensional Schemes Integration. Jamel Feki, Jihen Majdoubi, Faïez Gargouri |
| 2005 | A Ubiquitous Service and Group Data Communications Framework. Marc McEachern |
| 2005 | A Web Pages Recommender with Bayesian Networks. Chih-Cheng Lien, Huan-Lin Tsai |
| 2005 | A project growth model based on communication for software development. Noriko Hanakawa |
| 2005 | AI Technologies Supporting Effective Development Processes for Knowledge-based Recommender Applications. Alexander Felfernig, Sergiu Gordea |
| 2005 | Adapting Multidimensional Schemes to Data sources using Algebraic Operators. Ahlem Nabli, Jamel Feki, Faïez Gargouri |
| 2005 | Adaptive Random Testing with Filtering: An Overhead Reduction Technique. Kwok Ping Chan, Tsong Yueh Chen, Dave Towey |
| 2005 | An Aspect Transformation Approach with Refactoring. Chaohong Zhou, Baowen Xu, Tianlin Zhou, Liang Shi |
| 2005 | An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. Mohammad Izadi, Ali Movaghar-Rahimabadi |
| 2005 | An Empirical Study for the Improvement of Requirements Engineering Process. Mahmood Niazi |
| 2005 | An Empirical Study on Limits of Clone Unification Using Generics. Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek |
| 2005 | An Evaluation of E-Business Metamodels. Yu Lei, Munindar P. Singh |
| 2005 | An Object-Oriented Modeling Learning Support System With Inspection Comments. Tatsuya Kinjo, Atsuo Hazeyama |
| 2005 | An Object-Oriented Modeling Learning Support System With Inspection Comments. Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani |
| 2005 | An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy Service. Sheng-Yuan Yang, Pen-Chin Liao, Cheng-Seen Ho |
| 2005 | An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE). William C. Chu, Ching-Huey Wang |
| 2005 | Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis. Chung-Horng Lung, Marzia Zaman |
| 2005 | Architectural Model for Designing Agent-based System. Nishit Gujral, Jaesuk Ahn, K. Suzanne Barber |
| 2005 | Architecture for An Internet Marketing Multi-Agent System with Mediate Personal Agent. Kai-Yi Chin, Chih-Wei Lin, Zeng-Wei Hong, Jim-Min Lin, Arthur J. Lin |
| 2005 | Assessing a Framework of Comparing Architecture Review Methods Using CMMI. Muhammad Ali Babar, Mahmood Niazi, D. Ross Jeffery |
| 2005 | Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development. Tegegne Marew, Jungyoon Kim, Doo-Hwan Bae |
| 2005 | Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological Systems. Mikio Aoyama |
| 2005 | Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram. Aneesh Krishna, Aditya K. Ghose |
| 2005 | Compiler Techniques for Data Driven Languages with Superlinear Speed-up. Ling-Hua Chang, Ernst L. Leiss |
| 2005 | Constructing Software System Based On Software Pattern and Architecture. Fong-Hao Liu, Shiang-Fu Luo |
| 2005 | Creating Virtual Collaborative Team Through the Construction of Expertise Spaces. Wun-Hwa Chen, Jen-Ying Shih, Ming-Jyh Hsieh |
| 2005 | Cricketbot -- A Configurable Human Interface Software Robot. Wei-Tek Hsu, Yu-Lin Chou, Jin-Chin Chung, Yin-Pin Yang |
| 2005 | Dealing with Web Service QoS factors using Constraint Hierarchy. Ying Guan, Aditya K. Ghose |
| 2005 | Decision Tables for Knowledge Acquisition during Goal Interpretation. Pasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio |
| 2005 | Design Rationale in Software Engineering: A Case Study. Débora Maria Barroso Paiva, Renata Pontin de Mattos Fortes |
| 2005 | Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He |
| 2005 | Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices. Ji-Woong Park, Joung-Joon Kim, Jae-Kwan Yun, Ki-Joon Han |
| 2005 | Digital Media - Art and Technology Applications. Wei-Cheng Yu, Larry K. H. Chang |
| 2005 | Dynamic Integration Strategy for Mediation Framework. Lili He, Hongtao Bai, Jiachen Zhang, Chengquan Hu |
| 2005 | Dynamic Integration Strategy for Mediation Framework. Li Yang, Raimund K. Ege |
| 2005 | Dynamically Evolvable Composition of Aspects Based On Relation Model. Ik-Joo Han, Doo-Hwan Bae |
| 2005 | Empirical Investigation for Building Competences: A case for Extraordinary Maintenance. Pasquale Ardimento, Alessandro Bianchi, Nicola Boffoli, Giuseppe Visaggio |
| 2005 | Empirical Modelling for Situated Requirements Engineering. Yih-Chang Chen |
| 2005 | Experiences of Generating COTS Components when Automating Medicinal Product Evaluations. Radmila Juric, Stephen Williams, Peter Milligan |
| 2005 | Exploiting Domain Knowledge in Requirements Prioritization. Paolo Avesani, Cinzia Bazzanella, Anna Perini, Angelo Susi |
| 2005 | Face Alive Icons. Xin Li, Chieh-Chih Chang, Shi-Kuo Chang |
| 2005 | Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain. Te-Wei Chiang, Tienwei Tsai, Li-Jen Kao |
| 2005 | Formal Analysis of Workflow Systems with Security Considerations. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | Formal Aspect-Oriented Modeling and Analysis by Aspect. Huiqun Yu, Dongmei Liu, Li Yang, Xudong He |
| 2005 | Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. Hong Zhu |
| 2005 | Formal Verification of Transactional Systems Based on UML Specifications. Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate |
| 2005 | From Data to Knowledge: an Integrated Rule-Based Data Mining System. Chien-Chung Chan, Zhicheng Su |
| 2005 | Generating Abstract User Interfaces from an Informal Design. Adrien Coyette, Jean Vanderdonckt, Stéphane Faulkner, Manuel Kolp |
| 2005 | Generating Properties for Runtime Monitoring from Software Specification Patterns. Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky |
| 2005 | Global Software Development: Standardization of the Developing Phase based on the MSF Framework in a global CMM level 3 context. Leonardo Pilatti, Rafael Prikladnicki, Jorge Luis Nicolas Audy |
| 2005 | Helping Software Engineers to Incorporate HCI Usability Features. Ana María Moreno, María Isabel Sánchez Segura |
| 2005 | Impact of GSD in Requirements Specification - A Case Study. Leandro Lopes, Jorge Luis Nicolas Audy |
| 2005 | Implementation of a Remote Checkpointing System for Windows NT Applications. Wu-Hong Chen, Jichiang Tsai, Di Tarn, Yen-Chian Chen |
| 2005 | Incorporating Fuzzy Logic in Ontology-Based Agent System Design. Jong-Yih Kuo, Nien-Lin Hsueh |
| 2005 | Innovation Diffusion through Empirical Studies. Pasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio |
| 2005 | Inspection Support System for UML Diagram. Yoshihide Ohgame, Tatsuya Kinjo, Atsuo Hazeyama |
| 2005 | Institution Morphisms for Relating OWL and Z. Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
| 2005 | Integrating Web Information to Generate Chinese Video Summaries. Yue-Shi Lee, Yu-Chieh Wu, Chia-Hui Chang |
| 2005 | Issues in the Development of an Ontology for a Emerging Engineering Discipline. Olavo Mendes, Alain Abran |
| 2005 | Javawock: A Java Class Recommender System Based on Collaborative Filtering. Masateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto |
| 2005 | Knowledge Fusion Based Object Detection In Pulmonary Radiology. Yun-Shu Chiou |
| 2005 | Knowledge Reuse for Software Reuse. Frank McCarey, Mel Ó Cinnéide, Nicholas Kushmerick |
| 2005 | Learning Efficiency Improvement of Fuzzy CMAC by Aitken Acceleration Method. Chin-Ming Hong, Chih-Ming Chen, Hung-Yu Chien |
| 2005 | Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir |
| 2005 | Managed P2P - New Channel of Digital Media. Jiaher Lee |
| 2005 | Measuring Class Cohesion: A Causality Diagram Based Approach. Yuming Zhou, Hareton K. N. Leung |
| 2005 | Model-based Verification of Safety-Critical Systems. Pao-Ann Hsiung, Yen-Hung Lin |
| 2005 | Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach. Kendra M. L. Cooper, Lirong Dai, W. Eric Wong |
| 2005 | Modelling Agent Knowledge with Business Rules Liang Xiao, Des Greer |
| 2005 | Modelling Feature Variability and Dependency in Two Views. Huilin Ye, Afroza Sharmin |
| 2005 | Multi-Agent System Design Verification Using Knowledge-based Reasoning. Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena |
| 2005 | Network Services via Reflective Architecture. Marzia Adorni, Daniela Micucci, Francesco Tisato, Paolo Losi |
| 2005 | OOMSE-An Object Oriented Markov Chain Specification and Evaluation Framework. Hertong Song, Chokchai Leangsuksun, Raja Nassar |
| 2005 | On Abstraction Levels for Software Architecture Viewpoints. Mikkel Baun Kjærgaard |
| 2005 | On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing. Tsong Yueh Chen, Fei-Ching Kuo, Zhi Quan Zhou |
| 2005 | On the Web Data Extraction Model. I-Chen Wu, Jui-Yuan Su, Loon-Been Chen |
| 2005 | Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies. Miguel-Ángel Sicilia, Juan J. Cuadrado, Daniel Rodríguez |
| 2005 | Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing. Mads Ingstrup, Klaus Marius Hansen |
| 2005 | Peer-To-Peer Trading Databases Verification and Rectification. Pintsang Chang |
| 2005 | Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005 William C. Chu, Natalia Juristo Juzgado, W. Eric Wong |
| 2005 | Proof Score Approach to Verification of Liveness Properties. Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | Provably Correct Translation from CafeOBJ into Java. Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi |
| 2005 | Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach. Shih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston |
| 2005 | Reasoning Support for SWRL-FOL Using Alloy. Hai H. Wang, Jin Song Dong, Jing Sun |
| 2005 | Recovering Individual Accessing Behaviour from Web Logs. Long Wang, Christoph Meinel |
| 2005 | Reuse-based Software Process Improvement and Contro. Ruzhi Xu, Peiyao Nie, Ying Sai, Yun-Ting Lee |
| 2005 | Reuse: Case of a Software Cost Estimation Model for Product Line Engineering. Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala |
| 2005 | RiSD: A Methodology for Building i-Strategic Dependency Models. Gemma Grau, Xavier Franch, Enric Mayol, Claudia P. Ayala, Carlos Cares, Mariela Haya, Fredy Navarrete, Pere Botella, Carme Quer |
| 2005 | Secure Electronic Commerce with Mobile Agents. Song Han, Elizabeth Chang, Tharam S. Dillon |
| 2005 | Service Identification and Packaging in Service Oriented Reengineering. Zhuopeng Zhang, Ruimin Liu, Hongji Yang |
| 2005 | Smart cards for the Taiwan NHI. Jwe Son Kuo, Tsong-Wuu Lin, Chien-Hsiang Liu |
| 2005 | Software Architecture Decomposition Using Attributes. Chung-Horng Lung, Xia Xu, Marzia Zaman |
| 2005 | Software Engineering Issues for Ubiquitous Entertainment Service. Hoh Peter In, Dong-hyun Lee |
| 2005 | Software Engineering Strategies for Seamless Computing. Christopher Short |
| 2005 | Software Industry in Taiwan. Jyh-Sheng Ke |
| 2005 | Software Product Line Engineering. David M. Weiss |
| 2005 | Specification of an Infinite-State Local Model Checker in Rewriting Logic. Bow-Yaw Wang |
| 2005 | Spontaneous Agent Networking. Zhenyan Ji, Malmberg Ake |
| 2005 | Stable Atomic Knowledge Pattern (SAK) - Enabling Inter-Domain Knowledge Reuse. Haitham S. Hamza, Mohamed E. Fayad |
| 2005 | State of the Survey on Team-based Software Engineering Project Course. Atsuo Hazeyama |
| 2005 | System Testing Automation: A Developer Perspective. Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua |
| 2005 | TCOZ Approach to OWL-S Process Model Design. Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li |
| 2005 | TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data. Luciano Petinati Ferreira, Silvia Regina Vergilio |
| 2005 | Taxonomy of Predelivery/Prerelease Maintenance Activities. Mira Kajko-Mattsson, Anna Grimlund Glassbrook, Maria Nordin |
| 2005 | The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business Rules. Liang Xiao, Des Greer |
| 2005 | The Implementation of Chronobot Engine. En-Yu Shih, Wen-Hsi Yeh |
| 2005 | The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools. Pracha Asawateera, Songsakdi Rongviriyapanich |
| 2005 | The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System. Minxin Shen |
| 2005 | TooCoM: bridge the gap between Ontologies and Knowledge-Based Systems. Frédéric Fürst, Francky Trichet |
| 2005 | Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani |
| 2005 | Towards Executable Specification: Combining i* and AgentSpeak(L) . Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose |
| 2005 | Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel. Ghassan Beydoun, Cesar Gonzalez-Perez, Graham Low, Brian Henderson-Sellers |
| 2005 | UI Design Pattern Generator for Pervasive Device. Deng-Jyi Chen, Ming-Jyh Tsai, Shang-Ting Yang |
| 2005 | UMLOnto: Towards a Language for the Specification of Information Systems' Ontologies. Mohamed Ben Ahmed Mhiri, Achraf Mtibaa, Faïez Gargouri |
| 2005 | UREKA - Grid Enabled Educational Multimedia Database. Mohib ur Rehman, Imran Ihsan, Mobin Uddin Ahmed, Muhammad Abdul Qadir, Nadeem Iftikhar |
| 2005 | Understanding Impact Analysis: An Empirical Study to Capture Knowledge on Different Organisational Level. Per Jönsson, Claes Wohlin |
| 2005 | Using Constraint Programming to Reason on Feature Models. David Benavides, Pablo Trinidad, Antonio Ruiz Cortés |
| 2005 | Using Dynamic Models for the Evaluation of Integration and System Testing. João W. Cangussu, Richard M. Karcich |
| 2005 | Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution. Shaoyun Li, Feng Chen, Zhihong Liang, Hongji Yang |
| 2005 | Using Ontologies to Add Semantics to a Software Engineering Environment. Ricardo de Almeida Falbo, Fabiano Borges Ruy, Rodrigo Dal Moro |
| 2005 | ValiPar: A Testing Tool for Message-Passing Parallel Programs. Simone do Rócio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, Alexandre Ceolin Hausen |
| 2005 | Verification of Design Patterns with Object-Oriented Quality Models. Nien-Lin Hsueh, Peng-Hua Chu, Jong-Yih Kuo |
| 2005 | Verifying Timed and Linear Hybrid Rule-Systems with RED. Farn Wang, Rong-Shiung Wu, Geng-Dian Huang |
| 2005 | Web Search Based on Ant Behavior: Approach and Implementation in Case of Interlegis. Weigang Li, Man Qi Wu |
| 2005 | Web Service for Communication Service Management. Wu Chou, Li Li, Feng Liu |
| 2005 | Weighted Binary Sequential Mining Algorithm with Application to the Next-Day Appearance Prediction. Shuchuan Lo, Junneng Yang, Fang-Chih Tien |
| 2005 | Yet Another Purchasing Specification Construction in E-Business. Ching-Han Hua, Pei-Min Chen |