compsac 1994

18th Annual International Computer Software and Applications Conference (COMPSAC 1994)

• 장소·일정: Taipei, Taiwan, Nov 9–11, 1994
• 논문: 82편 (IEEE Xplore 82편, 무료 사본 2편)

Keynote Address at Opening Session

• The Information Industry Development in Taiwan — S.-C. Yang

Software Requirements Specification

• Customizable Software Requirements Languages — A. Ohnishi
• Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language — J. J.-P. Tsai, B. Li and A. Liu
• Development of the TUG Specification Language to Support Specification Reuse — C.-C. Chiang and J. E. Urban

Object-Oriented System 1

• The Object-Oriented Paradigm for Software Evolution — M. A. M. Capretz and L. F. Capretz
• A New Approach to Module-Oriented Design of OO Software — C. K. Chang and S. Hua
• Balancing in Reverse Engineering and in Object-Oriented Systems Engineering to Improve Reusability and Maintainability — H. Gall, R. Klösch, E. Kofler and L. Würfl

Software Management

• A Software Project Management System Supporting the Cooperation Between Managers and Workers - Design and Implementation — A. Hazeyama and S. Komiya
• Integration of Uncertainty Management Systems with Object-Oriented Expert System Building Tools — K. Huarng and D. B. Simmons
• SPMNet: A Formal Methodology for Software Management — C. K. Chang, C. Chao, S.-Y. Hsieh and Y. Alsalqan

Object-Oriented Systems 2

• Toward an Object-Oriented Modeling Approach with Representation of Temporal Knowledge — J. Lin, D. C. Kung and P. Hsia
• Providing Orthogonal Persistence to C++ Using Forced Inheritance — C.-M. Park, K.-Y. Whang, I.-Y. Song and S. Navathe
• Software Engineering Education the Shift to Object Oriented Programming — P. B. Franca

Software Development Practices

• A Flexible Control Mechanism for Managing Interrelated/Interdependent Tasks Successively — H. Watanabe, T. Watanabe and N. Sugie · 무료 사본 · nagoya.repo.nii.ac.jp
• A Framework Approach to the Development of AI Applications — P.-Y. Wong, Y.-W. Ku and F. S. C. Yeoh
• Multiware Platform: An Open Distributed Environment for Multimedia Cooperative Applications — W. P. D. C. Loyolla, E. R. M. Madeira, M. J. Mendes, E. Cardozo and M. F. Magalhães

Object-Oriented Analysis and Verification

• An Approach to Object-Oriented Requirements Verification in Software Development for Distributed Computing Systems — S. S. Yau, D.-H. Bae and K. Yeom
• Towards Automating Object-Oriented Analysis — I. A. Zualkernan and R. S. Ordower
• A Knowledge-Based Approach to Support Object-Oriented Analysis — C.-Y. Lin, C.-C. Chien, C.-S. Ho and C.-T. Huang

Artificial Intelligence Applications

• Program Extraction by Type Erasing — M.-Y. Zhu and Y.-Q. Ding
• DOMINO: A System for Maintaining the Consistency of Software Objects — C. Chandra and C. V. Ramamoorthy
• Simulation Based Software Development — J. D. Baker and W. H. Graves

Keynote Address Session

• Practical Use of Client/Server System in Business Process Re-Engineering — T. Miura

Software Metrics 1

• Ada Concurrent Complexity Metrics Based on Rendezvous Relations — W. Zhenyu and C. Li
• Measuring Program Structure with Inter-Module Metrics — M. H. Ammann and R. D. Cameron
• RiskExpert: An Expert STEP Metrics Analyzer — C. L. Chee, S. Ishihara, V. Bharghavan, V. Vij and C. V. Ramamoorthy

User Interface Development

• GUI-SIDER: A Scenario-Based Interaction Design Environment for GUI Dialogue — S. Shimizu and N. Arakawa
• Object View Derivation and Object Query Transformation — C.-C. Liu and A. L. P. Chen
• A Development Strategy of User Navigation Systems and GUI Applications — J. Baeg, A. Hirahara and Y. Fukazawa · 무료 사본 · waseda.repo.nii.ac.jp

Communication Network and Protocol

• Test Sequence Generation Methods for Protocol Conformance Testing — C. Kim and J. S. Song
• A Development Environment for Telecommunications Management Network — Y. C. Shim, M. H. Kim, S. J. Kim and Y. H. Cho
• An FSM-Based Program Generator for Communication Protocol Software — C.-S. Liu and K.-H. Su
• An Effective Network Management Architecture for Distributed Multimedia Systems — C. Hong, S. Honda, T. Yoneda and Y. Matsushita

Software Metrics 2

• Simulation Based Metrics Prediction in Software Engineering — V. Bhargavan, C. V. Ramamoorthy and R. Paul
• Extension of the SEI Software Capability Maturity Model to Systems — K. D. Shere and M. J. Versel
• Analysis of Metrics for Object-Oriented Program Complexity — E. M. Kim, O. B. Chang, S. Kusumoto and T. Kikuno
• Experiences of Collecting and Using Software Metrics in Industry — D. R. Hufton

Multimedia Systems

• Issues in Database Management of Multimedia Information — R. Paul, M. F. Khan, A. Khokhar and A. Ghafoor
• A Client-Server Database Environment for Supporting Multimedia Applications — T.-C. Chen, W.-P. Lin, C.-A. Wu and C.-S. Shen
• Design and Implementation of Conference Scheduling and Voting Facilities for a Multi-Media Conferencing System — J. M. Ng, E. Chan and L. E. Lam

Software Testing 1

• On Object State Testing — D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima and C. Chen
• Constructing an Automated Testing Oracle: An Effort to Produce Reliable Software — L. Luqi, H. Yang and X. Zhang
• A Structural Testing Method for C++ Programs — J.-G. Lee, M.-J. Feng and C.-G. Chung

Formal Methods

• Polynomial Programming Using Groebner Bases — Y.-J. Chang and B. W. Wah
• Hierarchic Shape Description via Singularity and Multiscaling — T. L. Kunii, A. G. Belyaev, E. V. Anoshkina, S. Takahashi, R. Huang and O. G. Okunev
• The Integration and Adaptation of Reusable Components through Semantic Interface Analysis — W. C. Chu

Database Management System 1

• Reverse Engineering Tools Supporting LDBR Model for Logical Database Design — J.-N. Chen, P.-T. Chen and Y.-C. Wang
• Performance Analysis of an Object-Oriented Approach to Parallel Query Evaluation — T. R. Poola, W. S. Lee and P. C.-Y. Sheu
• Interoperability in a Heterogeneous Environment for Engineering Design — S. D. Urban, J. J. Shah and P. Ravi
• Text Retrieval - A Trendy Cocktail to Address the Dataworld — M. Chellappa and S. Kambhampaty

Software Testing 2

• Systematic Design of Static Program Analyzers — S. Jarzabek
• A Predictive Model for Identifying Inspections with Escaped Defects — A. T. Yaung and T. Raz
• Behavior-Based Acceptance Testing of Software Systems: A Formal Scenario Approach — P. Hsia, J. Gao, J. Samuel, D. Kung, Y. Toyoshima and C. Chen

Parallel Software Development

• Parallel Pthread Library (PPL): User-Level Thread Library with Parallelism and Portability — T. Miyazaki, C. Sakamoto, M. Kuwayama, K. Saisho and A. Fukuda
• Organization Scheme of System Servers in Microkernel-Based Operating Systems-Multi-Process and Multi-Thread Methods — M. Kuwayama, K. Saisho and A. Fukuda
• On Porting Sequential Programs to Parallel Machines — C. S. Raghavendra and S. Bhansali
• Hardware-Software Co-Designing Benchmark-Driven Superpipelined Instruction Set Processors — C.-L. Su and A. M. Despain

Database Management System 2

• Parallel Indexing in a Chinese Information Retrieval System — K.-F. Wong and V. Y. Lum
• Massive Data Management in Parallel Machines — R. Paul, M. F. Khan, I. Admad, O. Bukhres, I. Ghafoor, A. Goel and A. Ghafoor
• MultiBase: A Heterogeneous Multidatabase Management System — J.-W. Huang

Computer-Aided Software Engineering Tools

• Software Bus Transceiver — T. Q. Pham
• EUOBFE - An End User Oriented CASE Tool for Business Process Reengineering — Y. Chen and Y. Usuda
• EASE - A Software Integration Tool and User Interface — C. Götze

Software Topics 1

• The Multi-Project Support System Based on Multiplicity of Task — K. Tsukada, K. Okada and Y. Matsushita
• On Analysis of Secure Information Systems: A Case Study — Q. Shi, J. A. McDermid and N. Zhang
• Protecting Your Intellectual Property — D. S. Fernandez

Concurrency Control in Database

• Design and Analysis of a Secure Two-Phase Locking Protocol — S. H. Son and R. David
• Improving Execution Concurrency for Long-Duration Database Transactions — A. N. J. Wu and A. L. P. Chen
• On Concurrency Control in Multidatabase Systems — M.-C. Wu and C. Lee

Real-Time Software Modeling

• A Real-Time Object Model RTO.k and an Experimental Investigation of its Potentials — K. H. Kim and H. Kopetz
• A Precedence Graph Model for Real-Time Systems — C. Erbas and M. M. Tanik
• Preventative Software Systems — M. H. Hamilton

Software Topics 2

• Algebraic Engineering of Understanding: Global Hierarchical Coordinates on Computation for the Manipulation of Data, Knowledge, and Process — C. L. Nehaniv
• The Need for Measured Data in Computer System Performance Analysis or Garbage In, Garbage Out — A. J. Smith
• Automatic Variable Classification for COBOL Programs — X. P. Chen, W. T. Tsai, J. K. Joiner, H. Gandamaneni and J. Sun
• Design and Implementation of Software System to Support National Development in Brazil — F. G. Sobrinho

Software Development Environment

• A Petri-Net-Based Modeling Assisted Software Environment (MASE) Tool — G. Y. Tan and G. S. Hura
• A Method for Evaluating Software Engineering Environments — M. A. Taylor and J. E. Urban
• Tools Cooperation in an Integration Environment by Message-Passing Mechanism — C.-M. Chung, Y.-H. Wang, G.-C. Hsieh, W.-C. Lin and Y.-F. Kuo

Special Topics in Computer Applications

• A Conversion and Management System for Parcel Maps — C. C. Hsieh, S. M. Fan, P. H. Shih and H. S. Chiu
• Transaction Model of Vehicle Movement — M. Takizawa and S. Hamada
• Video Coding for HDTV Systems — B. W. Y. Wei and W. H. Chen