compsac 2001

25th Annual International Computer Software and Applications Conference (COMPSAC 2001)

• 장소·일정: Chicago, Illinois, USA, Oct 8–12, 2001
• 논문: 97편 (IEEE Xplore 86편, 무료 사본 3편)

Requirements Engineering

• Business Rules Specification, Enforcement and Distribution for Heterogeneous Environments — D. Rosca and J. D'Attilio
• Visualization Issues for Software Requirements Negotiation — H. In and S. Roy

Component-Based Development

• Component-Based Design of Large-Scale Distributed Systems — F. Barbier
• A Configuration Management System Supporting Component-Based Software Development — L. Zhang, H. Mei and H. Zhu
• Converting Web Applications to Data Components: Design Methodology — J. Pazdziora

Protocols and Harmonization

• A Long and Winding Road (Progress on the Road to a Software Engineering Profession) — J. B. Thompson
• Harmonized Conformance Testing for Product Data Managers — D. Flater and K. C. Morris · 무료 사본 · zenodo.org
• Exploiting Automatic Analysis of e-Commerce Protocols — J. Wei, S.-C. Cheung and X. Wang

Reverse Engineering and Re-Engineering

• ELKAR: A Component Based Re-Engineering Methodology to Provide Cooperation — P. Roose
• JBOORET: An Automated Tool to Recover OO Design and Source Models — H. Mei, T. Xie and F. Yang
• MOOSE - A Task-Driven Program Comprehension Environment — J. Rilling and A. Seffah

Quality Management

• Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates — S. Biffl and M. Halling
• A Memory-Based Reasoning Approach for Assessing Software Quality — R. Paul, V. U. B. Challagulla, F. B. Bastani and I.-L. Yen
• Quality Planning for Software Development — T. Walton

Panel: Software Architecture: Impact on Software Development

• From Software Architecture to Implementation with UML — C. Hofmeister and R. Nord

Workflow Systems

• Designing Role Hierarchies for Access Control in Workflow Systems — R. A. Botha and J. H. P. Eloff
• Retrofitting Workflows for B2B Assembly — A. P. Barros, A. H. M. ter Hofstede and C. Szyperski · Scholar 검색
• A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing — J. Cao, C. Chan and K. Chan · 무료 사본 · ira.lib.polyu.edu.hk

Software Architecture

• An Architectural Model for Service-Based Flexible Software — K. Bennett, J. Xu, M. Munro, Z. Hong, P. Layzell, N. Gold, D. Budgen and P. Brereton · 무료 사본 · durham-repository.worktribe.com
• Formal Design of Real-Time Components on a Shared Data Space Architecture — U. Hannemann and J. Hooman
• Information Theoretic Metrics for Software Architectures — M. Shereshevsky, H. Ammari, N. Gradetsky, A. Mili and H. H. Ammar

Software Testing 1

• Automatic Generation of Database Instances for White-box Testing — J. Zhang, C. Xu and S.-C. Cheung
• End-To-End Integration Testing Design — W. T. Tsai, X. Bai, R. Paul, W. Shao and V. Agarwal
• Fault-Based Testing in the Absence of an Oracle — T. Y. Chen, T. H. Tse and Z. Zhou

Distributed Systems 1

• A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message-Triggered Objects — G. Gimenez and K. H. Kim
• Certificate Based Authorization Simulation System — J. Dai and J. Alves-Foss
• An Election Based Approach to Fault-Tolerant Group Membership in Collaborative Environments — J. S. Pascoe, R. J. Loader and V. S. Sunderam

Unified Modeling Language (UML)

• Automated Generation of Statistical Test Cases from UML State Diagrams — P. Chevalley and P. Thévenod-Fosse
• Formal and Use-Case Driven Requirement Analysis in UML — X. Li, Z. Liu and J. He
• Model Driven Process Engineering — E. Breton and J. Bézivin

Panel: Designing Process: Taming the Web Development Cycle

• Designing Process: Taming the Web Development Cycle — A. Steele and R. Carter

Safety and Security

• Back-End Software for Highly Dependable Real-Time Control Systems — Y. Domaratsky, M. Perevozchikov, A. Ingulets and A. Alkhovik
• EC-SignGate: Electronic Contract Signing Gateway — M.-C. Pong
• A Novel Intrusion Detection System Model for Securing Web-Based Database Systems — W. Shu and D. T. H. Tan

Distributed Systems 2

• A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems — L.-S. Cheung and Y.-K. Kwok
• Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments — S. S. Yau and F. Karim
• QAME - QoS-Aware Management Environment — L. Z. Granville and L. M. R. Tarouco

Panel: Formalizing UML Semantics

• Formalizing UML Semantics — X. He · Scholar 검색
• A Metamodel-Based Approach to Formalizing UML — B. H. C. Cheng · Scholar 검색

Panel: End-to-End Integration Testing

• End-to-End Integration Testing - 2001 — W.-T. Tsai · Scholar 검색
• End-to-End Integration Testing in CBSD — H. Mei · Scholar 검색
• End-to-End Integration Testing — R. Paul · Scholar 검색

Commercial Off-The-Shelf Components

• DSIAS: A Software Architectural Style for Distributed Software Integration Systems — Z.-W. Hong, J.-M. Lin, H. C. Jiau and D.-S. Chen
• Empirical Software Simulation for COTS Glue Code Development and Integration — J. Baik, N. Eickelmann and C. Abts
• Metrics-Guided Quality Management for Component-Based Software Systems — S. Sedigh-Ali, A. Ghafoor and R. Paul

Process Case Studies

• E-ADOME: Enacting Composite e-Services in an Advanced Workflow Environment — D. K. W. Chiu, K. Karlapalem and Q. Li
• An Empirical Study of Software Productivity — S. Morasca and G. Russo
• Test Operation-Driven Approach on Building Regression Testing Environment — H. Suganuma, K. Nakamura and T. Syomura
• Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture — S. Baranov and V. Kotlyarov
• An Editing System for Working Processes — Y.-S. Chen and F.-J. Wang

Panel: The Position of e-Learning Application Software

• The Position of e-Learning Systems in 2001 — E. Cloete and M. van der Merwe · Scholar 검색
• Debunking some Common Misconceptions on e-Learning — U. Buy · Scholar 검색
• Building the Infrastructure of e-University — T. Y. Lin, Y. Liu, W. Luo, X. Sun and H. Zhou · Scholar 검색
• e-Learning In 2001 — P. K. Wiesner · Scholar 검색

Software Testing 2

• Formalization of Software Testing Criteria using the Z Notation — S. A. Vilkomir and J. P. Bowen
• Integrating White- and Black-Box Techniques for Class-Level Regression Testing — S. Beydeda and V. Gruhn
• An Observational Theory of Integration Testing for Component-Based Software Development — H. Zhu and X. He

Web-Based Systems

• A Runtime Composite Service Creation and Deployment Infrastructure and its Applications in Internet Security, e-Commerce, and Software Provisioning — D. Mennie and B. Pagurek
• A Rough Set Based Self-Adaptive Web Search Engine — B. Xu, W. Zhang, H. Yang and W. C. Chu
• Supporting Web Development in the OPEN Process: Additional Tasks — B. Haire, B. Henderson-Sellers and D. Lowe

Object-Oriented Development

• The Exu Approach to Safe, Transparent and Lightweight Interoperability — J. F. Bubba, A. Kaplan and J. C. Wileden
• Task and Team Management in the Distributed Software Project Management Tool — H. E. Lam and P. Maheshwari
• Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments — D. Turgut, N. Aydin, R. Elmasri and B. Turgut

Embedded Systems

• Algebraic Transformations in Regular Array Design — T. P. Plaks
• A Case Study on Formal Design of Hybrid Control Systems — H. K. Thae and D. V. Hung
• Reducing Matching Time for OPS5 Production Systems — J. A Kang and A. M. K. Cheng

Agent Technology and Frameworks

• Accomplishing Adaptability in Simulation Frameworks: The Bubble Approach — J. A. D. Pace, F. U. Trilnik, M. R. Campo and M. E. Fayad
• Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures — S. Karnouskos
• Implementing an Agent System Using N-Tier Pattern-Based Framework — W. C. Chu, J.-N. Chen, C.-Y. Lee and H. Yang

Industry Application Case Studies

• An Application of Data Warehouse Technology to the Measurement System for UML based Artifacts — T. Fujii and Y. Kambayashi
• Availability Requirement for Fault Management Server — J. J. Han, H. Sun and H. Levendel
• InfoSleuth: Agent-Based System for Data Integration and Analysis — T. Ksiezyk, G. Martin and Q. Jia
• Java in Industrial Automation - A Virtual PLC — M. Grabner, G. Leonhartsberger, A. Leutgeb and J. Altmann

Software Testing 3

• PePPeR: A New Model to Bridge the Gap between User and Designer Perceptions — B.M. Subraya, S. V. Subrahmanya, J. K. Suresh and C. Ravi
• Requirement-Based Automated Black-Box Test Generation — L. H. Tahat, B. Vaysburg, B. Korel and A. J. Bader
• Scenario-Based Functional Regression Testing — W.-T. Tsai, R. Paul, L. Yu and X. Bai

Data Mining

• An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios — C.-H. Yun, K.-T. Chuang and M.-S. Chen
• An Efficient Hash-Based Method for Discovering the Maximal Frequent Set — D.-L. Yang, C.-T. Pan and Y.-C. Chung
• Mining Market Value Functions for Targeted Marketing — Y. Y. Yao and N. Zhong

Metrics and Measurements

• An Assessment Approach To Analyzing Benefits and Risks of Product Lines — K. Schmid
• CLPKIDS: A Program Analysis System for Concurrent Logic Programs — J. Zhao, J. Cheng and K. Ushijima
• Measuring the Intensity of Object Coupling in C++ Programs — C.-S. Ma, C. K. Chang and J. Cleland-Huang

Extensible Markup Language (XML)

• Building and Managing XML/XSL-Powered Web Sites: an Experience Report — C. Kerer, E. Kirda, M. Jazayeri and R. Kurmanowytsch
• Using SOAP to Clean up Configuration Management — P. O'Connell and R. McCrindle
• An XML-Message Based Architecture Description Language and Architectural Mismatch Checking — B. Zhang, K. Ding and J. Li

Design Patterns and Frameworks

• An Unsupervised Segmentation Framework For Texture Image Queries — S.-C. Chen, M.-L. Shyu and C. Zhang
• Coupling of Design Patterns: Common Practices and Their Benefits — W. B. McNatt and J. M. Bieman
• Exception Handling in Component-Based System Development — A. Romanovsky

e-Commerce

• Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business — C. P. Leguizamo, S. Kato, K. Hirai and K. Mori
• Multi-Criteria Transaction for e-Commerce Applications — P. Li, J. Goluguri, I.-L. Yen and A. Tai
• Tailoring e-Commerce Sites to Ease Recovery after Disruptions — K. Renaud and T. van Dyk

Workshop 1: Data Mining and e-Organizations

• Index Miner: A Data Mining System — I- J. Chiang and T. Y. Lin · Scholar 검색
• Melanoma Prediction Using Data Mining System LERS — J. P. Grzymala-Busse, J. W. Grzymala-Busse and Z. S. Hippe
• Category-Based Web Personalization System — C.-C. Lee and W. Xu
• Decision Logics for Knowledge Representation in Data Mining — T.-F. Fan, W.-C. Hu and C.-J. Liau
• A Knowledge-Oriented Clustering Technique Based on Rough Sets — S. Hirano and S. Tsumoto
• On Modeling Data Mining with Granular Computing — Y. Y. Yao