compsac 1995

19th Annual International Computer Software and Applications Conference (COMPSAC 1995)

• 장소·일정: Dallas, Texas, USA, Aug 9–11, 1995
• 논문: 67편 (IEEE Xplore 59편)

Advances in Formal Methods I

• Temporal Event Analysis and Program Understanding — W. E. Howden and G. M. Shi
• FunZ Designs - A Bridge Between Z Specifications and Haskell Implementations — L. B. Sherrell and D. L. Carver
• Automatic Generation of C++ Code from an ESCRO2 Specification — P. C. Grabow and L. Liu

Knowledge-Based Systems

• A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in Databases — H.-Y. Lee, H.-L. Ong, E.-W. Toh and S.-K. Chan
• A Knowledge-Based Approach for Worst-Case Timing Analysis of Microprocessor Systems — S. M. Yuen and K. P. Lam
• Knowledge Reuse through the Application of the Object Knowledge Canonical Form — K. Huarng and D. B. Simmons

Panel: Software Industry Growth: Funding Based on Software Valuation

• Software Industry Growth: Funding Based on Software Valuation — H. Ching, T. L. Kunii, D. Matteo, R. Paul, N. Petreley, C. V. Ramamoorthy, S. S. Yau and R. Yeo · Scholar 검색

Advances in Formal Methods II

• A Method for Analyzing Properties of Hierarchical Predicate Transition Nets — X. He
• Mechanical Synthesis of a Unification Algorithm in PowerEpsilon — M.-Y. Zhu and X.-B. Mo
• Expressing JSD in Z — J. Lee, W. T. Huang, C.-K. Chang and J.-I. Pan

Modeling Techniques

• Design and Implementation of Multiple Type Objects in a Persistent Programming Language — M. Aritsugi and A. Makinouchi
• An Expanded View of Domain Modeling for Software Analogy — C.-H. Lung and J. E. Urban
• Dynamic Hierarchy for Multiagent Air Combat — B. Stilman

Panel: Software Technology in the 21st Century: A Technology Forecast

• Software Technology in the 21st Century: A Technology Forecast — J. P. Cavano · Scholar 검색
• (Position Paper) Improving Software Process to Implement a Wireless Mobile Network — K. A. Gibson
• (Position Paper) Parallel Software Engineering - Goals 2000 — C. Murphy · Scholar 검색

Software Support Leverage for Formal Methods

• Requirement Specification in Pseudo-Natural Language in PROMIS — R. Lu, Z. Jin and R. Wan
• Checking Program Proofs Made Easy — M. Schollmeyer and B. McMillin
• An Approach to Animating Z Specifications — X. Jia
• Static Semantics and Priority Schemes for Statecharts — Y. R. Kwon, H. S. Hong, J. H. Kim and S. D. Cha

Database Applications

• A Study on Developing a Distributed Problem-Solving System — E.-G. Kim
• Using Constraints for Distributed Query Processing — J. Yoon
• Management of Flexible Transactions Using Semantics in Multidatabase Systems — S. M. Chung, P. S. Mah and J. L. Kim

Performance Evaluation and Optimization

• Performance Evaluation of Dynamic Signature File Methods — J. S. Yoo, M. H. Kim, Y.-J. Lee and B. M. Im
• Applying Dynamic Buffer Allocation to Predictive Load Control — S. Lee
• Lagrangian Techniques for Solving a Class of Zero-One Integer Linear Programs — Y.-J. Chang and B. W. Wah
• A Simple Tree Pattern Matching Algorithm for Code Generator — T.-S. Chen, F. Lai and R.-J. Shang

Keynote Address II

• Department of Defense Information Technology Initiatives — M. E. Myers · Scholar 검색

Software Development Tools

• The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics — D. J. Russomanno
• User Interface Design: The WHO, the WHAT, and the HOW Revisited — C. Stary
• LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior — D. B. Boardman, G. Greene, V. Khandelwal and A. P. Mathur

Object-Oriented Approach for Distributed Systems

• Object-Oriented Design for a Distributed Priority Queue — P.-N. Lee, L. Miller, P.-C. Tai and Y. Chen
• Application Layer Software Fault Tolerance for Distributed Object-Oriented Systems — H. C. Kim and V. S. S. Nair
• IPCC++: A C++ Extension for InterProcess Communication with Objects — S. S. Stubbs and D. L. Carver

Metrics and Software Quality

• A Policy Independent Metric for Process Selection in Distributed Systems — Y. Cazabon and M. Bauer
• Quality Assessment for Multiple Server Cooperating Systems — I.-L. Yen and I.-R. Chen
• Improving Software Quality through a Novel Testing Strategy — X. Zeng, J. J.-P. Tsai and T. J. Weigert

Prototyping and Testing

• Object State Testing for Object-Oriented Programs — J. Z. Gao, D. Kung, P. Hsia, Y. Toyoshima and C. Chen
• A Test Strategy for Object-Oriented Programs — D. Kung, J. Gao, P. Hsia, Y. Toyoshima and C. Chen
• Heirarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems — W. K. Cheung, C. L. Nehaniv, K. T. Miura and Y. S. Ho

Distributed Algorithms and Environments

• Architectural Framework for Developing Concurrent Applications — G. Bruno and R. Agarwal
• Creating a Distributed Environment Using Object-Oriented Technology — C. K. Chang, B. A. Haswarey and P. Mongkolwat
• Deriving Distributed Algorithms from a General Predicate Detector — J. R. Mitchell and V. K. Garg

Reengineering, Reverse Engineering, Reuse, and Customization

• A Hybrid Approach to Object Library Classification and Retrieval — C.-T. Chang and C.-S. Liu
• Reverse Engineering from COBOL to Narrative Specification — T. Yoshino, S. Uehara, T. Ookubo, S. Suguta, Y. Hotta and M. Sonobe
• Component Reuse Through Reverse Engineering and Semantic Interface Analysis — W. C. Chu and H. Yang

Distributed Multi-Media Systems: Tools and Techniques

• HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration — U. K. Wiil
• Scheduling Dependent Real-Time Multimedia Tasks on Distributed Systems — H. Mei

Software Process Improvements

• Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics Modeling — J. D. Tvedt and J. S. Collofello
• A Horizontal Approach for Software Process Improvement — O. Demirors and D. J. Frailey

Multi-Media Storage Management and Applications

• The Multimedia Desktop Conference System Adaptability in Network Traffic on LAN — J. H. Jung and H. S. Yang
• Storing Continuous Media Objects Using Parallelism with Merging — A. R. Watkins and E. Omiecinski
• FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage System — T.-G. Kwon and S. Lee

Multi-Paradigm Programming

• Transformation of Relational Schemas to Object-Oriented Schemas — W. Meng, A. Kamada and Y.-H. Chang
• A Multiparadigm Programming Approach for Developing Knowledge-Based Systems — P. K. C. Pun and H. J. Kahn

Software Development for Parallel and Distributed Systems

• An Architecture-Independent Software Development Approach for Parallel Processing Systems — S. S. Yau, D.-H. Bae and J. Wang
• Software Support for Asynchronous Computing Across Networks — M. E. Cavender and X. Zhang
• A Software Platform for Solving PDEs on Distributed Systems: Implementation Issues and Performance Prediction — C.-C. Hui, M. Hamdi and I. Ahmad

Panel: Software Fault Tolerance

• (Position Paper) Software Fault Tolerance: Has it Arrived Yet? — V. S. S. Nair · Scholar 검색
• (Position Paper) Fault-Tolerant Software — F. B. Bastani · Scholar 검색
• (Position Paper) Quantitative Analysis of Software- and Hardware-Fault Tolerance — J. B. Dugan · Scholar 검색
• (Position Paper) Software Fault Tolerance at the Operating System Level — L. Young · Scholar 검색

Software Security and Safety

• A General Approach to Evaluation of Secure Systems — Q. Shi and N. Zhang
• Enforcing Complex Security Policies for Commercial Applications — I.-L. Kao and R. Chow
• A Framework for Designing Safe Software Systems — S. Subramanian, R. V. Vishnuvajjala, R. Mojdehbakhsh, W. T. Tsai and L. Elliott

Applications

• Designing Chinese Typeface Using Components — P. Y. C. Wong and S. C. Hsu
• Information Mediation System Design Strategy Among Telecommunication Related Information Systems — F.-F. Shen, W.-Y. Lin, C.-Y. Wong, C.-Wei Cheng and H.-S. Chen