29. COMPSAC 2005: Edinburgh, Scotland, UK

Volume 2 - (Volume 1)

Introduction

• COMPSAC 2005 Fast Abstracts.
  
• Message from the COMPSAC 2005 Fast Abstract Co-Chairs.
  
• 2nd International Workshop on Quality Assurance and Testing of Web-Based Applications (QATWBA'05).
  
• Message from the QATWBA'05 Program Co-Chairs.
  
• 2nd International Workshop on Software Cybernetics (IWSC'05).
  
• Message from the IWSC'05 Workshop Organizers.
  
• 2nd International Workshop on Languages, Methods, and Tools for Model-Driven Agile Development (MAD'05).
  
• Message from the MAD'05 Workshop Chairs.
  
• 1st International Workshop on Testing and Quality Assurance of Component-Based Software (TQACBS 2005).
  
• Message from the TQACBS 2005 Program Co-Chairs.
  

Fast Abstract 1: Software Specification, Design, Analysis, and Testing

• Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell, Rachel C. W. Ostrand:
  A Different View of Fault Prediction. 3-4
  
• Hiroshi Ishikawa:
  A Specification Construction Unit-Based Editor for Z. 5-6
  
• Wei Dong, Ji Wang:
  Contract-Based Formal Specification of Safety Critical Systems. 7-8
  
• Alexei Lisitsa, Andrei P. Nemytykh:
  Towards Verification via Supercompilation. 9-10
  
• Ramesh Bharadwaj:
  What Is SINS? 11-12
  
• Xiaoyuan Xie, Baowen Xu, Changhai Nie, Liang Shi, Lei Xu:
  Configuration Strategies for Evolutionary Testing. 13-14
  

Fast Abstract 2: Computing Platform, Service, and Application

• Shameem Ahmed, Moushumi Sharmin, Sheikh Iqbal Ahamed:
  PerAd-Service: A Middleware Service for Pervasive Advertisement in M-Business. 17-18
  
• Andreas Holzinger, Klaus Schwaberger, Matthias Weitlaner:
  Ubiquitous Computing for Hospital Applications: RFID-Applications to Enable Research in Real-Life Environments. 19-20
  
• Michel Jaring:
  Product Families On-Chip - Combining the Software Product Family Paradigm with Run-Time Reprogrammable Hardware Technology. 21-22
  
• Qiming Teng, Hua Wang, Xiangqun Chen:
  A HAL for Component-Based Embedded Operating Systems. 23-24
  
• Yun-Sam Kim, Eun-Sun Cho:
  Preventing Illegal Usage of Mobile Phone Software. 25-26
  
• Nader Mohamed, Haitham S. Hamza:
  Toward Stable Software Architecture for Wireless Sensor Networks. 27-28
  

Fast Abstract 3: Data Mining and Knowledge Management

• Atorn Nuntiyagul, Nick Cercone, Kanlaya Naruedomkul:
  Recovering "Lack of Words" in Text Categorization for Item Banks. 31-32
  
• Detlef Streitferdt, Christian Heller, Ilka Philippow:
  Searching Design Patterns in Source Code. 33-34
  
• Tony Abou-Assaleh, Nick Cercone, Vlado Keselj:
  A Probabilistic Evaluation Function for Relaxed Unification. 35-36
  
• Sujaa Rani Mohan, E. K. Park, Yijie Han:
  Association Rule-Based Data Mining Agents for Personalized Web Caching. 37-38
  
• Ruey-Shun Chen, Ruey-Chyi Wu, J. Y. Chen:
  Data Mining Application in Customer Relationship Management of Credit Card Business. 39-40
  
• Chaur-Chin Chen, Hsueh-Ting Chu:
  Similarity Measurement Between Images. 41-42
  

Workshop on Quality Assurance and Testing of Web-Based Applications (I)

• Yu Qi, David Chenho Kung, W. Eric Wong:
  An Agent-Based Testing Approach for Web Applications. 45-50
  
• Hai Huang, Wei-Tek Tsai, Yinong Chen:
  Autonomous Hot Patching for Web-Based Applications. 51-56
  
• Maria Cláudia Figueiredo Pereira Emer, Silvia Regina Vergilio, Mario Jino:
  A Testing Approach for XML Schemas. 57-62
  

Workshop on Quality Assurance and Testing of Web-Based Applications (II)

• Giuseppe A. Di Lucca:
  Keynote Speech: Testing Web Applications: The State of Art and the Future Trends. 65
  
• Nik Looker, Malcolm Munro, Jie Xu:
  Increasing Web Service Dependability Through Consensus Voting. 66-69
  
• Ernest Cachia, Mark Micallef:
  Measuring the Functionality of Online Stores. 70-73
  

Workshop on Software Cybernetics (I) Control Systems for Software Cybernetics

• J. Douglas Birdwell, J. N. Chiasson, Chaouki T. Abdallah, Majeed M. Hayat, Z. Tang, J. White:
  Keynote Speech: The Information Age: Challenges and Opportunities for Control and Engineering. 77-82
  
• Christopher Griffin, Bharat B. Madan, Kishor S. Trivedi:
  State Space Approach to Security Quantification. 83-88
  
• Hong Xu, Peter Sawyer, Ian Sommerville:
  Requirement Process Establishment and Improvement: From the Viewpoint of Cybernetics. 89-92
  
• James H. Graham:
  FMECA Control for Software Development. 93-96
  
• Ugo Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally:
  Supervisory Control of Time Petri Nets Using Net Unfolding. 97-100
  

Workshop on Software Cybernetics (II) Software Testing Process Control

• Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur:
  A Software Cybernetic Approach to Control of the Software System Test Phase. 103-108
  
• Sami Beydeda:
  Self-Testability in Unit Testing. 109-112
  
• Kai-Yuan Cai, Tao Jing, Chenggang Bai:
  Partition Testing with Dynamic Partitioning. 113-116
  
• Yan Liu, Bojan Cukic, Edgar Fuller, Srikanth Gururajan, Sampath Yerramalla:
  Novelty Detection for a Neural Network-Based Online Adaptive System. 117-122
  
• João W. Cangussu, Richard M. Karcich:
  A Control Approach for Agile Processes. 123-126
  
• Frank Padberg:
  On the Potential of Process Simulation in Software Project Schedule Optimization. 127-130
  

Workshop on Software Cybernetics (III) Control Approaches for Software Development and Behavior

• Atilla Elçi, Behnam Rahnama:
  Considerations on a New Software Architecture for Distributed Environments Using Autonomous Semantic Agents. 133-138
  
• Qianxiang Wang:
  Constraint Violation Detection: A Fundamental Part of Software Cybernetics. 139-142
  
• Chee-Wei Tan, Dah-Ming Chiu, John C. S. Lui, David K. Y. Yau:
  Handling High-Bandwidth Traffic Aggregates by Receiver-Driven Feedback Control. 143-145
  
• Tiberiu Seceleanu, David Garlan:
  Synchronized Architectures for Adaptive Systems. 146-151
  
• Nimal Nissanke:
  Component Security - Issues and an Approach. 152-155
  

Workshop on Model-Driven Agile Development (I) Extreme Programming for Reengineering

• Stephen S. Yau:
  Keynote Speech: Model-Driven Agile Development (MAD) for Situation-Aware Software in Ubiquitous Computing Environments. 159
  
• Bin Xu:
  Extreme Programming for Distributed Legacy System Reengineering. 160-165
  

Workshop on Model-Driven Agile Development (II) Component-Based Agile Development

• Andreas Holzinger, Maximilian Errath, Gig Searle, Bettina Thurnher, Wolfgang Slany:
  From Extreme Programming and Usability Engineering to Extreme Usability in Software Engineering Education (XP+UE->XU). 169-172
  
• Matthias Book, Volker Gruhn:
  Experiences with a Dialog-Driven Process Model for Web Application Development. 173-178
  

Workshop on Testing and Quality Assurance of Component-Based Systems (I) Component-Based Software Testing and Regression Testing

• Regina Lúcia de Oliveira Moraes, Eliane Martins, Naaliel Vicente Mendes:
  Fault Injection Approach Based on Dependence Analysis. 181-188
  
• Henry Muccini, Marcio S. Dias, Debra J. Richardson:
  Reasoning About Software Architecture-Based Regression Testing Through a Case Study. 189-195
  
• Oliver Hummel, Colin Atkinson:
  Automated Harvesting of Test Oracles for Reliability Testing. 196-202
  

Workshop on Testing and Quality Assurance of Component-Based Systems (II) Component Validation, Quality Measurement, and Test Automation

• Fevzi Belli, Christof J. Budnik:
  Towards Self-Testing of Component-Based Software. 205-210
  
• Jerry Gao, Ming-Chih Shih:
  A Component Testability Model for Verification and Measurement. 211-218
  
• Egon Valentini, Gerhard Fliess, Edmund Haselwanter:
  A Framework for Efficient Contract-Based Testing of Software Components. 219-222