compsac 1988

Edit

12th Annual International Computer Software and Applications Conference (COMPSAC 1988)

장소·일정: Chicago, Illinois, USA, Oct 5–7, 1988
논문: 87편 (IEEE Xplore 86편, 무료 사본 5편)

Methodology and Applications

The Software Process Model — D. A. Gustafson, A. C. Melton, Y.-C. Chen, A. L. Baker and J. M. Bieman
A Case Study in Cleanroom Software Engineering: The IBM COBOL Structuring Facility — R. C. Linger and H. D. Mills
Computer Aided Software Configuration Management with KMS — W. Faltenbacher
Experimental Analysis of SIMD Recursive Digital Filtering on The PASM System Prototype — M. J. McPheters and T. L. Casavant
Technology Transfer of Software Engineering to Developing Countries — A. Pau
A Rule-Based Compactor For VLSI/CAD Mask Layout — P.-Y. Hsiao, C. Y. Syau, W.-S. Feng, T. M. Parng and C. C. Hsu
A Hierarchical Coding of Reduced Picture Information — N. G. Bourbakis and A. Klinger
STATEMATE and Cruise Control: A Case Study — S. L. Smith and S. L. Gerhart
Applications of Software Reliability Measurement to Instruments and Calculators — G. Kruger and B. O'Donnell
Verifiable Program Construction in a User-Friendly Style — M. Naftalin
Editing Model Based on the Object-Oriented Approach — T. Watanabe, Y. Yoshida and T. Fukumura · 무료 사본 · nagoya.repo.nii.ac.jp
Another Approach to System Decomposition: Requirements Clustering — P. Hsia and A. T. Yaung
An Approach to Software Requirement Specification — S. S. Yau and C.-S. Liu
Software Engineering - Retrospect and Prospect — H. D. Mills
Design and Implementation of the High Performance Integrated Voice/data (IVD) Token Ring Protocol — J. Y. Lee and D. W. Jacobson
A Simulation Approach for Network Operations Performance Studies — A. L. P. Chen, E. J. Cameron, G. F. Shuttleworth and E. C. Anderson
A Technique to Derive the Detailed Time Costs of Parallel Computations — R. A. Ammar and B. Qin

Software Development Environments: Techniques, Tools and Methods

Incorporating Transactions in a Requirement Engineering Method — M. Hallmann
Early and Not-So-Early Prototyping-Rationale and Tool Support — B. Ratcliff
Designing Software for Maintenance and Performance — R. P. Mikkilineni and D. F. Utter
Models of Programmer Behaviour: A Comparative Study — J. Siddiqi and B. Khazaei
A Comprehensive and Aggressive Quality Assurance Program As a Foundation for Improving Software Productivity — M. M. Kim and W. R. Hall
A Generic Technique for Developing a Software Sizing and Effort Estimation Model — A. Kulkarni, J. B. Greenspan, D. A. Kriegman, J. J. Logan and T. D. Roth
An Efficient Method for Incremental Attribute Evaluation by Using Multi-Dependency — Q. Lu and J. Qian
Type Management System in the Nexus Distributed Programming Environment — A. Tripathi and S. Ong
A Data Model Supporting System Engineering — T. Batz, P. Baumann and D. Köhler
Vishnu: An Object-Oriented Database Management System Supporting Software Engineering — D. J. Moore, P. A. Drew, M. S. Ganti, R. J. Nassif, S. Podar and D. H. Taenzer
CASE Perspectives — H. Weber
Process Control Within a Software Production Environment — W. Schäfer
Integrating Three Tool-Based Approaches to Software Engineering — R. A. Nicholl
Automated Testcase Generation for Data Abstraction — P. Jalote and M. G. Caballero
Scheduler 1-2-3: An Interactive Schedulability Analyzer for Real-Time Systems — H. Tokuda and M. Kotera · 무료 사본 · figshare.com
Finding Program Slices for Recursive Procedures — J. C. Hwang, M. W. Du and C. R. Chou
Building and Managing Software Libraries — G. Jones and R. Prieto-Diaz
A Model for Development of Customizable Applications — H. M. Atchan and R. Bell

Distributed Processing and Advanced Database Systems

Local Concurrent Error Detection and Correction in Data Structures Using Virtual Backpointers — C. C. Li, P. P. Chen and W. K. Fuchs · 무료 사본 · ideals.illinois.edu
Automatic Test Case Generation from Relational Algebra Queries — W. T. Tsai, D. Volovik, T. F. Keefe and M. E. Fayad
Preserving Autonomy in a Heterogeneous Multidatabase System — B. Holtkamp
SIMD and MIMD Processing in the Texas Reconfigurable Array Computer — G. J. Lipovski
Experimentally Based Parallel Architecture Evaluation — S. A. Fineberg
A User's Perspective on the State of Parallel Processing — J. G. Kuhl
Low-Level Programming of Parallel Supercomputers — T. L. Casavant
Reliability-Oriented Task Allocation in Redundant Distributed Systems — J.-P. Wang and S. M. Shatz
Executable Assertion Development for the Distributed Parallel Environment — B. M. McMillin and L. M. Ni
Designing Parallel Algorithms from Forests and Multistage Graphs — G. H. Chen and M.-S. Chern
Software Issues Facing Parallel Architectures — J. P. Cavano
Issues in Software Development for Concurrent Computers — G. C. Fox
Software Development Issues for Parallel Processing — L. Russell and R. N. C. Lightfoot
Optimal Number of Processors for Finding the Maximum Value on Multiprocessor Systems — S. Horiguchi and Y. Shigei
A Quadtree Communication Structure for Fast Data Searching and Distribution — W. Lin, T.-L. Sheu and C. R. Das
Reliable Garbage Collection in Distributed Object Oriented Systems — A. Gupta and W. K. Fuchs
An Algebraic Technique for Deductive Database System — Y. J. Jiang
A Probabilistic Study on the Transaction's Waits and Deadlocks — Y. F. Huang and Y. H. Chin
A Logic for Handling Time in Temporal Databases — M. A. Bassiouni · 무료 사본 · stars.library.ucf.edu
A Fully-Distributed Approach to Concurrency Control in Replicated Database Systems — M. Singhal
Database Design Tool Generation via Software Reusability — S. Hong and F. Maryanski
An Evaluation of Software Structure Metrics — B. A. Kitchenham
A Database Query Language for Visual Interfaces — K. Kawagoe

AI Techniques and Systems

A Knowledge-Based System Approach to the Development of a System Functional Requirement Specification Processor — W. F. Bruno, G. Narayanaswami, M. Aoyama and C. K. Chang
Knowledge-Aided Engineering Environment for Design and Manufacturing — D. G. Shin and F. Maryanski
Liaison: An Intelligent Rule Driven Interface for Software Engineering Environments — I. S. Law
Rapid Prototyping Using FRORL Language — J. J.-P. Tsai, M. Aoyama and Y. L. Chang
The Requirement Model in a Knowledge-Based Rapid Prototyping System — P.-M. Chen and C.-R. Chou
A Knowledge-Based System for Multi-Layer Channel Routing — D. Vakil, M. R. Zargham and K. J. Danhof
Object-Oriented Paradigm and Software Engineering — W. T. Tsai and I. Zualkernan
Object-Oriented Requirements Analysis (OORA) — P. Coad
Object-Oriented Techniques Based on Specifications — V. Berzins · 무료 사본 · zenodo.org
Potential Use of the Object Paradigm for Software Engineering Environments in the 1990s — R. V. Mikkilineni
Semantic and Object-Oriented Database Support for Software Environments — R. King
Learning Heuristic Functions for Numeric Optimization Problems — M. Lowrie and B. Wah
Heuristic Solutions for the General Maximum Independent Set Problem with Applications to Expert System Design — I. F. Chang, W.-Z. Shao and H.-H. Teh
Seismic Event Interpretation Using Scripts — K. Kandt and P. Yuenger
Modularity in the METAL System — J. S. Liu
A Preliminary Study of Appositive Constructions in Japanese and English — Y. S. Alam
Coherent Analysis of Argumentative Discourse — R. Cohen
Contextual Knowledge for Summarizing Japanese Texts and Generating English Sentences — T. Sato, J.-I. Aoe and S. Yasutome
An Efficient Digital Search Algorithm by Using a Double-Array Structure — J.-I. Aoe, S. Yasutome and T. Sato · Scholar 검색
Extensions on Performance Evaluation Techniques for Concurrent Systems — Y. Yaw, B. W. Y. Wei, C. V. Ramamoorthy and W. T. Tsai
Weighted Fuzzy Logic and its Applications — X. He
Nonrecursive Algorithms for Reconstructing a Binary Tree from its Traversals — G. H. Chen, M. S. Yu and L. T. Liu
Expert Systems and Software Engineering — J. J.-P. Tsai, D. Y. Yun, M. T. Harandi, M. M. Tanik, W.-T. Tsai and W. Scacchi
Knowledge-Based Software Development: Issues and Strategies — M. T. Harandi
In Search of Silver Bullet (Software Engineering) — M. M. Tanik
Expert Systems for Software Engineering? — W. T. Tsai and I. Zualkernan
Synthesis Rules for Cyclic Interactions Among Processes in Concurrent Systems — C. V. Ramamoorthy, Y. Yaw and W. T. Tsai
Protocol Synthesis in a State-Transition Model — P.-Y. M. Chu and M. T. Liu
Asynchronous Recovery Protocols for Distributed Systems — K. W. Hwang and W. T. Tsai