compsac 2002

26th Annual International Computer Software and Applications Conference (COMPSAC 2002)

• 장소·일정: Oxford, England, Aug 26–29, 2002
• 논문: 192편 (IEEE Xplore 183편, 무료 사본 14편)

Plenary I - Keynote Address

• Prolonging Software Life — T. M. S. Heng

Component Based Software Development (1)

• Optimal Resource Allocation and Reliability Analysis for Component-Based Software Applications — J.-H. Lo, S.-Y. Kuo, M. R. Lyu and C.-Y. Huang
• Process-Oriented, Consistent Integration of Software Components — R. Depke, G. Engels, S. Thöne, M. Langham and B. Lütkemeier
• Open Reuse of Component Designs in OPM/Web — I. Reinhartz-Berger, D. Dori and S. Katz

Software Evolution (1)

• Quantitative Aspects of Requirements Evolution — S. Anderson and M. Felici
• Supporting Evolution and Maintenance of Components Using a Remote Service Architecture — S. Thomason and P. Brereton
• Requirements Specifications Evolution in a Multi-Perspective Environment — A. B. Barragáns-Martínez, J. García-Duque, J. J. Pazos-Arias, A. Fernández-Vilas and R. P. Díaz-Redondo · Scholar 검색

Software Process (1)

• The Software Engineering Global Model — C. Toffolon and S. Dakhli
• Resource Instantiation Policies for Software Process Environments — C. A. L. Reis, R. Q. Reis, H. Schlebbe and D. J. Nunes
• On the Business Impact of Software Process Improvement — R. J. Kusters, J. J. M. Trienekens and W. Hassoldt · Scholar 검색

Software Architecture for Control Systems

• Case Study: Componentization of an Industrial Control System — F. Lüders, I. Crnkovic and A. Sjögren
• Requirements Specification and Architecture Design for Internet-Based Control Systems — S. H. Yang, L. S. Tan and X. Chen
• Distributed Agent Architecture for Port Automation — T. Thurston and H. Hu

Panel: FORTEST: Formal Methods and Testing

• FORTEST: Formal Methods and Testing — J. P. Bowen, K. Bogdanov, J. A. Clark, M. Harman, R. M. Hierons and P. Krause · 무료 사본 · bura.brunel.ac.uk

Internet and Gigabit Net

• Rights Protection for Digital Contents Redistribution Over the Internet — S. C. Cheung and H. Curreem
• Internet Emulation for Java Applications through Socket Factories — M. Avvenuti and A. Vecchio
• Gigabit Packet Classification by Using Lookahead Caching — P.-C. Wang, W.-C. Tseng, C.-T. Chan and Y.-C. Chen

Quality Control (1)

• Requirements Driven Quality Control — S. Szejko
• A Fuzzy Logic Framework to Improve the Performance and Interpretation of Rule-Based Quality Prediction Models for OO Software — H. A. Sahraoui, M. Boukadoum, H. M. Chawiche, G. Mai and M. Serhani
• Application of Hazard Analysis to Software Quality Modelling — H. Zhu, Y. Zhang, Q. Huo and S. Greenwood

Modeling with UML

• A Toolset for Supporting UML Static and Dynamic Model Checking — W. Shen, K. Compton and J. Huggins
• From MSC and UML to SDL — S. Bourduas, F. Khendek and D. Vincent
• Do Actors Call Use Cases? - Solving the Problems of OOSE/UML Use-Case Relationships — S. Isoda

XML and Semantic Web

• Using XML to Integrate Existing Software Systems into the Web — H. M. Sneed
• XVIP: An XML-Based Video Information Processing System — C. H. Ngai, P. W. Chan, E. Yau and M. R. Lyu
• The Cooperative Web: A Complement to the Semantic Web — D. G. Avello and D. A. Gutiérrez · 무료 사본 · hdl.handle.net

Communication and Networking

• Personalized Redirection of Communication — Y. Yang and M. H. Williams
• Design and Implementation of a Network Application Architecture for Thin Clients — C.-C. Kuo, P. Ting, M.-S. Chen and J.-C. Chen
• Distributed Checkpointing Using Synchronized Clocks — S. Neogy, A. Sinha and P. K. Das

Panel: Entrepreneurship in Software Industry

• Entrepreneurship in Software Industry — S. S. Yau · Scholar 검색

UML Application and Requirement Engineering

• Case Study: Implementing a Web Based Auction System Using UML and Component-Based Programming — F. T. Sheldon, K. Jerath, Y.-J. Kwon and Y.-W. Baik
• A UML Profile to Support the Formal Presentation of Software Architecture — A. Hudaib and C. Montangero
• Transformation and Integration Method of Scenarios — A. Ohnishi, Z. H. Hui and H. Fujimoto

Ubiquitous Computing, Middleware and Embedded Systems

• Development of Situation-Aware Application Software for Ubiquitous Computing Environments — S. S. Yau, Y. Wang and F. Karim
• On Bootstrapping Replicated CORBA Applications — W. Zhao, L. E. Moser and P. M. Melliar-Smith
• Strategies for Integration of a Non-OO EIS and the J2EE Framework — S. Tu, G. Li and P. Augustin

Software Engineering Profession and Methodology

• Closing the Circle on Software Engineering Professionalism and Free Movement of Labour — J. B. Thompson
• Towards an MDA-Oriented Methodology — M.-P. Gervais
• Reducing Risks of Widespread Faults and Attacks for Commercial Software Applications: Towards Diversity of Software Components — M. Casassa Mont, A. Baldwin, Y. Beres, K. Harrison, M. Sadler and S. Shiu

Software Process and Quality

• Requirement Capturing and 3CR Approach — S. Baranov, V. Kotlyarov, J. Kapitonova, A. Letichevsky and V. Volkov
• Constructing an EJB Application in a WFMS — J.-W. Wang, T.-C. Lin, H.-J. Hsu and F.-J. Wang
• Suitability of Evolutionary Algorithms for Evolutionary Testing — J. Wegener, A. Baresel and H. Sthamer
• Program C Editor through Voice Input — M. Yamamoto
• Preliminary Case Study on Software Reuse with Object Persistency Framework — H. Suganuma, N. Kijima, T. Nii and K. Nakamura

Measurement and Metrics

• Evaluating Software Maintenance Cost Using Functional Redundancy Metrics — T. Imai, Y. Kataoka and T. Fukaya
• Measuring Distance between Program Features — W. E. Wong, S. S. Gokhale and J. R. Horgan
• The Quest for Software Components Quality — M. Goulão and F. Brito e Abreu

Testing (1)

• Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded — W. T. Tsai, Y. Na, R. Paul, F. Lu and A. Saimi
• Metamorphic Testing of Programs on Partial Differential Equations: A Case Study — T. Y. Chen, J. Feng and T. H. Tse · 무료 사본 · figshare.com
• Expanding an Extended Finite State Machine to Aid Testability — R. M. Hierons, T.-H. Kim and H. Ural · 무료 사본 · bura.brunel.ac.uk

Panel: Are We at Last Seeing Global Movements Towards Software Engineering Professionalism?

• Are We At Last Seeing Global Movements Towards Software Engineering Professionalism? — J. B. Thompson
• The Software Engineering Code of Ethics and Professional Practice: A Case for Being Proactive — S. Rogerson
• Software Engineering Licenses in Texas — D. B. Simmons
• Software Engineering Professionalism: Is the End of Constraints and Conflicts in Sight? — T. H. Tse

Program Slicing and Analysis

• Slice-Based Dynamic Memory Modelling: A Case Study — Y. Sivagurunathan, M. Harman and B. Sivagurunathan
• Program Slicing via FermaT Transformations — M. P. Ward
• A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems — R. J. Walters

Process (2)

• Early Experiences on Promoting Explicit Separation of Details to Improve Software Processes Reusability — R. Q. Reis, C. A. L. Reis, H. Schlebbe and D. J. Nunes
• A Typed Generic Process Model for Product Focused Process Improvement — M. Satpathy and R. Harrison
• A Method to Combine Any Process Algebra with an Algebraic Specification Language: The p-Calculus Example — G. Salaün, M. Allemand and C. Attiogbé

Web Based Systems (1)

• The Application of Case-Based Reasoning to Early Web Project Cost Estimation — E. Mendes, N. Mosley and S. Counsell
• Tolerating Changes in A Design Psychology Based Web Page Wrapper — Y. Li, Z. Cui, H. Yang and H. C. Jiau
• Reliability Assessment of WEB Applications — V. S. Alagar and O. Ormandjieva

Software Evolution (2)

• Renaissance: A Method to Support Software System Evolution — I. Warren and J. Ransom
• Investigating Large Software System Evolution: The Linux Kernel — E. Merlo, M. Dagenais, P. Bachand, J. S. Sormani, S. Gradara and G. Antoniol
• From System Comprehension to Program Comprehension — C. Tjortjis, N. Gold, P. Layzell and K. Bennett · 무료 사본 · durham-repository.worktribe.com

Architecture for Development

• Software Application Platforms: From Product Architecture to Integrated Application Strategy — M. Sääksjärvi
• A Distributed Architecture for Cooperative and Adaptative Multimedia Applications — P. Roose, M. Dalmau and F. Luthon · 무료 사본 · univ-pau.hal.science
• An Architecture-Based Approach for Component-Oriented Development — F. Chen, Q. Wang, H. Mei and F. Yang

Plenary II - Keynote Address

• Assertions in Modern Software Engineering Practice — T. Hoare

Software Tools

• Dependency Analysis and Visualization as Tools to Prolong System Life — D. McComb, S. Robe, S. Hoare and S. Crawford-Hines
• TRIZ for Software Process Improvement — T. Stanbrook
• A Reusable Software Architecture Model for Manufactory Management Information System — H. Guo, F. Chen, Y. Wang and Y. Sun
• Managing Software Quality with Defects — D. N. Card
• ToolManager: A Tool for Management of CASE Tools — S. R. B. Oliveira, A. M. L. de Vasconcelos and A. C. Rouiller

Web Based Systems (2)

• An Approach to Identify Duplicated Web Pages — G. A. Di Lucca, M. Di Penta and A. R. Fasolino
• Web Document Classification Based on Fuzzy Association — C. Haruechaiyasak, M.-L. Shyu, S.-C. Chen and X. Li
• Application Assembly Using Web Services — J. van Zyl

Service Based Software

• Software as a Service: A Negotiation Perspective — A. Elfatatry and P. Layzell · 무료 사본 · figshare.com
• Trust Services: A Framework for Service-Based Solutions — A. Baldwin, S. Shiu and M. C. Mont
• Autonomous Real-Time Navigation Based on Work Load Situation in Demand-Oriented Information Service System — T. Zenmyo, H. Arfaoui and K. Mori

Panel: Knowledge Transfer from University to University

• Knowledge Transfer from University to Industry: Problems and Lessons Learned - An Overview — S. Rogerson
• Knowledge Transfer: What Are We Transferring and Where Are We Transferring It? — A. Adam
• Compsac 2002 Panel : "Knowledge Transfer from Universities to Industry" — N. Copp · Scholar 검색
• Knowledge Transfer from University to Industry: Problems and Lessons Learned — S. Szejko

Quality Control (2)

• Quality Models Reuse: Experimentation on Field — A. Bianchi, D. Caivano and G. Visaggio
• The Method of Software Reliability Growth Models Choice Using Assumptions Matrix — V. S. Kharchenko, O. M. Tarasyuk, V. V. Sklyar and V. Y. Dubnitsky
• A Persistent Programming Environment for Teaching Object-Oriented Concepts — C. J. Harrison and O. M. Sallabi

Component Based Software Development (2)

• Component Based System Framework for Dynamic B2B Interaction — J. Hu and P. Grefen · 무료 사본 · ris.utwente.nl
• Mining Legacy Systems for Business Components: An Architecture for an Integrated Toolkit — P. D. Johnson
• Control-Driven Coordination Based Assembling of Components — A. Chimaris and G. A. Papadopoulos

Agent Based and Intelligent Systems

• MADSS: A Multi-Agent Based Distributed Scripting System — J.-M. Lin, Z.-W. Hong and G.-M. Fang
• Extending Applications Using Reflective Assistant Agents — A. Di Stefano, G. Pappalardo, C. Santoro and E. Tramontana
• Supporting Event Based Traceability through High-Level Recognition of Change Events — J. Cleland-Huang, C. K. Chang and Y. Ge

Web Application and Pattern Language

• WWM: A Practical Methodology for Web Application Modeling — C. Kaewkasi and W. Rivepiboon
• Developing Web-Based Applications through e-Prototyping — W.-G. Bleek, M. Jeenicke and R. Klischewski
• A Process for Framework Construction Based on a Pattern Language — R. T. V. Braga and P. C. Masiero

Application Framework and Concurrency

• Defining the Problems of Framework Reuse — D. Kirk, M. Roper and M. Wood
• An Application Framework for TCP/IP Applications — A. Kumazaki, M. Noro, H.-M. Chang and Y. Hachisu
• Design and Implementation of the Concurrency Control Manager in the Main-Memory DBMS Tachyon — S.-W. Kim, W. Choi and B.-H. Kim

Formal Methods (1)

• A Formal Method for Analyzing Software Architecture Models in SAM — H. Yu, X. He, Y. Deng and L. Mo
• The Semantics of Extended SOFL — J. S. Dong and S. Liu
• Formalizing Incremental Design in Real-Time Area: SCTL/MUS-T — A. F. Vilas, J. J. P. Arias, R. P. D. Redondo and A. B. B. MartÍnez

Mobile Computing

• MoCha: A Middleware Based on Mobile Channels — F. Arbab, F. de Boer, J. G. Scholten and M. Bonsangue
• Towards a Software Architecture for Distributed and Mobile Collaborative Systems — S. Dustdar and H. Gall
• A QoS-Sensitive Content Adaptation System for Mobile Computing — W. Y. Lum and F. C. M. Lau

Software Maintenance

• Object Identification in Legacy Code as a Grouping Problem — H. Sahraoui, P. Valtchev, I. Konkobo and S. Shen
• Software Maintainability Improvement: Integrating Standards and Models — W. C. Chu, C.-W. Lu, C.-H. Chang, Y.-C. Chung, Y.-M. Huang and B. Xu
• Understanding SQL through Iconic Interfaces — L. Aversano, G. Canfora, A. De Lucia and S. Stefanucci

Formal Methods (2)

• Specification and Verification of Spatial Data Types with B-Toolkit — K. Y. Chun and D. V. Hung
• Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems — U. Buy and G. Singal
• A Tableau-Based Procedure for Model Checking Programs — A. Santone and G. Vaglini

Software Reuse and Evolution

• An Investigation: Reengineering Sequential Procedure-Driven Software into Object-Oriented Event-Driven Software through UML Diagrams — R. Millham
• Process Diagnostics — V. S. Phanindra, M. Murugappan and G. Keeni
• Interaction-Driven Definition of e-Business Processes — C. Zirpins and G. Piccinelli · 무료 사본 · discovery.ucl.ac.uk
• Reviving Pacbase COBOL-Generated Code — J.-P. Bernardy
• A Data Collection Case Study Supporting Requirements Oriented Prediction and Management in Software Developments — K. Boness and R. Harrison

Frameworks

• Framework for Goal Driven System Design — J. Savolainen and J. Kuusela
• A Nested Invocation Suppression Framework for Active Replication Fault-Tolerant CORBA — D. Liang, C.-L. Fang, C. Chen and J. C. Tsai
• A Simple Mathematically Based Framework for Rule Extraction from an Arbitrary Programming Language — F. V. Ramsey and J. J. Alpigini

Management (1)

• ContentP2P: A Peer-to-Peer Content Management System — G. Canfora, S. Manzo, V. F. Rollo and M. L. Villani
• An Investigation of Prediction Models for Project Management — D. Rodríguez, R. Harrison, M. Satpathy and J. Dolado
• A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study — S. Xu, H. P. In and M. S. Feather

File System and Information Management

• SIFA: A Scalable File System with Intelligent File Allocation — H.-P. Tsai, J.-L. Huang, C.-M. Chao, M.-S. Chen and C. Liao
• A File Naming Scheme Using Hierarchical-Keywords — H. Tada, O. Honda and M. Higuchi
• Private Information Retrieval in the Presence of Malicious Failures — E. Y. Yang, J. Xu and K. H. Bennett · 무료 사본 · durham-repository.worktribe.com

Panel: System-Level Issues and Approaches in Software Development

• Engineering of Computer Based Systems (ECBS) Panel Introduction — S. White · Scholar 검색
• Towards Reusable and Reconfigurable Models for the WWW — W. Buchanan and E. Brown
• Component-Based Software Engineering: Building Systems from Software Components — I. Crnkovic
• Systemic Issues in Functional and Extra-Functional Performance — D. B. Mulcare

Testing (2)

• Temporal Modeling of Software Test Coverage — S. Sedigh-Ali, A. Ghafoor and R. Paul
• Hypothesis Testing for Module Test in Software Development — T. Yamaura, A. K. Onoma and W.-T. Tsai
• Class Specification Implementation Graphs and their Application in Regression Testing — S. Beydeda and V. Gruhn

System Development with Java

• Concurrency Control with Java and Relational Databases — S. Soares and P. Borba
• Using Standard Verifier to Check Secure Information Flow in Java Bytecode — C. Bernardeschi, N. De Francesco and G. Lettieri
• Generating a Pattern-Based Application Development Environment for Enterprise JavaBeans — I. Hammouda and K. Koskimies

Compression, Patter Matching and Genetic Algorithms

• A Log Compression Algorithm for Operation-based Version Control Systems — H. Shen and C. Sun · 무료 사본 · hdl.handle.net
• A Dictionary-Based Compressed Pattern Matching Algorithm — M.-H. Ho and H.-C. Yen
• Parallel Genetic Algorithms with Schema Migration — B. Xu, Y. Guan, Z. Chen and K. R. P. H. Leung

Management (2)

• Multi-Criteria Preference Analysis for Systematic Requirements Negotiation — H. P. In, D. Olson and T. Rodgers
• Enhanced Intranet Management in a DHCP-Enabled Environment — J.-H. Wang and T.-L. Lee
• Achieving Scalability in Hierarchical Location Services — M. van Steen and G. Ballintijn · 무료 사본 · research.vu.nl

Code Coupling, Information Retrieval and Scheduling

• An Investigation into the Effects of Code Coupling on Team Dynamics and Productivity — J. W. Cain and R. J. McCrindle
• An Effective Content-Based Visual Image Retrieval System — X. Li, S.-C. Chen, M.-L. Shyu and B. Furht
• New Model and Scheduling Protocol for Transactional Workflows — K. Ding, B. Jin, J. Wei and Y. Feng

Workshop: Web Security and the Semantic Web

• Workshop Chair Introduction: Web and Information Security: Workshop Summary — B. Thuraisingham and E. Ferrari · Scholar 검색
• An Application of Directory Service Markup Language (DSML) for Role-Based Access Control (RBAC) — D. Shin, G.-J. Ahn and J. S. Park
• A Chinese Wall Approach to Privacy Policies for the Web — F. A. Lategan and M. S. Olivier
• MaX : An Access Control System for Digital Libraries and the Web — E. Bertino, E. Ferrari and A. Perego
• Hybrid Role Hierarchy for Generalized Temporal Role Based Access Control Model — J. B. D. Joshi, E. Bertino and A. Ghafoor
• On the Response Policy of Software Decoys: Conducting Software-Based Deception in the Cyber Battlespace — J. B. Michael
• Data and Applications Security: Developments and Directions — B. Thuraisingham
• Placing the Chinese Walls on the Boundary of Conflicts - Analysis of Symmetric Binary Relations — T. Y. Lin

Workshop: Dependable On-Line Upgrading of Distributed Systems

• Workshop Chair Introduction: Dependable On-Line Upgrading of Distributed Systems — A. Romanovsky and I. Smith · Scholar 검색
• Online Software Upgrading: New Research Directions and Practical Considerations — M. E. Segal
• Online Upgrades Become Standard — L. E. Moser, P. M. Melliar-Smith and L. A. Tewksbury
• Improving Service Availability via Low-Outage Upgrades — C. Dislis
• Dynamic On-line Object Update in the Grumps System — H. Evans
• A Structured Approach to Handling On-Line Interface Upgrades — C. Jones, A. Romanovsky and I. Welch
• Using RAIC for Dependable On-line Upgrading of Distributed Systems — L. Chang and D. J. Richardson
• The Architecture of a Dynamically Updatable, Component-Based System — R. P. Bialek
• Metadata Support for Safe Component Upgrades — P. Brada
• Dynamically Evolvable Distributed Systems — R. Pandey, S. Malabarba, T. Stapko and B. Hashii
• A Case Study of Dependable Software Upgrade with Distributed Components — J. J. Li and X. Shan
• A Dynamic Upgrade Mechanism Based on Publish/Subscribe Interaction — F. van de Laar and M. R. V. Chaudron
• Towards Upgrading Actively Replicated Servers on-the-Fly — M. Solarski and H. Meling

Workshop: Cooperative Supports for Distributed Software Engineering Processes

• Workshop Chair Introduction: Workshop on Cooperative Supports for Distributed Software Engineering Processes — G. Canfora and A. De Lucia · Scholar 검색
• Generalised Environment for Process Management in Cooperative Software Engineering — M. Gaeta and P. Ritrovato
• FlowManager: A Workflow Management System Based on Petri Nets — L. Aversano, A. Cimitile, P. Gallucci and M. L. Villani
• Applying Workflow Management to Support Massive Maintenance — L. Aversano, S. Betti, E. Pompella and S. Stefanucci
• A Unified Process Support Framework for Global Software Development — J. Sa and E. Maslova
• Tool Support for Distributed Inspection — F. Lanubile and T. Mallardo
• Maintenance in Joint Software Development — P. F. Tiako
• Active Artefact Management for Distributed Software Engineering — C. Boldyreff, D. Nutter and S. Rank · 무료 사본 · repository.uel.ac.uk
• Designing a Distributed Software Development Support System Using a Peer-to-Peer Architecture — S. Bowen and F. Maurer
• Palantír: Coordinating Distributed Workspaces — A. Sarma and A. van der Hoek
• A Decision Model Supporting Cooperative Work as an Experience Package — M. T. Baldassarre, D. Caivano, C. A. Visaggio and G. Visaggio
• A Model for Selecting CSCW Technologies for Distributed Software Maintenance Teams in Virtual Organisations — C. Tjortjis, G. Dafoulas, P. Layzell and L. Macaulay · 무료 사본 · figshare.com
• An Actor-Oriented Approach to Distributed Product Management Systems — P. Jiang and Q. Mair
• Tool Demo: MOTION: A Peer-to-Peer Platform for Mobile Teamwork Support — E. Kirda, H. Gall, P. Fenkam and G. Reif
• Tool Demo: Process Support and Knowledge Management for Virtual Teams Doing Agile Software Development — S. Bowen and F. Maurer

Workshop: Foundations of Data Mining via Granular and Rough Computing

• Workshop Chair Introduction: Foundations of Data Mining via Granular and Rough Computing — S. Tsumoto, T. Y. Lin and J. F. Peters · Scholar 검색
• Theorize with Data Using Rough Sets — Z Pawlak
• Mining Decision-Rule Preference Model from Rough Approximation of Preference Relation — R. Slowinski, S. Greco and B. Matarazzo
• A Rough Set Approach to Measuring Information Granules — J. F. Peters, Z. Pawlak and A. Skowron
• Software Quality Knowledge Discovery: A Rough Set Approach — S. Ramanna, J. F. Peters and T. Ahn
• Postprocessing of Rule Sets Induced from a Melanoma Data Set — J. W. Grzymala-Busse and Z. S. Hippe
• Issues in Modeling for Data Mining — T. Y. Lin
• Association Rules and Non-Classical Logics — T. Murai, M. Nakata and Y. Sato
• Logic-Based Granular Prototyping — A. Bargiela, W. Pedrycz and K. Hirota
• On Similarity Measures for Cluster Analysis in Clinical Laboratory Examination Databases — S. Hirano, X. Sun and S. Tsumoto
• Rule and Matroid Theory — S. Tsumoto