compsac 1982

6th Annual International Computer Software and Applications Conference (COMPSAC 1982)

• 장소·일정: Chicago, Illinois, USA, Nov 8–12, 1982
• 논문: 115편 (IEEE Xplore 0편)
• 이 해의 논문은 Crossref에서 COMPSAC DOI를 찾지 못했다. 제목 옆 Scholar 검색 링크로 찾아볼 수 있다.

Software Tools

• The Current Status of Software Tool Usage — H. Hecht and R. C. Houghton Jr. · Scholar 검색
• Omega -- A Data Flow Analysis Tool for the C Programming Language — C. Wilson and L. J. Osterweil · Scholar 검색
• An Instrumentation System for Measurement of Software Performance — R. M. Lenk, T. L. Booth and T. T. Wetmore IV · Scholar 검색

Software Reliability Assessment

• Assessment of Software Reliability Models — R. Troy and R. Moawad · Scholar 검색
• S-Shaped Software Reliability Growth Curve: How Good Is It? — M. Ohba, S. Yamada, K. Takeda and S. Osaki · Scholar 검색
• Software Related Failures on the IBM 3081: A Relationship with System Utilization — O. J. Rossetti and R. K. Iyer · Scholar 검색

Database System Conversion: Problems and Solutions

• An Introduction to the Panel on Database System Conversion: Problems and Solutions — S. Y. W. Su · Scholar 검색
• Simple Data Base Conversion with ADABAS from VSAM, Sequential or Chain-Pointer Systems — S. Lewis · Scholar 검색
• Database Conversion with INQUIRE® — T. O'Brien and H. Kaplowitz · Scholar 검색
• Strategies for Data Base System Conversion — R. G. Staat · Scholar 검색

Evaluation and Algorithms for Distributed Processing

• An Evaluation of the Applicability of Different Mathematical Approaches to the Analysis of Decentralized Control Algorithms — J. A. Stankovic, N. Chowdhury, R. Mirchandaney and I. Sidhu · Scholar 검색
• Reconfiguration Control Algorithms for Reconfigurable Computer Systems — Y. W. Ma · Scholar 검색
• A Method for Comparing Distributed Computer System Architectures — D. M. Di Domenico and S. M. Jacobs · Scholar 검색

Office Productivity Enhancement through Visual Tools

• Office Productivity Enhancement Through Visual Tools - 1982 — T. L. Kunii · Scholar 검색
• Office Productivity Enhancement through Visual Aids — M. M. Aloof · Scholar 검색
• Table and Graphics Tools Integration for Improving Office Productivity — M. Azuma · Scholar 검색
• GDL for Effective Database Management — H. S. Kunii · Scholar 검색

Software Technology Education

• Software Technology Education - Introduction — T. Ichikawa · Scholar 검색
• Software Education in an Industry — Y. Matsumoto · Scholar 검색
• Are Universities Adequately Preparing Software Engineers for Industry? — J. B. Munson · Scholar 검색

Software Quality Measurement

• A Comparative Study of Software Metrics for Real Time Software — H. Jensen and K. Vairavan · Scholar 검색
• Design Stability Measures for Software Maintenance — S. S. Yau and J. S. Collofello · Scholar 검색
• On the Uncertainty in the Correctness of Computer Programs — F. B. Bastani · Scholar 검색

Database Design, Conversion, and Integrity

• A Method of Conversion from the Entity-Relationship Model to ADABAS Physical Design Using an Extended ER Model — K. H. Davis · Scholar 검색
• A Case Study of Database System Conversion — H. Lam and S. Y. W. Su · Scholar 검색
• A Scheme for Verification of Integrity Assertions in a Transaction Processing System — L. Lilien and B. Bhargava · Scholar 검색

The Future of Software Technology for Telecommunications Systems

• The Future of Software Tools for the Development of Telecommunications Systems — A. M. Davis · Scholar 검색

Software Design and Prototyping

• The Logical Design of a Major AFLC Information System — L. R. Gieszl · Scholar 검색
• Interactive Direct-Execution Programming and Testing — Y. Chu, K. Itano, Y. Fukunaga and M. Abrams · Scholar 검색
• Application of a Clustering Technique to Program Development — Y. Matsumoto · Scholar 검색
• Prototyping and Evaluating a User Interface — K. Hemenway and L. X. McCusker · Scholar 검색

The Role of Software Measurement in Software Development

• The Role of Software Measurement in Software Development — J. P. Cavano · Scholar 검색
• Software Measurement — C. Gannon · Scholar 검색
• The Role of Software Quality Measurement in Software Development — M. S. Johnson · Scholar 검색
• The Role of Measurements in the Software Development Process — J. V. Post · Scholar 검색
• A Software Quality Metrics Study — C. A. Proctor · Scholar 검색

Topics in Database Systems

• A Binary Relation Representation for Program Models — S. S. Yau, P. C. Grabow and B. P. Weems · Scholar 검색
• PDDSCN: A Personal Distributed Database Management System on a Computer Network — Y. H. Chin · Scholar 검색
• On the Flexibility Provided by Conflict-Free Normalization — A. K. Arora and C. R. Carlson · Scholar 검색

Communications: Protocols and Processing

• Specification and Validation of the Transmission Control Protocol Using Transmission Grammar — L. D. Umbaugh, M. T. Liu and C. J. Graff · Scholar 검색
• Communication Protocol Synthesis — C. V. Ramamoorthy and S. T. Dong · Scholar 검색
• Achievable Decentralized Control for Functions of a Distributed Processing Operating System — J. A. Stankovic · Scholar 검색
• The Impact of VLSI on Communications in Closely Coupled Multiprocessor Networks — R. M. Fujimoto and C. H. Séquin · Scholar 검색

Improving Quality Assurance

• Automated Software Quality Assurance — H. M. Sneed and A. Mérey · Scholar 검색
• Impact of a Computer Aided Development Support System on Software Quality and Reliability — R. J. Lauber · Scholar 검색
• Developing a Software Quality Assurance Program Based on the IEEE Standard 730-1981 — J. J. Greene, C. P. Hollocker, M. A. Jones and T. C. Pingel · Scholar 검색

The System Levels: Multiprocessing and Operating Systems

• A Multiprocessor Architecture for Real-Time Fault-Tolerant Computing — K. Kant · Scholar 검색
• A New Switching Software Architecture for OA Oriented EPABXs to Allow Field Modification — T. Tsuda, S. Morita, Y. Fujii and M. W. Kim · Scholar 검색
• NAXOS : An Operating System Nucleus for Microprocessors — Y. Yano, H. Takahashi, H. Monden and K. Tanabe · Scholar 검색

Robotics and Computer Aided Manufacturing

• Development of an Explicit Robot Control Language — K. G. Shin, G. P. Vukkadala and N. D. McKay · Scholar 검색
• On the Use of Abstractions in Manipulator Programming — G. Bruno · Scholar 검색
• Growth-Based Strategy for the Development of Process-Control Information Systems by Enhanced User Involvement — H. Trauboth · Scholar 검색

Office Automation

• A Workstation for Interaction Styles — T. T. Carey · Scholar 검색
• Distributed Control Software for the PHENICS Computer Network — Y. Kakuda, T. Kikuno, N. Yoshida and A. Murashige · Scholar 검색
• Scheduling of Meetings in Office Information Systems — T. Kikuno, N. Yoshida, K. Sugihara and K. Arame · Scholar 검색

Software Development Environments

• Software Engineering Environments: State of the Art, Problems and Perspectives — H. L. Hausen and M. Müllerburg · Scholar 검색
• Software Resources Integration Using a Data Dictionary — H. Kondo, T. Kikuchi, H. Shimoda, A. K. Onoma and Z. Kawasaki · Scholar 검색
• A Software Development System Supported by a Database of Structures and Operations — K. Kanasaki, K. Yamaguchi and T. L. Kunii · Scholar 검색

Software Quality Assurance

• Advances in Software Quality Assurance — T. S. Chow · Scholar 검색
• Position Statement -- Software Quality Assurance (SQA) Tools — E. F. Miller Jr. · Scholar 검색
• Putting SQA Plans Into Practice — B. C. Wonsiewicz · Scholar 검색
• SQA Perspective on Quality Measurement and Evaluation Throughout the Software Life Cycle — R. Motley · Scholar 검색
• Software Quality Assurance Implementation — R. M. Poston · Scholar 검색

Distributed Databases

• Synchronization Techniques Based on Two Phase Locking in a Distributed Database System: A Performance Evaluation Study — C. Thanos, C. Carlesi and E. Bertino · Scholar 검색
• Conflict Models of Two-Phase Locking Algorithms in Distributed Databases — V. O. K. Li · Scholar 검색
• Two Surprising Results in Processing Simple Queries in Distributed Databases — C. T. Yu, C. C. Chang and Y. C. Chang · Scholar 검색

Robot Vision

• Describing Visible Surfaces — M. Brady · Scholar 검색
• Application of Dynamic Scene Analysis to Robotics — M. 0. Ward · Scholar 검색
• A Hierarchical, Model-Driven, Vision System for Sensory-Interactive Robotics — E. W. Kent · Scholar 검색

Software Requirements Analysis

• Requirements Analysis - A Management Perspective — R. T. Yeh · Scholar 검색
• A Rigorous Approach to Building Formal System Requirements — G.-C. Roman · Scholar 검색
• SSAGS: A Syntax and Semantics Analysis and Generation System — T. Payton , S. Keller, J. Perkins , S. Rowan and S. Mardinly · Scholar 검색
• Simulation of an I/O Driven Requirements Language — L. L. Cheng, M. L. Soffa and Y.-H. Yang · Scholar 검색

Software Inspections

• Panel Session: Software Inspections — A. S. Ackerman · Scholar 검색
• A Software Inspections Training Program — A. F. Ackerman, A. S. Ackerman and R. G. Ebenau · Scholar 검색
• Code Inspections at First Union Corporation — R. Peele · Scholar 검색

Network Partitioning for Distributed Databases

• Evaluation of the Network Merging Protocol Based on the Optimistic Concurrency Control and Rollback Semantics — B. Bhargava · Scholar 검색
• Continued and Correct Operation of Distributed Databases in the Presence of Network Partitions — D. R. Ries · Scholar 검색
• The Optimistic Protocol for Partitioned Distributed Database Systems — S. B. Davidson · Scholar 검색
• On Network Partitioning — D. Skeen · Scholar 검색
• Position Paper for Panel on Network Partitioning for Distributed Data-Bases — P. A. D. de Maine · Scholar 검색
• Multiple Copy Consistency Faced to Network Partitioning — P. Rolin and J. Boudenant · Scholar 검색

Picture Languages and Information Retrieval

• A Classification Issue in the Study of Picture Languages — T. Ichikawa and M. Hirakawa · Scholar 검색
• Picture Information Measures for Similarity Retrieval — S.-K. Chang and C.-C. Yang · Scholar 검색
• Retrieval Improvement by the Interaction of Queries and User Profiles — R. R. Korfhage and H. Chavarria-Garza · Scholar 검색
• A Framework for Specifying Geographic Database Applications — A. Meier · Scholar 검색

Topics in Programming Languages

• Programming Languages and the Programming Process — M. R. Levy · Scholar 검색
• Specifications for a Transportable Programming Language System — P A. 0. de Maine and C. G. Davis · Scholar 검색
• The Decompilation of COBOL-DML Programs for the Purpose of Program Conversion — L. M. Dorsey and S. Y. W. Su · Scholar 검색
• An Approach to Translation of PASCAL Augmented with Recovery Block and Recoverable Procedure — K. H. Kim, S. M. Yang and T. Arshi · Scholar 검색

Software Testing and Validation

• The Effectiveness of Design and Code Walkthroughs — J. J. Hart · Scholar 검색
• System Testing Aided by Structured Analysis (A Practical Experience) — T. J. McCabe and G. G. Schulmeyer · Scholar 검색
• On the Effectiveness of the Partition Analysis Method — D. J. Richardson and L. A Clarke · Scholar 검색

Software Project Management

• A Model of Software Project Management Dynamics — T. K. Abdel-Hamid and S. E. Madnick · Scholar 검색
• Software Development Effort Estimation Study - A Model from CAD/CAM System Development Experiences — M. Okada and M. Azuma · Scholar 검색
• Expert Systems: Status and Perspectives — V. P. Kobler and B. G. McDaniel · Scholar 검색

Relational Implementation Issues

• Querying Relational Views of Networks — A. Rosenthal and D. Reiner · Scholar 검색
• A New Heuristic for Generating Semi-Join Programs for Distributed Query Processing — P. A. Black and W. S. Luk · Scholar 검색
• Relational Databases with Partially Formatted Records — S. Osborn · Scholar 검색

Robotics Computer Vision

• Computer Vision Techniques for Industrial Inspection and Robot Control — R. C. Gonzalez and R. Safabakhsh · Scholar 검색
• Robot Arm Kinematics, Dynamics and Control — C. S. G. Lee · Scholar 검색

Language-Based Editors-Interpreters

• Language-Based Editors/Interpreters — G. Lyon · Scholar 검색
• Is There a Language-Knowledgeable Program Constructor-Executor in Your Future? — P. B. Henderson · Scholar 검색
• The COPE User Interface — R. Conway · Scholar 검색

Automation to Support Software Testing and Verification

• A Partially Automated Method for Testing Interactive Systems — H. Gomaa and S. J. Martello · Scholar 검색
• An Automated PASCAL Test Coverage Assessment Tool — J. S. Collofello and G. D. Klinkel · Scholar 검색
• Verifying Ongoing Behavior: A Case Study — F. C. Furtek · Scholar 검색

Special Topics

• Functor : Control = Inter-Process Control + Intra-Process Control — M. Ohba and Y. Tanitsu · Scholar 검색
• Probabilistic Modelling of Branch and Bound Algorithms — B. W. Wah and C.-F. Yu · Scholar 검색
• Government, University and Industry - Evaluation of Brazilian Development in Computer Technology — P. B. Franca, J. F. Araújo and E. A. Schmitz · Scholar 검색
• A Development and Testing Environment to Improve Software Productivity — T. R. Spacek and C. R. Meacham · Scholar 검색

Relational Database Systems

• On Interactions in Multiple View Environments — A. K. Arora and C. R. Carlson · Scholar 검색
• Equivalence of Entity-Relationship Diagrams — S. Jajodia and P. A. Ng · Scholar 검색
• Capturing Ill-Structured Information in Relational Database Systems — L. J. Henschen and S. A. Naqvi · Scholar 검색

Robotics and Industrial Automation

• Panel on Robotics and Industrial Automation — K. S. Fu · Scholar 검색