compsac 1990

14th Annual International Computer Software and Applications Conference (COMPSAC 1990)

• 장소·일정: Chicago, Illinois, USA, Oct 29 – Nov 2, 1990
• 논문: 113편 (IEEE Xplore 111편, 무료 사본 3편)

Software Reliability

• Methods of Comparing Test Data Adequacy Criteria — S. N. Weiss
• Predictability Measures for Software Reliability Models — Y. K. Malaiya, N. Karunanithi and P. Verma
• The Hyper-Geometric Distribution Software Reliability Growth Model (HGDM): Precise Formulation and Applicability — R. Jacoby and Y. Tohma
• Performance Analysis of the Make and Load Building Algorithms — A. Hac

Applying Knowledge-Based Technology: Trends and Directions

• Panel: Applying Knowledge-Based Technology: Trends and Directions — M. P. Papazoglou · Scholar 검색

Parallel Processing in the 1990's: The Promise and the Pitfalls

• Panel: Parallel Processing in the 1990's: The Promise and the Pitfalls — J. P. Cavano and A. Nerode · Scholar 검색

Object-Oriented Computing

• Improving Exception Handling with Object-Oriented Programming — C. Dony
• An Application of Object-Oriented Design for Communication Control Systems — K. Kajihara, S. Yamazaki, T. Yamashita and M. Ito
• An Approach to Introduce the Reflection to C++ — C. Ping, C. Xiyao and J. Yimin
• DEMOM - A Description Based Media Object Data Model — B. Holtkamp, V. Y. Lum and N. C. Rowe

The Model and Metrics for Software Quality Evaluation: Report of the Japanese National Working Group

• Panel: The Model and Metrics for Software Quality Evaluation Report of the Japanese National Working Group — M. Azuma

Advanced Application Development Technology

• A Process Modeling Language for Large Process Control Systems — M.-J. Chen and C.-G. Chung
• Specification of a Rapid Prototyping Capability for the Automated Patent System — K. A. Jordan and A. J. Zawilski
• An Object Oriented Approach to Automating Patient Medical Records — D. C. Dimitroff and I. F. Chang
• Cognitive Building Blocks of a Database Expert System — D. L. Harris

Software Tools For Parallel Systems

• Mathematical Transformation of Petri-Nets for Development of Parallel/distributed Programs — Y. E. Papelis and T. L. Casavant
• A Software Approach to Multiprocessor Address Trace Generation — M. Azimi and C. Erickson
• An Implementation of Software Tools for Replay and Partial Replay of Concurrent-C Programs — J. Lee, K.-H. Wang and C.-R. Chou
• Distributed Software Testing with Specification — C. K. Chang, C.-C. Song and R.-F. Wang

Database Management Issues

• Dynamic Query Range for Multikey Searching — X.-H. Sun and N. N. Kamel
• A Symmetrical Approach to Granting and Revoking Access Rights in Database Management Systems — D. A. Goldberg and A. Orooji
• Performance of Multiversion Concurrency Control Algorithms in Maintaining Temporal Consistency — X. Song and J. W. S. Liu
• Designing a Dynamic Integrity Constraint Checker with Nonmonotonic Logic — S. Ramanna, J. F. Peters, E. A. Unger and K. W. Glander

Intelligent Support for Quality

• ICICLE: Intelligent Code Inspection in a C Language Environment — V. Sembugamoorthy and L. Brothers
• Rule Base Inspection Using Algorithmic Approach for Data-Access Oriented Knowledge-Based Systems — F.-Y. Leu and C.-C. Yang
• An Integrated Expert System Framework for Software Quality Assurance — S. S. Yau, Y.-W. Wang, J. G. Huang and J. E. Lee
• A Proposed Parallel Software Testing Paradigm — J. L. Walker

Knowledge-Based Application Development Technology

• AuditPro-Integrating Knowledge-Based Technology with Diagramming Tools for Auditors — T. S. Lip and C. H. Seng
• An Expert System to Convert Knowledge-Based Geological Engineering Systems Into Fortran — J. J. Cress and R. W. Wilkerson
• Neural Network Application to Container Number Recognition — H. C. Lui, C. M. Lee and F. Gao

Programming Mapping Techniques

• High Performance Massively Parallel Abstract Data Type Components — I.-L. Yen, F. Bastani, T. Al-Marzooq and E. Leiss
• Application-Level Software Self-Balancing — C.-T. King, T.-H. Shiau and C.-P. Chan
• Management of Heterogeneous Parallelism on Shared Memory Multiprocessors — A. B. Tayyab and J. G. Kuhl
• Processing the Transitive-Closure Logic Rules on Shared-Nothing Multiprocessor Systems — G. Z. Qadah

Object-Oriented Database Management

• The Conceptual Design of OSEA: An Object-Oriented Semantic Data Model — P. L. Tan and T. S. Dillon
• A Graphical Interface for an Object-Oriented Query Language — H. Lam, H. M. Chen, F. S. Ty, J. Qiu and S. Y. W. Su
• A Bi-Level Object-Oriented Data Model for GIS Applications — A. Choi and W. S. Luk · 무료 사본 · summit.sfu.ca
• Supporting Queries in the O-Raid Object-Oriented Database System — J. G. Mullen, J. Srinivasan, P. Dewan and B. Bhargava

The Software Engineering of Extensible Database Systems

• The Software Engineering of Extensible Database Systems — D. S. Batory

Software Productivity Metrics - New Initiatives in Making It Work

• Software Productivity Metrics - New Initiatives in Making It Work (panel) — N. L. Marselos

Emerging Technologies

• FormPlus: A Form Authoring Toolkit — T.-J. Fan, R. S. Machlin, C. P. Wang and I. F. Chang
• Temporal Predicate Transition Nets and Their Applications — X. He
• On Transforming Petri Net Model to Moore Machine — C. K. Chang and H. Huang
• Distributed Communication Software Specification Based on the Action Superposition Mechanism — K. Hayashi, T. Nishizono and T. Takenaka

Transactions and Database

• Concurrent Transaction Execution in Multidatabase Systems — K. Barker and M. T. Ozsu
• A Hybrid Approach to Mutual Exclusion for Distributed Systems — Y.-I. Chang, M. Singhal and M. T. Liu
• Twin-Page Storage Management for Rapid Transaction-Undo Recovery — K.-L. Wu and W. K. Fuchs

Software Reuse

• Case Studies in Software Reuse — A. J. Incorvaia, A. M. Davis and R. E. Fairley
• Modeling of Software Reusable Component Approach and its Case Study — K. Matsumura, A. Yamashiro, T. Tanaka and I. Takahashi
• A Program Transformation Approach to Automating Software Re-Engineering — S. Burson, G. B. Kotik and L. Z. Markosian

Software Process Models and Project Management

• Productivity Improvement with Evolutionary Development — A. von Mayrhauser and B. Hirsh
• Distributed Concurrent Development of Software Systems: An Object-Oriented Process Model — M. Aoyama
• Using the Software Process Model to Analyze a Software Project — I. S. Ranft and D. A. Gustafson · 무료 사본 · krex.k-state.edu

Computer Graphics Algorithms

• A New Plane-Sweep Algorithm Based on Spatial Data Structure for Overlapped Rectangles in 2D Plane — P.-Y. Hsiao and C.-C. Tsai
• A New 3D-Border Algorithm by Neighbor Finding — S.-N. Yang and T.-W. Lin
• A Semi-Adaptive DCT Compression Method that Uses Minimal Space — R. Nerheim
• A Gridless Multilayer Channel Router — R. Yazdani and M. R. Zargham

Query Processing

• Semantic and Structural Query Reformulation for Efficient Manipulation of Very Large Knowledge Bases — S.-G. Lee and D. Shin
• Benchmarking Two Types of Restricted Transitive Closure Algorithms — A. A. Toptsis, C. T. Yu and P. C. Nelson
• Nonlinear Versus Linear Recursion: A Perspective from Computing Transitive Closures of a Binary Relation by the Join Domain Nested Loops Approach — P. Chang
• Compiling Linear Recursive Prolog Programs with List Structure Into Procedural Language — Y. K. Nam and L. J. Henschen

The Status and Future of Interface Technology

• The Status and Future of Interface Technology — S. M. Walter

Software Metrics

• Measuring Software Size by Distinct Lines — D. J. Lubinsky
• The Lines of Code Metric As a Predictor of Program Faults: A Critical Analysis — T. M. Khoshgoftaar and J. C. Munson
• Extending Software Complexity Metrics to Concurrent Programs — F. De Paoli and S. Morasca

Commercial Applications of Knowledge Based Systems: Initiatives in the Electric Power Industry

• Commercial Applications of Knowledge Based Systems: Initiatives in the Electric Power Industry — J. Spina

Concurrent Ada Project and Distribution Systems

• The Analysis of Infeasible Concurrent Paths of Concurrent Ada Programs — R.-D. Yang and C.-G. Chung
• An Ada Interface for Massively Parallel Systems — E. K. Park, P. B. Anderson and H. D. Dardy
• Distributed Management of Replicated and Partitioned Files Under DRAGON SLAYER — H. F. Wedde, B. Korel, W. G. Brown and S. Chen
• An Efficient Model of Dynamic Task Scheduling for Distributed Systems — A. Ghafoor and I. Ahmad

Database User Interface Technology

• Forms Interfaces and Their View Supportability Properties — C. R. Carlson, H. Seung and W. Ji
• A Graphical Knowledge Level Approach for User-Database Interaction — K. P. Tan, H. C. Chan and K. L. Siau · 무료 사본 · ink.library.smu.edu.sg
• Intelligent Database Retrieval by Visual Reasoning — S.-K. Chang and Y. Deng
• Hybrid Relations for Database Schema Evolution — J. Takahashi

Specification Based Environments

• VIPEG: A Generator of Environments for Software Maintenance — W. Khorshid and V. Rajlich
• A Tool Specification Language for Software Maintenance — S.-S. Liu and K. R. Johmann
• FOREST: A Systematic Testing Environment Based on Standardized Formal Description Techniques — K. Katsuyama, T. Nakakawaji, F. Sato and T. Mizuno
• A Methodology for Formal Specification and Implementation of Ada Packages — N. Madhav and W. Mann

Major Technical Issues in Medical Informatics

• Major Technical Issues in Medical Informatics: Computer Technology Systems and Applications — I. F. Chang
• Integration - A Multi-Faceted Challenge (Hospital Systems) — W.-T. Cheng

Fault Tolerance and Testing

• Modeling Execution Time of Multi-Stage N-Version Fault-Tolerant Software — M. A. Vouk, A. M. Paradkar and D. F. McAllister
• On Real-Time Software Testing and Debugging — J. J.-P. Tsai, K.-Y. Fang and Y.-D. Bi
• A Unified Hardware/Software Fault Detection Experiment in a 5ESS® System — K. W. Hwang, A. A. Kapauan and W. N. Toy
• Rollback Recovery in Real-Time Systems with Dynamic Constraints — S. J. Upadhyaya

Software Tools

• VIPS: A Visual Debugger for List Structures — T. Shimomura and S. Isoda
• Expert Workstation for Information Systems Development — W. Cabot and G. Knafl
• Design and Implementation of Programming Environments in the Visual Programmers Workbench — R. V. Rubin, J. Walker and E. Golin
• PPK: A Method for Recording and Analyzing Software Design Processes — T. Nakajima, N. Tamura and K. Uehara

Testing Methods

• Condition-Based Software Testing Strategies — K. C. Tai
• Path Expressions in Data Flow Program Testing — J. Laski
• A Testing Methodology Framework — J. Collofello, T. Fisher and M. Rees

AI Tools

• Heuristic Algorithms for Path Determination in a Semantic Network — S. Y. W. Su, S. Puranik and H. Lam
• Redundancy Detection in Logic Programs Is Undecidable — Z. Zhou and B. W. Wah
• Intelligent Query Mechanism for Expert Systems — W. Z. Shao and H. S. Soon
• MCFS: a Multiple Criteria Reasoning Fuzzy Expert Systems Building Tool — A. Kamel, A. Nazif, O. El-Dessouki and N. Kamel

Industrial Experience in Automating Software Re-Engineering

• Industrial Experience in Automating Software Re-Engineering — L. Z. Markosian

Software Engineering Methodology I

• Architecture and Functionality of a Specification Environment for Distributed Software — B. Kramer and H.-W. Schmidt
• An Inversion Capability for the PRESTIGE Workbench: Some Basic Issues — B. Ratcliff
• A Set and Mapping-Based Detection and Solution Method for Structure Clash Between Program Input and Output Data — M. Hashimoto and K. Okamoto
• A Petri Net-Based Distributed Debugger — A.-C. Liu and A. Engberts

Transferring Object-Oriented Technology into a Corporation

• Transferring Object-Oriented Technology Into a Corporation — S. Hutz

AI Applications

• A Model-Object Based Expert System for Real-Time Intelligent Control of Chemical Processes — M. R. Basila, G. Stefanek and A. Cinar
• Diagnosis System for Automatic Detection of Deadlock in Asynchronous Concurrent Distributed Computing Systems: Using Timed Petri Net with Stacks — J.-N. Chen and P. Chen
• A Connectionist Approach to Multiple-View Based 3D Object Recognition — W.-C. Lin, F.-Y. Liao, C.-K. Tsao and T. Lingutla
• Knowledge-Driven Distributed Information Systems — M. P. Papazoglou

Real Time Systems

• Real-Time Scheduling of Multiple Segment Tasks — K. Ho, J. H. Rice and J. Srivastava
• Executing Jobs with Deadline Constraints in a Privately Owned Workstation Environment — M. W. Mutka
• Implementing Real-Time Systems Using Performance Polymorphism — K. B. Kenny and K.-J. Lin
• Methods for Distributed Join Processing Using a Voice-Data Protocol — K. Scott and W. Perrizo

Software Engineering Methodology II

• Transformation Technique of Algebraic Specification — L. Jin and J. Qian
• EASE: An Embedded Algebraic Specification Environment — J. Qian, Y. Zheng, L. Jin and J. Zhang
• Introducing Formality Into the Software Development Process: Experience with a Software Project Course — R. A. Nicholl
• Modeling and Enacting Software Processes: An Analysis — J. Lonchamp, K. Benali, C. Godart and J. C. Derniame