Table of Contents

• Software Industry in TaiwanJyh-Sheng Ke. 1
• Software Engineering Strategies for Seamless ComputingChristopher Short. 2
• A Chronobot for Time and Knowledge Exchange and ManagementShi-Kuo Chang. 3-10
• Software Product Line EngineeringDavid M. Weiss. 11
• The Implementation of Chronobot EngineEn-Yu Shih, Wen-Hsi Yeh. 12-15
• The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) SystemMinxin Shen. 16-18
• A Post-auction Negotiation Mechanism for Electronic MarketplaceRaymund J. Lin. 19-24
• Cricketbot -- A Configurable Human Interface Software RobotWei-Tek Hsu, Yu-Lin Chou, Jin-Chin Chung, Yin-Pin Yang. 25-28
• Face Alive IconsXin Li, Chieh-Chih Chang, Shi-Kuo Chang. 29-36
• Knowledge Fusion Based Object Detection In Pulmonary RadiologyYun-Shu Chiou. 37-42
• A Comparative Analysis of i*-Based Agent-Oriented Modeling LanguagesClaudia P. Ayala, Carlos Cares, Juan Pablo Carvallo, Gemma Grau, Mariela Haya, Guadalupe Salazar, Xavier Franch, Enric Mayol, Carme Quer. 43-50
• Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS MetamodelGhassan Beydoun, Cesar Gonzalez-Perez, Graham Low, Brian Henderson-Sellers. 51-56
• Spontaneous Agent NetworkingZhenyan Ji, Malmberg Ake. 57-61
• The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business RulesLiang Xiao 0002, Des Greer. 62-67
• A Methodology for the Development of Multi-Agent Systems on Wireless Sensor NetworksRichard Tynan, Antonio G. Ruzzelli, Gregory M. P. O Hare. 68-75
• A Case Study on the BPR-before-IT of Food Company in TaiwanDah-Chuan Gong. 77-81
• A Web Pages Recommender with Bayesian NetworksChih-Cheng Lien, Huan-Lin Tsai. 82-87
• An Evaluation of E-Business MetamodelsYu Lei, Munindar P. Singh. 88-93
• Creating Virtual Collaborative Team Through the Construction of Expertise SpacesWun-Hwa Chen, Jen-Ying Shih, Ming-Jyh Hsieh. 94-98
• Smart cards for the Taiwan NHIJwe Son Kuo, Tsong Wuu Lin, Chien-Hsiang Liu. 99-104
• Yet Another Purchasing Specification Construction in E-BusinessChing-Han Hua, Pei-Min Chen. 105-108
• An Empirical Study on Limits of Clone Unification Using GenericsHamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek. 109-114
• Knowledge Reuse for Software ReuseFrank McCarey, Mel Ó Cinnéide, Nicholas Kushmerick. 115-120
• Reuse-based Software Process Improvement and ControRu-Zhi Xu, Pei-Yao Nie, Ying Sai, Yun-Ting Lee. 121-126
• Stable Atomic Knowledge Pattern (SAK) - Enabling Inter-Domain Knowledge ReuseHaitham S. Hamza, Mohamed E. Fayad. 127-132
• A Pattern-based Appraoch for Developing Business Object Models with OntologiesHaitham S. Hamza. 133-138
• Issues in the Development of an Ontology for a Emerging Engineering DisciplineOlavo Mendes, Alain Abran. 139-144
• Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning TechnologiesMiguel-Ángel Sicilia, Juan J. Cuadrado, Daniel Rodríguez. 145-150
• Using Ontologies to Add Semantics to a Software Engineering EnvironmentRicardo de Almeida Falbo, Fabiano Borges Ruy, Rodrigo Dal Moro. 151-156
• Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software DevelopmentTegegne Marew, Jungyoon Kim, Doo-Hwan Bae. 152-157
• Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven ApproachKendra Cooper, Lirong Dai, W. Eric Wong. 158-162
• Dynamically Evolvable Composition of Aspects Based On Relation ModelIk-Joo Han, Doo-Hwan Bae. 163-168
• Formal Aspect-Oriented Modeling and Analysis by AspectHuiqun Yu, Dongmei Liu, Li Yang, Xudong He. 169-174
• Architecture for An Internet Marketing Multi-Agent System with Mediate Personal AgentKai-Yi Chin, Chih-Wei Lin, Zeng-Wei Hong, Jim-Min Lin, Arthur J. Lin. 175-180
• Constructing Software System Based On Software Pattern and ArchitectureFong-Hao Liu, Shiang-Fu Luo. 181-186
• Incorporating Fuzzy Logic in Ontology-Based Agent System DesignJong-Yih Kuo, Nien-Lin Hsueh. 187-192
• Verification of Design Patterns with Object-Oriented Quality ModelsNien-Lin Hsueh, Peng-Hua Chu, Jong-Yih Kuo. 193-198
• Formal Verification of Transactional Systems Based on UML SpecificationsMark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate. 199-204
• Combining Agent-oriented Conceptual Modelling and the UML Sequence DiagramAneesh Krishna, Aditya K. Ghose. 205-210
• An Object-Oriented Modeling Learning Support System With Inspection CommentsTong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani. 211-216
• Toward a UML Profile to Support Component-Based Distributed Adaptive SystemsTong Gao, Kendra Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani. 217-222
• An Object-Oriented Modeling Learning Support System With Inspection CommentsTatsuya Kinjo, Atsuo Hazeyama. 223-228
• OOMSE-An Object Oriented Markov Chain Specification and Evaluation FrameworkHertong Song, Chokchai Leangsuksun, Raja Nassar. 229-234
• Global Software Development: Standardization of the Developing Phase based on the MSF Framework in a global CMM level 3 contextLeonardo Pilatti, Rafael Prikladnicki, Jorge Luis Nicolas Audy. 235-240
• A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development ProcessesRédouane Lbath, Bernard Coulette, Xavier Crégut. 241-246
• Taxonomy of Predelivery/Prerelease Maintenance ActivitiesMira Kajko-Mattsson, Anna Grimlund Glassbrook, Maria Nordin. 247-252
• A Multi-Agent System for Knowledge Delivery in a Software Engineering EnvironmentRicardo de Almeida Falbo, Juliana Pezzin, Mellyssa M. Schwambach. 253-258
• RiSD: A Methodology for Building i-Strategic Dependency ModelsGemma Grau, Xavier Franch, Enric Mayol, Claudia P. Ayala, Carlos Cares, Mariela Haya, Fredy Navarrete, Pere Botella, Carme Quer. 259-266
• Generating Properties for Runtime Monitoring from Software Specification PatternsOscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky. 267-273
• A Formal Foundation of Code Pattern Based DevelopmentJian Liu, Farokh B. Bastani, I-Ling Yen. 274-279
• Formal Reasoning about Emergent Behaviours of Multi-Agent SystemsHong Zhu. 280-285
• Institution Morphisms for Relating OWL and ZDorel Lucanu, Yuan-Fang Li, Jin Song Dong. 286-291
• Adaptive Random Testing with Filtering: An Overhead Reduction TechniqueKwok Ping Chan, T. Y. Chen, Dave Towey. 292-299
• A Constraint Solver for Code-based Test Data GenerationJ. Jenny Li, W. Eric Wong, Xiao Ma, David M. Weiss. 300-305
• On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random TestingTsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou. 306-311
• TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test DataLuciano Petinati Ferreira, Silvia Regina Vergilio. 312-317
• An Aspect Transformation Approach with RefactoringChaohong Zhou, Baowen Xu, Tiallin Zhou, Liang Shi. 318-323
• An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE)William C. Chu, Ching-Huey Wang. 324-329
• On the Web Data Extraction ModelI-Chen Wu, Jui-Yuan Su, Loon-Been Chen. 330-335
• Using Feature-Oriented Analysis to Recover Legacy Software Design for Software EvolutionShaoyun Li, Feng Chen, Zhihong Liang, Hongji Yang. 336-341
• Design Rationale in Software Engineering: A Case StudyDébora Maria Barroso Paiva, Renata Pontin de Mattos Fortes. 342-347
• Generating Abstract User Interfaces from an Informal DesignAdrien Coyette, Jean Vanderdonckt, Stéphane Faulkner, Manuel Kolp. 348-353
• TCOZ Approach to OWL-S Process Model DesignHai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li. 354-359
• UI Design Pattern Generator for Pervasive DeviceDeng-Jyi Chen, Ming-Jyh Tsai, Shang-Ting Yang. 360-365
• A State-Based Approach to Testing Aspect-Oriented ProgramsDianxiang Xu, Weifeng Xu, Kendall E. Nygard. 366-371
• AI Technologies Supporting Effective Development Processes for Knowledge-based Recommender ApplicationsAlexander Felfernig, Sergiu Gordea. 372-379
• System Testing Automation: A Developer PerspectivePedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua. 380-385
• ValiPar: A Testing Tool for Message-Passing Parallel ProgramsSimone do Rocio 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. 386-391
• An Efficient Model Checking Algorithm for a Fragment of µ-CalculusMohammad Izadi, Ali Movaghar-Rahimabadi. 392-395
• An Empirical Study for the Improvement of Requirements Engineering ProcessMahmood Niazi. 396-399
• Assessing a Framework of Comparing Architecture Review Methods Using CMMIMuhammad Ali Babar, Mahmood Niazi, D. Ross Jeffery. 400-403
• Decision Tables for Knowledge Acquisition during Goal InterpretationPasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio. 404-407
• Inspection Support System for UML DiagramYoshihide Ogame, Tatsuya Kinjo, Atsuo Hazeyama. 408-411
• A Methodology of Automated Realization of a Software Architecture DesignYujian Fu, Zhijiang Dong, Xudong He. 412-417
• Application of Design Combinatorial Theory to Scenario-Based Software Architecture AnalysisChung-Horng Lung, Marzia Zaman. 418-423
• On Abstraction Levels for Software Architecture ViewpointsMikkel Baun Kjærgaard. 424-429
• State of the Survey on Team-based Software Engineering Project CourseAtsuo Hazeyama. 430-435
• Using Dynamic Models for the Evaluation of Integration and System TestingJoão W. Cangussu, Richard M. Karcich. 436-441
• Specification of an Infinite-State Local Model Checker in Rewriting LogicBow-Yaw Wang. 442-447
• Verifying Timed and Linear Hybrid Rule-Systems with REDFarn Wang, Rong-Shiung Wu, Geng-Dian Huang. 448-454
• Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z SpecificationsAneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir. 455-460
• Empirical Modelling for Situated Requirements EngineeringYih-Chang Chen. 461-466
• Exploiting Domain Knowledge in Requirements PrioritizationPaolo Avesani, Cinzia Bazzanella, Anna Perini, Angelo Susi. 467-472
• Impact of GSD in Requirements Specification - A Case StudyLeandro Lopes, Jorge Luis Nicolas Audy. 473-478
• TooCoM: bridge the gap between Ontologies and Knowledge-Based SystemsFrédéric Fürst, Francky Trichet. 479-484
• UREKA - Grid Enabled Educational Multimedia DatabaseMohib ur Rehman, Imran Ihsan, Mobin Uddin Ahmed, Muhammad Abdul Qadir, Nadeem Iftikhar. 485-490
• Javawock: A Java Class Recommender System Based on Collaborative FilteringMasateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto. 491-497
• A Two-Phase Approach for Multidimensional Schemes IntegrationJamel Feki, Jihen Majdoubi, Faïez Gargouri. 498-503
• A Chinese Text Mining Application: An Automatic Answer Reply to Customers E-mail Queries ModelJu-Yu Huang, Huey-Ming Lee, Chen-Liang Fang. 504-507
• From Data to Knowledge: an Integrated Rule-Based Data Mining SystemChien-Chung Chan, Zhicheng Su. 508-513
• Integrating Web Information to Generate Chinese Video SummariesYue-Shi Lee, Yu-Chieh Wu, Chia-Hui Chang. 514-519
• Dynamic Integration Strategy for Mediation FrameworkLili He, Hongtao Bai, Jiachen Zhang, Chengquan Hu. 520-524
• Dynamic Integration Strategy for Mediation FrameworkLi Yang, Raimund K. Ege. 525-530
• Formal Analysis of Workflow Systems with Security ConsiderationsWeiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. 531-536
• A Deadlock Detector for Synchronous JavaDuc-Duy Vo, Claude Petitpierre. 537-542
• Compiler Techniques for Data Driven Languages with Superlinear Speed-upLing-Hua Chang, Ernst L. Leiss. 543-549
• A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding RobotChin-Jung Huang, Bing-Kun Chan. 550-555
• Learning Efficiency Improvement of Fuzzy CMAC by Aitken Acceleration MethodChin-Ming Hong, Chih-Ming Chen, Hung-Yu Chien. 556-595
• Design an Interoperable Mobile Agent System Based on Predicate Transition Net ModelsJunhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He. 560-565
• Modelling Agent Knowledge with Business RulesLiang Xiao 0002, Des Greer. 566-571
• Web Search Based on Ant Behavior: Approach and Implementation in Case of InterlegisWeigang Li, Man Qi Wu. 572-577
• Dealing with Web Service QoS factors using Constraint HierarchyYing Guan, Aditya K. Ghose. 578-583
• Web Service for Communication Service ManagementWu Chou, Li Li, Feng Liu. 584-589
• Recovering Individual Accessing Behaviour from Web LogsLong Wang 0002, Christoph Meinel. 590-595
• Model-based Verification of Safety-Critical SystemsPao-Ann Hsiung, Yen-Hung Lin. 596-601
• Multi-Agent System Design Verification Using Knowledge-based ReasoningAnarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena. 602-607
• Proof Score Approach to Verification of Liveness PropertiesKazuhiro Ogata, Kokichi Futatsugi. 608-613
• Provably Correct Translation from CafeOBJ into JavaJittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi. 614-619
• Service Identification and Packaging in Service Oriented ReengineeringZhuopeng Zhang, Ruimin Liu, Hongji Yang. 620-625
• Reasoning Support for SWRL-FOL Using AlloyHai H. Wang, Jin Song Dong, Jing Sun. 626-631
• Palpable Assemblies: Dynamic Service Composition for Ubiquitous ComputingMads Ingstrup, Klaus Marius Hansen. 632-638
• An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy ServiceSheng-Yuan Yang, Pen-Chin Liao, Cheng-Seen Ho. 639-644
• A Framework for Reusing and Composing Software Components on WebLishan Hou, Zhi Jin. 645-648
• A Reuse-based Spatial Data Preparation Framework for Data MiningVania Bogorny, Paulo Martins Engel, Luis Otávio Alvares. 649-652
• Experiences of Generating COTS Components when Automating Medicinal Product EvaluationsRadmila Juric, Stephen Williams, Peter Milligan. 653-656
• Reuse: Case of a Software Cost Estimation Model for Product Line EngineeringSana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala. 657-660
• Modelling Feature Variability and Dependency in Two ViewsHuilin Ye, Afroza Sharmin. 661-664
• A project growth model based on communication for software developmentNoriko Hanakawa. 665-670
• Implementation of a Remote Checkpointing System for Windows NT ApplicationsWu-Hong Chen, Jichiang Tsai, Di Tarn, Yen-Chian Chen. 671-676
• Using Constraint Programming to Reason on Feature ModelsDavid Benavides, Pablo Trinidad, Antonio Ruiz Cortés. 677-682
• Development of an Embedded Spatial MMDBMS for Spatial Mobile DevicesJi-Woong Park, Joung-Joon Kim, Jae-Kwan Yun, Ki-Joon Han. 683-688
• Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform DomainTe-Wei Chiang, Tienwei Tsai, Li-Jen Kao. 689-694
• Empirical Investigation for Building Competences: A case for Extraordinary MaintenancePasquale Ardimento, Alessandro Bianchi, Nicola Boffoli, Giuseppe Visaggio. 695-700
• Innovation Diffusion through Empirical StudiesPasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio. 701-706
• Understanding Impact Analysis: An Empirical Study to Capture Knowledge on Different Organisational LevelPer Jönsson, Claes Wohlin. 707-712
• Adapting Multidimensional Schemes to Data sources using Algebraic OperatorsAhlem Nabli, Jamel Feki, Faïez Gargouri. 713-718
• Helping Software Engineers to Incorporate HCI Usability FeaturesAna María Moreno, Maria Isabel Sánchez Segura. 719-726
• A Design Methodology for Parallel ProgrammingChia-Chu Chiang. 727-730
• Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+ApproachShih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. 731-734
• The Implementation of Multi Agents Awareness System for CSCW UML CASE ToolsPracha Asawateera, Songsakdi Rongviriyapanich. 735-738
• Towards Executable Specification: Combining i* and AgentSpeak(L) Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose. 739-742
• UMLOnto: Towards a Language for the Specification of Information Systems OntologiesMohamed Mhiri, Achraf Mtibaa, Faïez Gargouri. 743-746
• Software Architecture Decomposition Using AttributesChung-Horng Lung, Xia Xu, Marzia Zaman. 747-752
• Architectural Model for Designing Agent-based SystemNishit Gujral, Jaesuk Ahn, K. Suzanne Barber. 753-760
• Network Services via Reflective ArchitectureMarzia Adorni, Daniela Micucci, Francesco Tisato, Paolo Losi. 761-766
• Measuring Class Cohesion: A Causality Diagram Based ApproachYuming Zhou, Hareton K. N. Leung. 767-771
• Peer-To-Peer Trading Databases Verification and RectificationPintsang Chang. 772-776
• Secure Electronic Commerce with Mobile AgentsSong Han, Elizabeth Chang, Tharam S. Dillon. 777-782
• Weighted Binary Sequential Mining Algorithm with Application to the Next-Day Appearance PredictionShuchuan Lo, Junneng Yang, Fang-Chih Tien. 783-782
• Digital Media - Art and Technology ApplicationsWei-Cheng Yu, Larry K. H. Chang. 787
• Managed P2P - New Channel of Digital MediaJiaher Lee. 788
• Software Engineering Issues for Ubiquitous Entertainment ServiceHoh Peter In, Dong-hyun Lee. 790
• A Ubiquitous Service and Group Data Communications FrameworkMarc McEachern. 791
• Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological SystemsMikio Aoyama. 792
• A Framework for Self-adaptive SoftwareSooyong Park, Dongsun Kim, Jaesun Kim. 793