compsac 1992

16th Annual International Computer Software and Applications Conference (COMPSAC 1992)

• 장소·일정: Chicago, Illinois, USA, Sep 21–25, 1992
• 논문: 64편 (IEEE Xplore 63편, 무료 사본 2편)

Are Formal Methods Useful for Software Development?

• Panel: Are Formal Methods Useful for Software Development? — H. F. Wedde and B. H. C. Cheng
• Are Formal Methods Useful for Software Development? — D. Gries
• Are Formal Methods Useful for Software Development? (Response to Position of David Gries) — M. A. Ardis · Scholar 검색

Software Process Models

• The Identification and Use of Properties and Relationships Between Properties of the Software Development — R. G. Crespo
• On the Nature of Bias and Defects in the Software Specification Process — P. Straub and M. V. Zelkowitz · 무료 사본 · ntrs.nasa.gov
• A Software Re-Engineering Process Model — E. J. Byrne and D. A. Gustafson

Object-Oriented Methodology

• Organizing Software Repositories Modeling Requirements and Implementation Experiences — T. Rose, M. Jarke and J. Mylopoulos
• Two-Way Coloring Approaches for Method Dispatching in Object-Oriented Programming Systems — S.-K. Huang and D.-J. Chen
• H-PCTE - A High Performance Object Management System for System Development Environments — U. Kelter

Programming Environments

• A Software Engineering, Visualization Methodology for Parallel Processing Systems — J. A. Kohl and T. L. Casavant
• Multilanguage Programming: An Automatic-Type-Mapping Approach — A. J. Sánchez-Ruíz and E. P. Glinert

Software Metrics and Models

• A Cost Model for Software Conversion Based on Program Characteristics and a Converter Effect — A. Kanai, T. Furuyama and M. Takahashi
• Software Diversity Metrics and Measurements — M. R. Lyu, J.-H. Chen and A. Avizienis
• Reuse Engineering: Software Construction from Reusable Components — H. Gall and R. Klösch

Panel: Open Systems Object Models

• Object Modelling for Open Network Management — C. Ashford
• A View of the GDMO Interface Definition Language — R. A. Fraley

Software Metrics and Measurements

• Performance Evaluation of Dynamic Supporting Algorithms — P. Hu and S. R. Wilbur
• How the Use of the STePS Method Can Improve Software Quality and Aid Project Management — J. B. Thompson and H. M. Edwards
• A Distributed Cooperative CASE Environment for Communications Software — M. Aoyama, M. Nakamura, S. Kawajiri, K. Takahashi, T. Hashizume and T. Komuro

Panel: Management of Emerging Software Technologies

• Panel on Management of Emerging Software Technologies — V. K. Vaishnavi

User Interfaces

• Metawidgets: Towards a Theory of Multimodal Interface Design — M. M. Blattner, E. P. Glinert, J. A. Jorge and G. R. Ormsby
• SimUI: Graphical User Interface Evaluation Using Playback — N. Kishi
• A Software Engineering Perspective to the Design of a User Interface Framework — H.-W. Six and J. Voss

Distributed Run-Time Support

• Distributed EZ (String Processing Language) — A. E. Campos and D. R. Hanson
• Dynamic Load Balancing Algorithms in Loosely-Coupled Real-Time Systems — T.-Y. Cheng, J.-Y. Chung and K.-J. Lin
• A Signature Efficient Solution for Remote File Comparison — S. Edirisooriya and G. Edirisooriya

Industrial Software Engineering Training Programs

• Industrial Strength Software Engineering Training Programs — J. E. Urban

Data and Object Bases

• Enforcement of Integrity Constraints Against Transactions with Transition Axioms — S. H. Lee, L. J. Henschen, M. H. Kim and Y.-J. Lee
• Highly Available Atomic Objects — T. P. Ng
• ORL: An Object Retrieval Language Interface to an Object Algebra — S. D. Urban, C.-H. Lai and S. Saxena

Fault Tolerance Concepts

• Fault-Tolerant Concurrent Branch and Bound Algorithms Derived from Program Verification — H. Lutfiyya, A. Sun and B. McMillin
• Fault Tolerant Process Planning and Control — R. M. Dubash, I.-L. Yen and F. B. Bastani
• Software Fault-Tolerance in Functional Programming — R. Govindarajan

Requirements and Specifications

• Building Information System Requirements Using Generic Structures — G. Grosz
• Program Derivation in PowerEpsilon — M.-Y. Zhu and C.-W. Wang
• Structured Analysis Using Hierarchical Predicate Transition Nets — X. He and C.-H. Yang
• A Metalanguage Based on a Theory of Specification — K. B. Zerangue and J. E. Urban

Panel: Integrating Object and Relational Databases

• Integrating Object and Relational Technologies — S. Danforth

Software Tools

• A Transparent Monitoring Tool for Shared-Memory Multiprocessors — D. F. Robinson, B. H. C. Cheng and R. J. Enbody
• SAD Kernels: A Software Tool to Evaluate Synchronization Behavior of Multiprocessors — A. Nanda and L. M. Ni
• An Object-Oriented Toolkit for Constructing Specification Editors — R. H. Bourdeau and B. H. C. Cheng

Software Development for Parallel Processing Systems

• The Use of Formal Methods in Parallel Operating Systems — J. A. Keane and W. Hussak · 무료 사본 · dspace.lboro.ac.uk
• A Partitioning Approach for Object-Oriented Software Development for Parallel Processing Systems — S. S. Yau, D.-H. Bae and G. Pour
• WARASA: An Enhanced C++ for Concurrent Programming on Shared Memory Multiprocessor Computers — Y. Jiang and A. Makinouchi

Software Applications

• The Area-Wide Real-Time Traffic Control System (ARTC): A Distributed Computing System — J. L. Kim, J.-C. S. Liu, P. I. Swarnam, T. Park, Y. Hao and T. Urbanik
• Strategies for Machine Instruction Transformation in an Expert System — M. L. Li and W. K. King
• Application of a Neural Network to Human Tasting — A. Suganuma, M. Kataoka and K. Araki

Plenary Panel: Commercialization of the Internet

• What Does a Public Data Internet Do? — R. D. Collet
• Commercialization of the Internet — I. Hershman

Testing and Debugging

• Support Tool and Strategy for Type Error Correction with Polymorphic Types — H. Maruyama, M. Matsuyama and K. Araki
• A Framework of a Logic-Based Transformation System — J. J.-P. Tsai, R.-Y. Sheu and B. Li
• Experimental Evaluation of Certification Trails Using Abstract Data Type Validation — D. S. Wilson, G. F. Sullivan and G. M. Masson

Expert Systems

• IDA - Intrusion Detection Alert — K. L. Petersen
• Agents to Guide Operators with Recognition of Time Series — H. Shimakawa, Y. Sugitani, K. Kikkawa and T. Watanabe
• Testing Expert Systems Using Conventional Techniques — W. T. Tsai, S. Kirani and I. A. Zualkernan

Simulation and Animation

• VATPA: A Simulation Environment for Message-Passing Concurrent Systems — H. Liu, M. T. Nyeu, D. Y. Y. Yun and W. Lin
• Stack Simulation for Set-Associative V/R-Type Caches — C. E. Wu, Y. Hsu and Y.-H. Liu
• FM²: A Simulator for Fine-Grained Message-Passing Multicomputers in k-Ary n-Cube Networks — J.-S. Tseng and C.-T. King

Computer-Supported Cooperative Work

• Development of a Multimedia Document Management System for Cooperative Work Environment — S. Sumiya and T. Saito
• The ORDIT Approach to Requirements Identification — J. E. Dobson, A. J. C. Blyth, J. Chudge and M. R. Strens
• Traceability Between Requirements and Design: A Transformational Approach — J. Börstler and T. Janning

Intelligent Systems

• A Neural Network for Fast Inferencing on a Fuzzy Knowledge Base — K. S. Kumar, M. Sparancia and A. Unnikrishnan
• Intelligent vs. Unintelligent Programming Systems for Novices — H. Ramadhan
• The Management of Uncertainty in Software Development — L. Luqi and D. Cooke