default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th COMPSAC 2005: Edinburgh, Scotland, UK - Volume 2
- 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 2. IEEE Computer Society 2005
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, Mário 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, John N. Chiasson, Chaouki T. Abdallah, Majeed M. Hayat, Zhong Tang, John 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 A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
