default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th SEKE 2005: Taipei, Taiwan
- William C. Chu, Natalia Juristo Juzgado, W. Eric Wong:
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. 2005, ISBN 1-891706-16-0
Keynote Papers
- Jyh-sheng Ke:
Software Industry in Taiwan. SEKE 2005: 1 - Christopher Short:
Software Engineering Strategies for Seamless Computing. SEKE 2005: 2 - Shi-Kuo Chang:
A Chronobot for Time and Knowledge Exchange and Management. SEKE 2005: 3-10 - David M. Weiss:
Software Product Line Engineering. SEKE 2005: 11
Session A4: Chronobot for Time and Knowledge Management
- En-Yu Shih, Wen-Hsi Yeh:
The Implementation of Chronobot Engine. SEKE 2005: 12-15 - Minxin Shen:
The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System. SEKE 2005: 16-18 - Raymund J. Lin:
A Post-auction Negotiation Mechanism for Electronic Marketplace. SEKE 2005: 19-24 - Wei-Tek Hsu, Yu-Lin Chou, Jin-Chin Chung, Yin-Pin Yang:
Cricketbot -- A Configurable Human Interface Software Robot. SEKE 2005: 25-28 - Xin Li, Chieh-Chih Chang, Shi-Kuo Chang:
Face Alive Icons. SEKE 2005: 29-36 - Yun-Shu Chiou:
Knowledge Fusion Based Object Detection In Pulmonary Radiology. SEKE 2005: 37-42
Session B4: Agent-Oriented Software Development Methodology
- Claudia P. Ayala, Carlos Cares, Juan Pablo Carvallo, Gemma Grau, Mariela Haya, Guadalupe Salazar, Xavier Franch, Enric Mayol, Carme Quer:
A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages. SEKE 2005: 43-50 - Ghassan Beydoun, Cesar Gonzalez-Perez, Graham Low, Brian Henderson-Sellers:
Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel. SEKE 2005: 51-56 - Zhenyan Ji, Malmberg Ake:
Spontaneous Agent Networking. SEKE 2005: 57-61 - Liang Xiao, Des Greer:
The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business Rules. SEKE 2005: 62-67 - Richard Tynan, Antonio G. Ruzzelli, Gregory M. P. O'Hare:
A Methodology for the Development of Multi-Agent Systems on Wireless Sensor Networks. SEKE 2005: 68-75
Session C4: E-Business: Management and Application
- Dah-Chuan Gong:
A Case Study on the BPR-before-IT of Food Company in Taiwan. SEKE 2005: 77-81 - Chih-Cheng Lien, Huan-Lin Tsai:
A Web Pages Recommender with Bayesian Networks. SEKE 2005: 82-87 - Yu Lei, Munindar P. Singh:
An Evaluation of E-Business Metamodels. SEKE 2005: 88-93 - Wun-Hwa Chen, Jen-Ying Shih, Ming-Jyh Hsieh:
Creating Virtual Collaborative Team Through the Construction of Expertise Spaces. SEKE 2005: 94-98 - Jwe Son Kuo, Tsong-Wuu Lin, Chien-Hsiang Liu:
Smart cards for the Taiwan NHI. SEKE 2005: 99-104 - Ching-Han Hua, Pei-Min Chen:
Yet Another Purchasing Specification Construction in E-Business. SEKE 2005: 105-108
Session B5: Reuse
- Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek:
An Empirical Study on Limits of Clone Unification Using Generics. SEKE 2005: 109-114 - Frank McCarey, Mel Ó Cinnéide, Nicholas Kushmerick:
Knowledge Reuse for Software Reuse. SEKE 2005: 115-120 - Ruzhi Xu, Peiyao Nie, Ying Sai, Yun-Ting Lee:
Reuse-based Software Process Improvement and Contro. SEKE 2005: 121-126 - Haitham S. Hamza, Mohamed E. Fayad:
Stable Atomic Knowledge Pattern (SAK) - Enabling Inter-Domain Knowledge Reuse. SEKE 2005: 127-132
Session C5: Ontologies for Software Engineering
- Haitham S. Hamza:
A Pattern-based Appraoch for Developing Business Object Models with Ontologies. SEKE 2005: 133-138 - Olavo Mendes, Alain Abran:
Issues in the Development of an Ontology for a Emerging Engineering Discipline. SEKE 2005: 139-144 - Miguel-Ángel Sicilia, Juan J. Cuadrado, Daniel Rodríguez:
Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies. SEKE 2005: 145-150 - Ricardo de Almeida Falbo, Fabiano Borges Ruy, Rodrigo Dal Moro:
Using Ontologies to Add Semantics to a Software Engineering Environment. SEKE 2005: 151-156
Session BF1: Aspect-Oriented Design & Software Development
- Tegegne Marew, Jungyoon Kim, Doo-Hwan Bae:
Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development. SEKE 2005: 152-157 - Kendra M. L. Cooper, Lirong Dai, W. Eric Wong:
Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach. SEKE 2005: 158-162 - Ik-Joo Han, Doo-Hwan Bae:
Dynamically Evolvable Composition of Aspects Based On Relation Model. SEKE 2005: 163-168 - Huiqun Yu, Dongmei Liu, Li Yang, Xudong He:
Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE 2005: 169-174 - Kai-Yi Chin, Chih-Wei Lin, Zeng-Wei Hong, Jim-Min Lin, Arthur J. Lin:
Architecture for An Internet Marketing Multi-Agent System with Mediate Personal Agent. SEKE 2005: 175-180
Session CF1: Software Agents and Design Patterns
- Fong-Hao Liu, Shiang-Fu Luo:
Constructing Software System Based On Software Pattern and Architecture. SEKE 2005: 181-186 - Jong-Yih Kuo, Nien-Lin Hsueh:
Incorporating Fuzzy Logic in Ontology-Based Agent System Design. SEKE 2005: 187-192 - Nien-Lin Hsueh, Peng-Hua Chu, Jong-Yih Kuo:
Verification of Design Patterns with Object-Oriented Quality Models. SEKE 2005: 193-198
Session BF2: UML
- Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate:
Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204 - Aneesh Krishna, Aditya K. Ghose:
Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram. SEKE 2005: 205-210 - Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani:
An Object-Oriented Modeling Learning Support System With Inspection Comments. SEKE 2005: 211-216 - Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani:
Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. SEKE 2005: 217-222 - Tatsuya Kinjo, Atsuo Hazeyama:
An Object-Oriented Modeling Learning Support System With Inspection Comments. SEKE 2005: 223-228 - Hertong Song, Chokchai Leangsuksun, Raja Nassar:
OOMSE-An Object Oriented Markov Chain Specification and Evaluation Framework. SEKE 2005: 229-234
Session CF2: Process
- Leonardo Pilatti, Rafael Prikladnicki, Jorge Luis Nicolas Audy:
Global Software Development: Standardization of the Developing Phase based on the MSF Framework in a global CMM level 3 context. SEKE 2005: 235-240 - Rédouane Lbath, Bernard Coulette, Xavier Crégut:
A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes. SEKE 2005: 241-246 - Mira Kajko-Mattsson, Anna Grimlund Glassbrook, Maria Nordin:
Taxonomy of Predelivery/Prerelease Maintenance Activities. SEKE 2005: 247-252 - Ricardo de Almeida Falbo, Juliana Pezzin, Mellyssa M. Schwambach:
A Multi-Agent System for Knowledge Delivery in a Software Engineering Environment. SEKE 2005: 253-258 - Gemma Grau, Xavier Franch, Enric Mayol, Claudia P. Ayala, Carlos Cares, Mariela Haya, Fredy Navarrete, Pere Botella, Carme Quer:
RiSD: A Methodology for Building i-Strategic Dependency Models. SEKE 2005: 259-266
Session AF3: Specification
- Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE 2005: 267-273 - Jian Liu, Farokh B. Bastani, I-Ling Yen:
A Formal Foundation of Code Pattern Based Development. SEKE 2005: 274-279 - Hong Zhu:
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. SEKE 2005: 280-285 - Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
Institution Morphisms for Relating OWL and Z. SEKE 2005: 286-291
Session BF3: Testing I
- Kwok Ping Chan, T. Y. Chen, Dave Towey:
Adaptive Random Testing with Filtering: An Overhead Reduction Technique. SEKE 2005: 292-299 - J. Jenny Li, W. Eric Wong, Xiao Ma, David M. Weiss:
A Constraint Solver for Code-based Test Data Generation. SEKE 2005: 300-305 - Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou:
On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing. SEKE 2005: 306-311 - Luciano Petinati Ferreira, Silvia Regina Vergilio:
TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data. SEKE 2005: 312-317
Session CF3: Web Technology
- Chaohong Zhou, Baowen Xu, Tianlin Zhou, Liang Shi:
An Aspect Transformation Approach with Refactoring. SEKE 2005: 318-323 - William C. Chu, Ching-Huey Wang:
An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE). SEKE 2005: 324-329 - I-Chen Wu, Jui-Yuan Su, Loon-Been Chen:
On the Web Data Extraction Model. SEKE 2005: 330-335 - Shaoyun Li, Feng Chen, Zhihong Liang, Hongji Yang:
Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution. SEKE 2005: 336-341
Session AF4: Design
- Débora Maria Barroso Paiva, Renata Pontin de Mattos Fortes:
Design Rationale in Software Engineering: A Case Study. SEKE 2005: 342-347 - Adrien Coyette, Jean Vanderdonckt, Stéphane Faulkner, Manuel Kolp:
Generating Abstract User Interfaces from an Informal Design. SEKE 2005: 348-353 - Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li:
TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359 - Deng-Jyi Chen, Ming-Jyh Tsai, Shang-Ting Yang:
UI Design Pattern Generator for Pervasive Device. SEKE 2005: 360-365
Session BF4: Testing II
- Dianxiang Xu, Weifeng Xu, Kendall E. Nygard:
A State-Based Approach to Testing Aspect-Oriented Programs. SEKE 2005: 366-371 - Alexander Felfernig, Sergiu Gordea:
AI Technologies Supporting Effective Development Processes for Knowledge-based Recommender Applications. SEKE 2005: 372-379 - Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua:
System Testing Automation: A Developer Perspective. SEKE 2005: 380-385 - 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:
ValiPar: A Testing Tool for Message-Passing Parallel Programs. SEKE 2005: 386-391
Session CF4: Software Quality
- Mohammad Izadi, Ali Movaghar-Rahimabadi:
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE 2005: 392-395 - Mahmood Niazi:
An Empirical Study for the Improvement of Requirements Engineering Process. SEKE 2005: 396-399 - Muhammad Ali Babar, Mahmood Niazi, D. Ross Jeffery:
Assessing a Framework of Comparing Architecture Review Methods Using CMMI. SEKE 2005: 400-403 - Pasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio:
Decision Tables for Knowledge Acquisition during Goal Interpretation. SEKE 2005: 404-407 - Yoshihide Ohgame, Tatsuya Kinjo, Atsuo Hazeyama:
Inspection Support System for UML Diagram. SEKE 2005: 408-411
Session AF5: Architecture I
- Yujian Fu, Zhijiang Dong, Xudong He:
A Methodology of Automated Realization of a Software Architecture Design. SEKE 2005: 412-417 - Chung-Horng Lung, Marzia Zaman:
Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis. SEKE 2005: 418-423 - Mikkel Baun Kjærgaard:
On Abstraction Levels for Software Architecture Viewpoints. SEKE 2005: 424-429 - Atsuo Hazeyama:
State of the Survey on Team-based Software Engineering Project Course. SEKE 2005: 430-435
Session BF5: Automated Software Analysis
- João W. Cangussu, Richard M. Karcich:
Using Dynamic Models for the Evaluation of Integration and System Testing. SEKE 2005: 436-441 - Bow-Yaw Wang:
Specification of an Infinite-State Local Model Checker in Rewriting Logic. SEKE 2005: 442-447 - Farn Wang, Rong-Shiung Wu, Geng-Dian Huang:
Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE 2005: 448-454
Session AS1: Requirement
- Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir:
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE 2005: 455-460 - Yih-Chang Chen:
Empirical Modelling for Situated Requirements Engineering. SEKE 2005: 461-466 - Paolo Avesani, Cinzia Bazzanella, Anna Perini, Angelo Susi:
Exploiting Domain Knowledge in Requirements Prioritization. SEKE 2005: 467-472 - Leandro Lopes, Jorge Luis Nicolas Audy:
Impact of GSD in Requirements Specification - A Case Study. SEKE 2005: 473-478
Session BS1: Data and Knowledge Base
- Frédéric Fürst, Francky Trichet:
TooCoM: bridge the gap between Ontologies and Knowledge-Based Systems. SEKE 2005: 479-484 - Mohib ur Rehman, Imran Ihsan, Mobin Uddin Ahmed, Muhammad Abdul Qadir, Nadeem Iftikhar:
UREKA - Grid Enabled Educational Multimedia Database. SEKE 2005: 485-490 - Masateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto:
Javawock: A Java Class Recommender System Based on Collaborative Filtering. SEKE 2005: 491-497 - Jamel Feki, Jihen Majdoubi, Faïez Gargouri:
A Two-Phase Approach for Multidimensional Schemes Integration. SEKE 2005: 498-503
Session CS1: Data and Text Mining
- Ju-Yu Huang, Huey-Ming Lee, Chen-Liang Fang:
A Chinese Text Mining Application: An Automatic Answer Reply to Customers' E-mail Queries Model. SEKE 2005: 504-507 - Chien-Chung Chan, Zhicheng Su:
From Data to Knowledge: an Integrated Rule-Based Data Mining System. SEKE 2005: 508-513 - Yue-Shi Lee, Yu-Chieh Wu, Chia-Hui Chang:
Integrating Web Information to Generate Chinese Video Summaries. SEKE 2005: 514-519 - Lili He, Hongtao Bai, Jiachen Zhang, Chengquan Hu:
Dynamic Integration Strategy for Mediation Framework. SEKE 2005: 520-524
Session AS2: Security & Parallel Computing
- Li Yang, Raimund K. Ege:
Dynamic Integration Strategy for Mediation Framework. SEKE 2005: 525-530 - Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of Workflow Systems with Security Considerations. SEKE 2005: 531-536 - Duc-Duy Vo, Claude Petitpierre:
A Deadlock Detector for Synchronous Java. SEKE 2005: 537-542 - Ling-Hua Chang, Ernst L. Leiss:
Compiler Techniques for Data Driven Languages with Superlinear Speed-up. SEKE 2005: 543-549
Session BS2: AI & Agent-based System
- Chin-Jung Huang, Bing-Kun Chan:
A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding Robot. SEKE 2005: 550-555 - Chin-Ming Hong, Chih-Ming Chen, Hung-Yu Chien:
Learning Efficiency Improvement of Fuzzy CMAC by Aitken Acceleration Method. SEKE 2005: 556-595 - Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He:
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. SEKE 2005: 560-565 - Liang Xiao, Des Greer:
Modelling Agent Knowledge with Business Rules. SEKE 2005: 566-571
Session CS2: Internet Web
- Weigang Li, Man Qi Wu:
Web Search Based on Ant Behavior: Approach and Implementation in Case of Interlegis. SEKE 2005: 572-577 - Ying Guan, Aditya K. Ghose:
Dealing with Web Service QoS factors using Constraint Hierarchy. SEKE 2005: 578-583 - Wu Chou, Li Li, Feng Liu:
Web Service for Communication Service Management. SEKE 2005: 584-589 - Long Wang, Christoph Meinel:
Recovering Individual Accessing Behaviour from Web Logs. SEKE 2005: 590-595
Session AS3: Specification
- Pao-Ann Hsiung, Yen-Hung Lin:
Model-based Verification of Safety-Critical Systems. SEKE 2005: 596-601 - Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena:
Multi-Agent System Design Verification Using Knowledge-based Reasoning. SEKE 2005: 602-607 - Kazuhiro Ogata, Kokichi Futatsugi:
Proof Score Approach to Verification of Liveness Properties. SEKE 2005: 608-613 - Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
Provably Correct Translation from CafeOBJ into Java. SEKE 2005: 614-619
Session BS3: Service Oriented Computing
- Zhuopeng Zhang, Ruimin Liu, Hongji Yang:
Service Identification and Packaging in Service Oriented Reengineering. SEKE 2005: 620-625 - Hai H. Wang, Jin Song Dong, Jing Sun:
Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631 - Mads Ingstrup, Klaus Marius Hansen:
Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing. SEKE 2005: 632-638 - Sheng-Yuan Yang, Pen-Chin Liao, Cheng-Seen Ho:
An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy Service. SEKE 2005: 639-644
Session CS3: Component & Reuse
- Lishan Hou, Zhi Jin:
A Framework for Reusing and Composing Software Components on Web. SEKE 2005: 645-648 - Vania Bogorny, Paulo Martins Engel, Luis Otávio Alvares:
A Reuse-based Spatial Data Preparation Framework for Data Mining. SEKE 2005: 649-652 - Radmila Juric, Stephen Williams, Peter Milligan:
Experiences of Generating COTS Components when Automating Medicinal Product Evaluations. SEKE 2005: 653-656 - Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala:
Reuse: Case of a Software Cost Estimation Model for Product Line Engineering. SEKE 2005: 657-660 - Huilin Ye, Afroza Sharmin:
Modelling Feature Variability and Dependency in Two Views. SEKE 2005: 661-664
Session AS4: Techniques & Algorithms I
- Noriko Hanakawa:
A project growth model based on communication for software development. SEKE 2005: 665-670 - Wu-Hong Chen, Jichiang Tsai, Di Tarn, Yen-Chian Chen:
Implementation of a Remote Checkpointing System for Windows NT Applications. SEKE 2005: 671-676 - David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
Using Constraint Programming to Reason on Feature Models. SEKE 2005: 677-682 - Ji-Woong Park, Joung-Joon Kim, Jae-Kwan Yun, Ki-Joon Han:
Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices. SEKE 2005: 683-688 - Te-Wei Chiang, Tienwei Tsai, Li-Jen Kao:
Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain. SEKE 2005: 689-694
Session BS4: Empirical Software Engineering
- Pasquale Ardimento, Alessandro Bianchi, Nicola Boffoli, Giuseppe Visaggio:
Empirical Investigation for Building Competences: A case for Extraordinary Maintenance. SEKE 2005: 695-700 - Pasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio:
Innovation Diffusion through Empirical Studies. SEKE 2005: 701-706 - Per Jönsson, Claes Wohlin:
Understanding Impact Analysis: An Empirical Study to Capture Knowledge on Different Organisational Level. SEKE 2005: 707-712 - Ahlem Nabli, Jamel Feki, Faïez Gargouri:
Adapting Multidimensional Schemes to Data sources using Algebraic Operators. SEKE 2005: 713-718 - Ana María Moreno, María Isabel Sánchez Segura:
Helping Software Engineers to Incorporate HCI Usability Features. SEKE 2005: 719-726
Session CS4: Requirement & Architecture
- Chia-Chu Chiang:
A Design Methodology for Parallel Programming. SEKE 2005: 727-730 - Shih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston:
Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach. SEKE 2005: 731-734 - Pracha Asawateera, Songsakdi Rongviriyapanich:
The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools. SEKE 2005: 735-738 - Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose:
Towards Executable Specification: Combining i* and AgentSpeak(L) . SEKE 2005: 739-742 - Mohamed Ben Ahmed Mhiri, Achraf Mtibaa, Faïez Gargouri:
UMLOnto: Towards a Language for the Specification of Information Systems' Ontologies. SEKE 2005: 743-746
Session AS5: Architecture II
- Chung-Horng Lung, Xia Xu, Marzia Zaman:
Software Architecture Decomposition Using Attributes. SEKE 2005: 747-752 - Nishit Gujral, Jaesuk Ahn, K. Suzanne Barber:
Architectural Model for Designing Agent-based System. SEKE 2005: 753-760