compsac 1991

15th Annual International Computer Software and Applications Conference (COMPSAC 1991)

• 장소·일정: Tokyo, Japan, Sep 11–13, 1991
• 논문: 118편 (IEEE Xplore 118편, 무료 사본 1편)

State-of-the-Art in Software Reuse Technologies

• Software Reuse and CASE Tools — M. Dabin
• An Approach to Reusable Software through Prototyping and Set-Oriented Languages — E.-E. Doberkat
• Software Reuse Trends in the United States — R. Prieto-Diaz
• An Experience of Software Reuse Activities — S. Isoda

Compiler Optimization for Parallel Systems

• A Tool for the Static Optimization of Concurrent Programs — F. Baiardi and L. Ricci
• Skewed Partition - Theory and Practice (Parallel Programming) — C.-T. King
• Compiler Techniques to Extract Parallelism Within a Nested Loop — C.-M. Wang and S.-D. Wang

Knowledge and Data Models

• Extending the E-R Concepts to Capture Natural Language Semantics for Database Access — F. S.-C. Tseng, A. L. P. Chen and W.-P. Yang
• Conditional Transactions: A Model of Computation for Active Databases — J. Srivastava, K.-W. Hwang and W.-T. Tsai
• Adding Methods to Relational Database Constructs — K. Tanaka and N. Sanada
• Dynamic Object Models with Spatial Application — Q. Li, M. P. Papazoglou and J. L. Smith

Deadlock Detection and Resolution

• A Tasking Deadlock Detector for Ada Programs — J. Cheng, Y. Kasahara and K. Ushijima
• Efficient Techniques for Deadlock Resolution in Distributed Systems — Y.-C. Chow, W. F. Kostermeyer and K. Luo
• A Deadlock Detection and Resolution Algorithm for Sequential Transaction Processing with Multiple Lock Modes — Y. C. Park and P. Scheuermann
• Deadlock Detection in Distributed Database Systems: A Performance Evaluation Study — O. Bukhres and K. Magel

Mapping Tasks Onto Parallel Systems

• Aspects of Mapping Tasks Onto Parallel Processing Systems — H. J. Siegel, J. Armstrong, D. Watson, W. Nation and M. Allemang

User Interfaces

• Specifications of a General User Interface in LOTOS and OBJ — D. Wiersma, K. Ohmaki and K. Futatsugi
• Developing User Interfaces by Stimulus-Response Demonstration — D. Wolber and G. Fisher
• Specification of User-Interfaces Using CRUISE/OBSERV — A. Cohen, S. Tyszberowicz and A. Yehudai
• A Spatial Data Model Underlying Human Interaction with Object-Oriented Spatial Databases — E. Clementini, P. Di Felice and A. D'Atri

Knowledge-Based Environments

• A Multimedia Knowledge-Based System — T. Sakaguchi, T. Fujita, S. Sugimoto and K. Tabata
• An Integrated Knowledge-Based Intelligent Programming Environment for Novice Programmers — H. Ueno
• Test Consulting System for Switching Systems — C. L. Ho, H. Manabe and H. Yabe
• A Shell for Cooperative Planning — N. Kanai and Y. Tozawa

Formal Methods

• RT-FRORL: A Formal Requirements Specification Language for Specifying Real-Time Systems — J. J.-P. Tsai, H.-C. Jang and K. J. Schellinger
• Synthesizing Procedural Abstractions from Formal Specifications — B. H. C. Cheng
• Formal Specification of Software Systems Using Two-Level Grammar — B. R. Bryant and A. Pan
• Software Specification in Business Terminology — J. Ginbayashi and K. Hashimoto

Expert System Building Tools

• Expert System Building Tools — D. B. Simmons, T. D. Escamilla and N. C. Ellis

Parallel Languages and Programming

• ABC - A New Approach to Distributed Programming — D. L. Cohn and A. Banerji
• ParC Project: Practical Constructs for Parallel Programming Languages — R. Govindarajan, L. Guo, S. Yu and P. Wang
• A Concurrent Programming Language Cable and its Visualization Facility — K. Yoshida, K. Goto, T. Harada, T. Imanaga, K. Utsumiya and K. Korida

Visualization Tools

• SUIT: Software User Interface Design Tool — N. Kishi, K. Satoh and K. Itoh
• Design of Generalized Document Viewer Using Object Chain Representation — N. Ajitomi
• A Visual Data Manipulation Language for a Semantic Data Model — T. Miura

Specification Supports

• Functional Language for Enacting Software Processes — K. Inoue, T. Ogihara, H. Iida and M. Nitta
• A New Control Flow Representation — P. N. Robillard and M. Simoneau
• An Algebraic Specification of a Reflective Language — M. Kurihara and A. Ohuchi
• A Formal Approach to the Semantic Specification of Data Flow Diagrams — T. Liu, C. S. Tang and R. Zhang

Software Productivity and Quality Measurements

• Software Productivity and Quality Measurements — D. P. Smith and W. D. Yu

Parallel Programming Tools I

• A High-Level Tool for Parallel Program Development — K. J. Danhof and M. Zargham
• Design of a System for Software Testing and Debugging for Multiprocessor Avionics Systems — J. E. Lumpp, R. K. Shultz and T. L. Casavant
• A Prototype Concurrent Simulation Toolkit — V. S. Sunderam and V. Rego

Logic Programming

• Design of a Parallel Theorem Prover for First Order Logic — W.-T. Chen, T.-R. Chou, K.-R. Hsieh and H.-J. Liu
• Compiling Recursive Prolog Programs with List Structure Into Procedural Languages — Y. K. Nam and L. J. Henschen
• Information Caching in the Execution of Logic Programs — C.-H. Huang and J.-Y. Juang

Performance Evaluation of Database Systems

• Performance Analysis of Optimistic Concurrency Control Schemes with Different Rerun Policies — P. S. Yu and D. M. Dias
• A General Model for Non-Uniform Data Access in a Database System — S. Banerjee and V. O. K. Li
• Qualitative Reasoning-Based Parameter Tuning on Bottleneck of Synchronized Queueing Network — K. Itoh, S. Honiden, K. Shida and T. Konno

Instrumentation for Parallel Processing on Distributed Memory Systems

• Scalable, Parallel Performance Environments — D. A. Reed
• Integrated Debugging and Performance Monitoring for Parallel Programs — D. W. Krumme and A. L. Couch

Object-Oriented Databases

• Nested Report Generation for Object-Oriented Databases — K. Tsuruoka
• Dynamic Spatial Query Language: A Customized Query Language for Object-Oriented Database Systems — W. S. Luk and A. Choi
• A Type System for an Object-Oriented Database System — X. Wu

Software Testing and Validation

• Protocol Validation Using a Pumping-Based Approach — K.-C. Tai, H.-F. Ho and G.-H. Chen
• On Generating Test Data from Prototypes — R.-J. Lea, S. Chen and C.-G. Chung
• Compiler-Integrated Program Mutation — R. A. DeMillo, E. W. Krauser and A. P. Mathur

Query Language and Processing

• Implicit Joins in the Structural Data Model — B. S. Lee, W. Litwin and G. Wiederhold
• Estimating Recursive Query Costs for Various Parallel Environments — F. Andres and Y. Viegmont
• Visual Knowledge Query Language As a Front-end to Relational Systems — K. L. Siau, H. C. Chan and K. P. Tan · 무료 사본 · ink.library.smu.edu.sg
• Unifying Data Grouping and Knowledge Grouping through Nested Relation-Based Knowledge Representation — Q. Chen and Y. Kambayashi

Current Trends in Software Development Processes

• There Are No Silver Bullets! (Software Engineering) — M. Harris
• On Formalizing Software Process Description: Consortium's Example — R. C. T. Lai
• Foolproofing and Quality Feedback: Keys of Process-Based Management — T. Nakajo

Scheduling and OS Issues

• Execution Mode Management and CU/PE Overlap in an SIMD/SPMD Parallel Language/compiler — M. A. Nichols, H. J. Siegel and H. G. Dietz
• A Thread Facility Based on User/Kernel Cooperation in the XERO Operating System — S. Inohara, K. Kato, A. Narita and T. Masuda
• Scheduling Performance Polymorphic Computations in Real-Time Systems — P. Tu and K.-J. Lin

Debugging Techniques

• CHASE: A Bug-Locating Assistant System — T. Shimomura and S. Isoda
• An Automatic Debugging Approach for Logic Programming with a Method for Propagating Constraints — T. Fukaya and M. Nagata
• Experimental Evaluation of the Cost Effectiveness of Software Reviews — S. Kusumoto, K.-I. Matsumoto, T. Kikuno and K. Torii

Efficient Algorithms

• Quality-Time Tradeoffs in Simulated Annealing for VLSI Placement — S. Raman and B. Wah
• A Dynamic Strategy for Multiple Stacks Manipulation — B.-C. Chien and W.-P. Yang
• A Data Compression Scheme Which Achieves Good Compression for Practical Use — Y. Mano and Y. Sato

Heterogeneous Multidatabases and Their Applications

• Standardized Object Services for Complex Business Application Support — R. Mikkilineni

Concurrent Object-Oriented Environments

• An Object-Oriented Approach to Software Development for Parallel Processing Systems — S. S. Yau, X. Jia, D.-H. Bae, M. Chidambaram and G. Oh
• A Parallel Object-Oriented Language A-NETL and its Programming Environment — T. Yoshinaga and T. Baba
• A Distributed Smalltalk Based on Process-Object Model — Y. S. Lee, J. H. Huang and F. J. Wang

Programming Tools

• Requirements Engineering Metamodel: An Integrated View of Requirements — K. A. Jordan and A. M. Davis
• SOFTON: A Flexible Software Construction Model by Interface Mediation — Y. Kishimoto and K. Yamano
• Generating Software Development Environments from the Description of Product Relations — H. Iida, Y. Nishimura, K. Inoue and K. Torii
• Re-Affirming Support for a Transformational Approach to Software Development: Theory and Practice — B. Ratcliff

Software Processes

• Specifications Reuse Process Modeling and Case Study-Based Evaluations — M. Matsumoto, S. Hayano, T. Kudo, H. Yoshida, S. Imai and K. Ohshima
• Analyzing and Evaluating Fundamental Design Process of Checkout System for Artificial Spacecraft — S. Mochizuki, A. Yamauchi and T. Katayama
• Melding Software Processes Into Software Object Databases — Y. Yang
• Criteria for Selecting Software Process Models — L. C. Alexander and A. M. Davis

Analysis Testing, and Verification of Object-Oriented Software

• Class Modules in Object-Oriented Software Development — J. Zhu
• Evaluation of OOAD Methodologies — M. Ketabchi
• Object-Oriented Methods - Why We Need Them! — S. Joseph
• Formal and Informal Approaches for Validation — T. Tamai

Parallel and Distributed Systems

• Pisa Parallel Processing Project on General-Purpose Highly-Parallel Computers — F. Baiardi, M. Danelutto, R. Di Meglio, M. Jazayeri, M. Mackey, S. Pelagatti, F. Petrini, T. Sullivan and M. Vanneschi
• Development of the Parallel Inference Machine RAP/LOP-WAM and its Optimized Parallel Compiler — G. Yaoqing, W. Dingxing, S. Meiming, Z. Weiming and Q. Xiaolin
• Approaches to Implementation of Multiple DRB Stations in Tightly-Coupled Computer Networks — K. H. Kim and B.J. Min

Software Metrics

• Software Productivity Measurements — W. D. Yu, D. P. Smith and S. T. Huang
• Software Metrics for CASE Development — G. Tate and J. Verner
• Software Engineering Measurement: A Modular Course — M. Bush and M. Russell

Software Reliability

• Software Reliability Measurements through Combination Models: Approaches, Results, and a CASE Tool — M. R. Lyu and A. Nikora
• A Software Reliability Growth Model for Test-Effort Management — S. Yamada, J. Hishitani and S. Osaki
• Fault Analysis Based on Fault Reporting in JSP Software Development — Y. Mohri and T. Kikuno
• Software Reliability Model Selection — G. J. Knafl and J. Sacks

Innovation in Software Testing and Quality Assurance

• Performance, Effectiveness, and Reliability Issues in Software Testing — A. P. Mathur

Parallel Programming Tools II

• Timestamping Events for Inferring "Affects" Relation and Potential Causality — M. Ahuja, T. Carlson, A. Gahlot and D. Shands
• Designing Massively Parallel Algorithms with Parallaxis — T. Bräunl
• VERT-Verification of Real-Time Programs — M. Beaven, B. Elmore, D. C. Marinescu and R. Stansifer

Document Processing

• A Business Form Recognition System — A. Pizano, M.-I. Tan and N. Gambo
• Publishing Tools Need Both: State-Oriented and Task-Oriented Version Support — A. Weber
• Compound Document Processing System — S. Al-Hawamdeh and C. J. C. Loke

Distributed Processing

• Optimal Data Migration Policies in Distributed Databases — T. P. Ng
• A Symmetric and Resilient Configuration Scheme for Multiple Name Servers — A. Nakajima
• Decomposition and Allocation of Flat-Structured Problems — P. Hu, B. Su and C. Shi

Distributed Software Reliability

• Fault-Tolerant Parallel Matrix Multiplication with One Iteration Fault Detection Latency — C.-E. Hong and B. M. McMillin
• Design of Reliable Broadcast Protocol for Selectively Partially Ordering PDUs — A. Nakamura and M. Takizawa
• Automated Test Data Generation for Distributed Software — B. Korel, H. Wedde and R. Ferguson

Object-Oriented Software Supports

• Application Development Using Smalltalk and C++ — T. Kishi, R. Shinozaki, M. Hama, H. Sawada and M. Kagawa
• An Update Protocol for an OODB with Integrity — R. Bigelow, P. Thompson, C. Tsai and H. Yamaguchi
• SODA: A Security Model for Object-Oriented Database Management Systems — T. F. Keefe

Programming Methodologies and Environments

• Programming in a Mother Tongue: Philosophy, Implementation, Practice and Effect — T. Souya, E. Hayakawa, M. Honma, H. Fukushima, M. Namiki, N. Takahashi and M. Nakagawa
• DADENT: A Cost-Effective Environment for Developing Distributed Software — X. Li, Z. Jiang, L. Jin and S. Li
• Semiparallel Execution of Compiled Lisp Programs — M.-A. Fukase and T. Nakamura