compsac 1998

22nd Annual International Computer Software and Applications Conference (COMPSAC 1998)

• 장소·일정: Vienna, Austria, Aug 19–21, 1998
• 논문: 100편 (IEEE Xplore 91편, 무료 사본 5편)

Design Patterns and Frameworks I

• Application Development Process - A Pipeline Framework — C. Yerrapragada
• The Essence of the Visitor Pattern — J. Palsberg and C. B. Jay
• Concurrent Development on a Framework and its Application — H. Suganuma, T. Syomura and F. Tsunoda

Panel: Testing Complex Multi-Process of Software Systems

• Position Statement: Testing Complex Systems — P. Grabow

Object-Oriented Reengineering

• Binding Object Models to Source Code: An Approach to Object-Oriented Re-Architecting — J. Weidl and H. Gall
• Object-Oriented Model Refinement Technique in Software Reengineering — W.-J. Park, S.-Y. Min, D.-H. Bae and P.-S. Mah
• Reengineering the Class - An Object Oriented Maintenance Activity — G. V. Subramaniam and E. J. Byrne

Data Management

• On Analyzing the Errors in a Selectivity Estimation Method Using a Multidimensional File Structure — S.-W. Kim, W.-K. Whang and K.-Y. Whang
• A Modular Java API for Object-Oriented Databases — R. K. Ege, Y. Battikhi, P. Pardo, J. Uppal and N. Rishe
• Range-Based Bitmap Indexing for High Cardinality Attributes with Skew — K.-L. Wu and P. S. Yu

Panel: Directions and Challenges for Middleware Technology

• The Role of Architecture in System Design — M. Boasson
• State Sharing Middleware — E. de Jong

Industry Presentation II: Migrating Legacy Systems II

• Interfacing to Legacy and Object-Oriented Environments — B. Healton
• CORBA in Advanced Intelligent Networks and Service Creation Environments — M. McKee

High Assurance and Fault Tolerant Systems

• Revisit Consensus Problem on Dual Link Failure Modes — S. C. Wang and K. Q. Yan
• Architecture of ROAFTS/Solaris: A Solaris-Based Middleware for Real-Time Object-Oriented Adaptive Fault Tolerance Support — E. Shokri, P. Crane, K. H. Kim and C. Subbaraman
• Certifying High Assurance Software — J. Voas

Software Architecture and Components

• Describing Software Architectures by System Structure and Properties — W. Eixelsberger and H. Gall
• M-Base: Enduser-Initiative Application Development Based on Message Flow and Componentware — T. Chusho, M. Matsumoto and Y. Konishi
• A Model for Designing Adaptable Software Components — G. T. Heineman · Scholar 검색
• Component-Based Integrated Systems Development: A Model for the Emerging Procurement-Centric Approach to Software Development — V. Tran

Transformational Formal Methods

• The Transition of Context-Free Textual Languages into a Visual Programming Notation via Graph Techniques and a Metal Tool — F. Bühler, M. Callaghan and P. Luker
• Formal Specification and Simulation of Software through Graph Grammars: A General but Minimal Approach — R. Freund, H. Pötzl, C. Stary and T. Svizensky
• Automatic Refinement of Distributed Systems Specifications Using Program Transformations — A. C. L. de Santana, A. F. Prado, W. L. de Souza and M. Sant'Anna
• Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions — X. He

Software Quality

• Software Products Quality Improvement with a Programming Style Guide and a Measurement Process — A. Ayerbe and I. Vazquez
• Developing Situationally Specific Methods through Stakeholder Collaboration — H. M. Edwards, J. B. Thompson and C.J. Hardy
• Siemens Process Assessment and Improvement Approaches: Experiences and Benefits — T. Mehner, T. Messer, P. Paul, F. Paulisch, P. Schless and A. Völker
• Early Measurement and Improvement of Software Quality — J. Tian

Software Maintenance

• Service Channels - Purpose and Tradeoffs — H. Pirker, R. T. Mittermeir and D. Rauner-Reithmayer
• Reengineering Support for Software Evolution: An Evaluation through Case Study — E. Burd and M. Munro
• Some Maintainability Metrics for a Communication Protocol Specified in Estelle — S.-J. Huang and R. Lai

Keynote Address II: Directions and Challenges in Information

• Data Security — E. Bertino and E. Ferrari · Scholar 검색

Distributed Object Management / Common Object Request Broker Architecture

• Software Architectural Modeling of the CORBA Object Transaction Service — S. Busse and S. Tai
• A Component-Based Approach to Object-Oriented Distributed Application Software Development — S. S. Yau and B. Xia · Scholar 검색
• Building CORBA Objects with DOS Software Applications — J.-M. Lin, W. Chu, W. Lo, H. Yang and C.-W. Lu

Panel: Security and the World Wide Web

• Panel Overview: Security and the World Wide Web — B. Thuraisingham · Scholar 검색

Software Engineering Practices

• A Multi-User Visual Object-Oriented Programming Environment — C.-H. Hu and F.-J. Wang
• A Framework for Software Engineering Inconsistencies Analysis and Reduction — C. Toffolon and S. Dakhli
• A Generative Approach for Building Data-Oriented Information Systems — B. Pieber and W. Goebl
• Software Engineering for Scalable Distributed Applications — M. van Steen, S. van der Zijden and H. J. Sips

Distributed Systems

• A Multiview Visualization Architecture for Open Distributed Systems — P. Oldengarm and A. van Halteren · 무료 사본 · ris.utwente.nl
• A Solution to the Distributed Mutual Exclusion Problem in K-Groups — A. Khiat and M. Naimi
• A Structured Design Technique for Distributed Programs — M. Polman, M. van Steen and A. de Bruin · 무료 사본 · hdl.handle.net

Design Patterns and Frameworks II

• Naming: Design Pattern and Framework — A. R. Silva, P. Sousa and M. Antunes
• Framework-Oriented Analysis — F. Zhu and W.-T. Tsai
• Application of Design Patterns for the Self-Development of a Java Preprocessor — M. Komuro and A. Kumeta

Panel: Real-Time Systems

• Panel Discussion on Real-Time Systems — W. A. Halang, K. H. Kim, K. Mori, U. Schmid and H. F. Wedde

Information Systems

• Capability-Based Protection for Integral Object-Oriented Systems — M. A. D. Fondón, D. A. Gutiérrez, L. T. Martínez, F. A. García and J. M. C. Lovelle
• A Workbench for Privacy Policies — L. C. J. Dreyer and M. S. Olivier
• A Generic Discretionary Access Control System for Reuse Frameworks — L. K. Wei and S. Jarzabek

Industry Presentation III: Building and Evolving Large Systems

• Evolving the AirBorne Warning and Control System (AWACS) — E. Hughes and T. Wheeler
• Reliability of Conformance Tests — C. Hagwood, R. Kacker, J. Yen, D. Banks, L. Rosenthal, L. Gallagher and P. Black · Scholar 검색

Formal Specifications

• Specification of E-LOTOS Systems in the E-DART Environment — L. Z. Granville and M. J. Almeida
• Requirements Validation based on the Visualization of Executable Formal Specifications — M. B. Ozcan, P. W. Parry, I. C. Morrey and J. Siddiqi
• Object-Oriented Software Specification in Programming Language Design and Implementation — B. R. Bryant and V. Vaidyanathan
• Code Synthesis Based on Object-Oriented Design Models and Formal Specifications — X. Jia and S. Skevoulis

Computer Supported Cooperative Work

• An Optimistic Method for Updating Information in Distributed Collaborative Work — T. Okubo, T. Matsutsuka, Y. Tanaka, H. Hara and S. Uehara
• Allocating Data Objects to Multiple Sites for Fast Browsing of Hypermedia Documents — S.-K. So, I. Ahmad and K. Karlapalem
• Design and Implementation of Action History View Mechanisms for Hypermedia Systems — I. Iwamoto, C. Ito and Y. Kambayashi
• A General Framework for Interconnecting Annotations of Software Systems — M. V. Stein, M. P. E. Heimdahl and J. T. Riedl

Web Information Management

• Software Commerce Broker Over the Internet — M. Aoyama and T. Yamashita
• The Impact of the Coordination Model in the Design of Mobile Agent Applications — G. Cabri, L. Leonardi and F. Zambonelli · 무료 사본 · hdl.handle.net
• State Management in WWW Database Applications — S. Hadjiefthymiades, D. Martakos and C. Petrou
• Efficient State Estimators for Load Control Policies in Scalable Web Server Clusters — V. Cardellini, M. Colajanni and P. S. Yu · 무료 사본 · hdl.handle.net

Software Testing and Verification

• Validating Requirements: The Evolutionary Approach — M. Lemoine, D. Marre, P. Thuillier and J.-L. Wippler
• Regression Slicing and its Use in Regression Testing — I. Forgács, A. Hajnal and É. Takács
• IDATG: An Open Tool for Automated Testing of Interactive Software — A. Beer, S. Mohacsi and C. Stary
• Rule Base Verification Using Petri Nets — S. J. H. Yang, A. S. Lee, W. C. Chu and H. Yang

Keynote Address III: New Information Services for an Integrated Visionary System

• Tools for the Knowledge Analyst: An Information Superiority Visionary Demonstration — M. T. Maybury

Reuse and Reengineering for Software Evolution

• Implementation Reuse and Inheritance in Distributed Component Systems — H. D. Hofmann and J. Stynes
• A Fresh Look at Programming-in-the-Large — W. Cazzola, A. Savigni, A. Sosio and F. Tisato
• Re-Engineering for Reuse: A Paradigm for Evolving Complex Reuse Artefacts — W. Lam and M. Loomes
• A Case Study in Supporting Schema Evolution of Complex Engineering Information Systems — J.-H. Jahnke, U. A. Nickel and D. Wagenblaßt

Panel: Euro-Conversion and the Year 2000 Problem

• Panel Overview: Euro-Conversion and Year 2000 Problem — R. T. Mittermeir · Scholar 검색
• The New Millennium: A Turning Point? — J. B. Thompson
• Euro-Conversion and Year 2000: A Review of the Project Situation (Position Paper) — R. R. Klösch · Scholar 검색

Enterprise Computing and Project Management

• Maintaining Execution Histories for Understanding the Execution of Business Processes — G.-D. Chen, C.-C. Liu and J.-T. Horng
• Software Project Management Net: A New Methodology on Software Management — C. K. Chang, C. Chao, T. T. Nguyen and M. Christensen
• A Federated Virtual Enterprise (VE) of Partners Creating a Federated VE of Systems — J. Putman and S. Strong

Application Systems

• Operation Record Based Work Events Grouping Method for Personal Information Management System — A. Abeta and K. Kakizaki
• An Autonomous Decentralized System Architecture for Distributed Information and Control Systems — S. Kawano, K. Kawano and H. Wataya
• Computer Simulation of the Inverse Problem of Electrocardiography — D. I. Belov and R. H. Sadykhov
• Reducing the Effort of Building Object-Oriented Visualizations — R. Orosco and R. Moriyón

Web Data Access for Hypermedia Systems

• Indexing Multilingual Information on the Web — C. L. Yip and B. Kao
• Recommending Anchor Points in Structure-Preserving Hypertext Document Retrieval — B. C. M. Kao, J. K. W. Lee, D. W. L. Cheung and C. Y. Ng
• Database Access with HTML and Java - A Comparison Based on Practical Experiences — K. M. Goeschka, J. Falb and W. Radinger

Panel: Component Architectures

• Panel Overview: Software Component Architectures — M. J. Christensen
• Componentware and Composable Software Architecture — M. Aoyama
• Component Technologies: Avoiding the Herd Mentality — E. Hughes
• Towards Component-Based Software Engineering — G. Pour

Scheduling

• Provably Efficient Non-Preemptive Task Scheduling with Cilk — V.-B. Vee and W.-J. Hsu
• A Scheduling Service for a Dynamic Real-Time CORBA System — L. C. DiPippo, V. F. Wolfe, R. Ginis, M. Squadrito, T. Wheeler and R. Johnston · 무료 사본 · digitalcommons.uri.edu
• A Dynamic Scheduling Mechanism for an Effective Admission Control for Variable-Bit-Rate Video Streams — K. Lee and H. Y. Yeom

Data Management and Mining

• Challenges in Data Management for the United States Department of Defense (DoD) Command Control, Communications, Computers, and Intelligence (C4I) Systems — M. G. Ceruti
• Data Mining on Text — C. Clifton and R. Steinheiser
• Using Multi-Attribute Predicates for Mining Classification Rules — M.-S. Chen

Panel: Directions for Software Technology

• Panel Overview: Directions for Software Technology — S. S. Yau · Scholar 검색
• Directions for Software Technology (Position Paper) — M. Boasson · Scholar 검색
• Evaluation of Object-Orientation for Industrial Usage — A. K. Onoma