default search action
25th COMPSAC 2001: Chicago, Illinois, USA
- 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA. IEEE Computer Society 2001, ISBN 0-7695-1372-7
Paper Session 1A: Requirements Engineering
- Daniela Rosca, John D'Attilio:
Business Rules Specification, Enforcement and Distribution for Heterogeneous Environments. 3-9 - Hoh In, Siddhartha Roy:
Visualization Issues for Software Requirements Negotiation. 10-
Paper Session 1B: Component-Based Development
- Franck Barbier:
Component-Based Design of Large-Scale Distributed Systems. 19-24 - Lu Zhang, Hong Mei, Hong Zhu:
A Configuration Management System Supporting Component-Based Software Development. 25-30 - Jan Pazdziora:
Converting Web Applications to Data Components: Design Methodology. 31-
Paper Session 1C: Protocols and Harmonization
- J. Barrie Thompson:
A Long and Winding Road (Progress on the Road to a Software Engineering Profession). 39-45 - David W. Flater, K. C. Morris:
Harmonized Conformance Testing for Product Data Managers. 46-54 - Jun Wei, Shing-Chi Cheung
, Xu Wang:
Exploiting Automatic Analysis of E-Commerce Protocols. 55-
Paper Session 2A: Reverse Engineering and Re-Engineering
- Philippe Roose:
ELKAR: A Component Based Re-engineering Methodology to Provide Cooperation. 65-70 - Hong Mei, Tao Xie, Fuqing Yang:
JBOORET: an Automated Tool to Recover OO Design and Source Models. 71-76 - Juergen Rilling, Ahmed Seffah:
MOOSE - A Task-Driven Program Comprehension Environment. 77-
Paper Session 2B: Quality Management
- Stefan Biffl, Michael Halling
Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates. 87-96 - Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen:
A Memory-Based Reasoning Approach for Assessing Software Quality. 97-103 - Tom Walton:
Quality Planning for Software Development. 104-
Panel 2C: Software Architecture: Impact on Software Development
- Christine Hofmeister, Robert L. Nord:
From Software Architecture to Implementation with UML. 113-116
Paper Session 3A: Workflow Systems
- Reinhardt A. Botha
Designing Role Hierarchies for Access Control in Workflow Systems. 117-122 - Alistair P. Barros
Retrofitting Workflows for B2B Assembly. 123-128 - Jiannong Cao, Catherine Chan, Keith C. C. Chan:
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing. 129-
Paper Session 3B: Software Architecture
- Keith H. Bennett, Jie Xu, Malcolm Munro, Zhuang Hong, Paul J. Layzell, Nicolas Gold, David Budgen
An Architectural Model for Service-Based Flexible Software. 137-142 - Ulrich Hannemann, Jozef Hooman:
Formal Design of Real-Time Components on a Shared Data Space Architecture. 143-150 - Mark Shereshevsky, Habib Ammari, Nicholay Gradetsky, Ali Mili, Hany H. Ammar:
Information Theoretic Metrics for Software Architectures. 151-
Paper Session 4A: Software Testing 1
- Jian Zhang, Chen Xu, Shing-Chi Cheung
Automatic Generation of Database Instances for White-box Testing. 161-165 - Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal:
End-To-End Integration Testing Design. 166-171 - Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou:
Fault-Based Testing in the Absence of an Oracle. 172-
Paper Session 4B: Distributed Systems 1
- Galo Gimenez, K. H. Kim:
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message-Triggered Objects. 181-189 - Jie Dai, Jim Alves-Foss:
Certificate Based Authorization Simulation System. 190-195 - James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam:
An Election Based Approach to Fault-Tolerant Group Membership in Collaborative Environments. 196-
Paper Session 4C: Unified Modeling Language (UML)
- Philippe Chevalley, Pascale Thévenod-Fosse:
Automated Generation of Statistical Test Cases from UML State Diagrams. 205-214 - Xiaoshan Li, Zhiming Liu, Jifeng He:
Formal and Use-Case Driven Requirement Analysis in UML. 215-224 - Erwan Breton, Jean Bézivin:
Model Driven Process Engineering. 225-
Panel 4D: Designing Process: Taming the Web Development Cycle
- Adam Steele, Roymieco Carter:
Designing Process: Taming the Web Development Cycle. 233-236
Paper Session 5A: Safety and Security
- Yaroslav Domaratsky, Maxim Perevozchikov, Alexander Ingulets, Alexander Alkhovik:
Back-End Software for Highly Dependable Real-Time Control Systems. 237-244 - Man-Chi Pong:
EC-SignGate: Electronic Contract Signing Gateway. 245-248 - Shu Wenhui, Daniel Tan:
A Novel Intrusion Detection System Model for Securing Web-based Database Systems. 249-
Paper Session 5B: Distributed Systems 2
- Lap-Sun Cheung, Yu-Kwong Kwok:
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems. 257-262 - Stephen S. Yau, Fariaz Karim:
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments. 263-268 - Lisandro Zambenedetti Granville, Liane Margarida Rockenbach Tarouco:
QAME - QoS-Aware Management Environment. 269-
Panel 5C: Formalizing UML Semantics
- Xudong He:
Formalizing UML Semantics. 277-277 - Betty H. C. Cheng:
A Metamodel-Based Approach to Formalizing UML. 278-
Panel 5D: End-to-End Integration Testing
- Wei-Tek Tsai:
End-to-End Integration Testing. 283-283 - Hong Mei:
End-to-End Integration Testing in CBSD. 284-285 - Raymond A. Paul:
End-to-End Integration Testing. 286-
Paper Session 6A: Commercial Off-The-Shelf Components
- Zeng-Wei Hong, Jim-Min Lin, De-Sheng Chen, Hewijin Christine Jiau:
DSIAS: A Software Architectural Style for Distributed Software Integration Systems. 291-296 - Jongmoon Baik, Nancy S. Eickelmann, Chris Abts:
Empirical Software Simulation for COTS Glue Code Development and Integration. 297-302 - Sahra Sedigh-Ali
Metrics-Guided Quality Management for Component-Based Software Systems. 303-
Paper Session 6B: Process Case Studies
- Dickson K. W. Chiu
E-ADOME: Enacting Composite E-services in an Advanced Workflow Environment. 311-316 - Sandro Morasca
An Empirical Study of Software Productivity. 317-322 - Hiroshi Suganuma, Kinya Nakamura, Tsutomu Syomura:
Test operation-driven approach on building regression testing environment. 323-328 - Sergey Baranov, Vsevolod Kotlyarov:
Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture. 329-331 - Yin-Shinn Chen, Feng-Jian Wang:
An Editing System for Working Processes. 332-
Panel 6C: The Position of E-Learning Application Software
- Elsabé Cloete, Mac van der Merwe:
The Position of E-Learning Systems in 2001. 341- - Ugo A. Buy:
Debunking some Common Misconceptions on E-Learning. 342-343 - Tsau Young Lin, Yuke Liu, Wei Luo, Xiuhui Sun, Hongbing Zhou:
Building the Infrastructure of E-University. 344-345 - Peter K. Wiesner:
E Learning In 2001. 346-
Paper Session 7A: Software Testing 2
- Sergiy A. Vilkomir, Jonathan P. Bowen
Formalization of Software Testing Criteria using the Z Notation. 351-356 - Sami Beydeda, Volker Gruhn:
Integrating White- and Black-Box Techniques for Class-Level Regression Testing. 357-362 - Hong Zhu, Xudong He:
An Observational Theory of Integration Testing for Component-Based Software Development. 363-
Paper Session 7B: Web-Based Systems
- David Mennie, Bernard Pagurek:
A Runtime Composite Service Creation and Deployment Infrastructure and its Applications in Internet Security, E-Commerce, and Software Provisioning. 371-376 - Baowen Xu
A Rough Set Based Self-Adaptive Web Search Engine. 377-382 - Brendan Haire, Brian Henderson-Sellers, David B. Lowe:
Supporting Web Development in the OPEN Process: Additional Tasks. 383-
Paper Session 8A: Object-Oriented Development
- Alan Kaplan, John Bubba, Jack C. Wileden:
The Exu Approach to Safe, Transparent and Lightweight Interoperability. 393-394 - Hai Eric Lam, Piyush Maheshwari:
Task and Team Management in the Distributed Software Project Management Tool. 401-408 - Damla Turgut, Nevin Aydin, Ramez Elmasri, Begumhan Turgut:
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments. 409-
Paper Session 8B: Embedded Systems
- Toomas P. Plaks:
Algebraic Transformations in Regular Array Design. 417-422 - Hong Ki Thae, Dang Van Hung:
A Case Study on Formal Design of Hybrid Control Systems. 423-428 - Jeong A. Kang, Albert Mo Kim Cheng
Reducing Matching Time for OPS5 Production Systems. 429-
Paper Session 9A: Agent Technology and Frameworks
- J. Andrés Díaz Pace, Mohamed Fayad, Federico Trilnik, Marcelo R. Campo
Accomplishing Adaptability in Simulation Frameworks: the Bubble Approach. 437-444 - Stamatis Karnouskos
Dealing with Denial-of-Service Attacks in Agent-enabled Active and Programmable Infrastructures. 445-450 - William C. Chu, Juei-Nan Chen, Chun-Yuan Lee, Hongji Yang:
Implementing an Agent System Using N-tier Pattern-Based Framework. 451-
Paper Session 9B: Industry Application Case Studies
- Taku Fujii, Yahiko Kambayashi:
An Application of Data Warehouse Technology to the Measurement System for UML based Artifacts. 459-467 - James J. Han, Hairong Sun, Haim Levendel:
Availability Requirement for Fault Management Server. 468-473 - Tomasz Ksiezyk, Gale Martin, Qing Jia:
InfoSleuth: Agent-Based System for Data Integration and Analysis. 474- - Mario Grabner, Gerhard Leonhartsberger, Alexander Leutgeb, Josef Altmann:
Java in Industrial Automation - A Virtual PLC. 477-
Paper Session 10A: Software Testing 3
- B. M. Subraya, S. V. Subrahmanya, J. K. Suresh, C. Ravi:
PePPeR: A New Model to Bridge the Gap between User and Designer Perceptions. 483-488 - Luay Ho Tahat
Requirement-Based Automated Black-Box Test Generation. 489-495 - Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai:
Scenario-Based Functional Regression Testing. 496-
Paper Session 10B: Data Mining
- Ching-Huang Yun, Kun-Ta Chuang, Ming-Syan Chen:
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios. 505-510 - Don-Lin Yang, Ching-Ting Pan, Yeh-Ching Chung:
An Efficient Hash-Based Method for Discovering the Maximal Frequent Set. 511-516 - Yiyu Yao
Mining Market Value Functions for Targeted Marketing. 517-
Paper Session 11A: Metrics and Measurement
- Klaus Schmid:
An Assessment Approach To Analyzing Benefits and Risks of Product Lines. 525-530 - Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
CLPKIDS: A Program Analysis System for Concurrent Logic Programs. 531-537 - Chia-Song Ma, Carl K. Chang, Jane Cleland-Huang:
Measuring the Intensity of Object Coupling in C++ Programs. 538-
Paper Session 11B: Extensible Markup Language (XML)
- Clemens Kerer, Engin Kirda, Mehdi Jazayeri, Roman Kurmanowytsch:
Building and Managing XML/XSL-powered Web Sites: an Experience Report. 547-554 - Paul O'Connell, Rachel Jane McCrindle:
Using SOAP to Clean up Configuration Management. 555-560 - Bo Zhang, Ke Ding, Jing Li:
An XML-message Based Architecture Description Language and Architectural Mismatch Checking. 561-
Paper Session 12A: Design Patterns and Frameworks
- Shu-Ching Chen, Chengcui Zhang
An Unsupervised Segmentation Framework For Texture Image Queries. 569-573 - William B. McNatt, James M. Bieman:
Coupling of Design Patterns: Common Practices and Their Benefits. 574-579 - Alexander B. Romanovsky:
Exception Handling in Component-Based System Development. 580-
Paper Session 12B: E-Commerce
- Carlos Pérez Leguízamo, Shohei Kato, Kenji Hirai, Kinji Mori:
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business. 589-595 - Peng Li, Jayabharath Goluguri, I-Ling Yen, Ann T. Tai:
Multi-Criteria Transaction for E-Commerce Applications. 596-602 - Karen Renaud, Tobias van Dyk:
Tailoring E-Commerce Sites to Ease Recovery after Disruptions. 603-
Workshop 1: Data Mining and E-Organizations
- I-Jen Chiang, Tsau Young Lin:
Index Miner. 613-614 - Jan P. Grzymala-Busse, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe:
Melanoma Prediction Using Data Mining System LERS. 615-620 - Ching-Cheng Lee, Wei Xu:
Category-Based Web Personalization System. 621-625 - Tuan-Fang Fan, Wu-Chih Hu, Churn-Jung Liau:
Decision Logics for Knowledge Representation in Data Mining. 626- - Shoji Hirano, Shusaku Tsumoto:
A Knowledge-Oriented Clustering Technique Based on Rough Sets. 632-637 - Yiyu Yao
On Modeling Data Mining with Granular Computing. 638-
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 2024-12-23 19:18 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: