compsac 1983

7th Annual International Computer Software and Applications Conference (COMPSAC 1983)

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

Software Metrics

• An Approach to Measuring Program Complexity — F. B. Bastani · Scholar 검색
• Structural Approach Towards Software Reliability Evaluation — R. Moawad and M. Hassan · Scholar 검색
• Some Measurement Problems Detected in the Analysis of Software Productivity Data and Their Statistical Consequences — J. L. Romeu and S. A. Gloss-Soler · Scholar 검색

Software Design and Modeling

• Rapid Prototyping of Switching Software — K. Hasui, S. Morita, Y. Fujii and N. Aritaka · Scholar 검색
• Appropriate Technology: Adapting an Automatic Design Method for Hand Use — C. A. Brown and P. W. Purdom · Scholar 검색
• Display-Oriented Structure Manipulation in a Multi-Purpose System — P. H. Feiler and G. E. Kaiser · Scholar 검색

Program Transportability

• Methods for Transporting Programs — S. Leong, H. Mehrooz, P. A. D. de Maine and C. G. Davis · Scholar 검색
• A Portable Hybrid MUMPS Development System Host — K. C. O'Kane · Scholar 검색
• Advances in Compiler Technology — S. L. Graham · Scholar 검색

Department of Defense Software Initiative

• The Department of Defense Plan for the Software Engineering Institute — J. M. Fox · Scholar 검색
• Industry Perspective on STARS — J. H. Manley · Scholar 검색
• Forcing Factors of DoD's STARS Program — R. T. Yeh · Scholar 검색

Management of Software Maintenance

• The Need for Management of Software Maintenance — R. J. Martin · Scholar 검색
• How About Trying Some Simple Solutions? — N. Chapin · Scholar 검색
• Quality Assessment: A Missing Element in Software Maintenance — J. A. McCall and M. A. Herndon · Scholar 검색
• Controlling Software Change — W. M. Osborne · Scholar 검색
• Quick Response As a Maintenance Management Strategy — N. Zvegintzov · Scholar 검색

Networks

• An Adaptive Hierarchical Routing Algorithm — C. V. Ramamoorthy and W. -T. Tsai · Scholar 검색
• An Adaptive Token Ring Network Serving Real-Time Traffic — B.-G. Kim · Scholar 검색
• Fast Connectivity Analysis Algorithms for Dynamic Computer Networks — Y. W. E. Ma and C. M. Chen · Scholar 검색

Software Tools and Workstations

• A Work Station for Information System Development — B. I. Blum · Scholar 검색
• The Module Generator a Practical Definition for a Software Module — F. E. Cross · Scholar 검색
• Some Experiences of Interactive Graphics on a Single User Workstation — H. S. Woodgate · Scholar 검색
• Toward the Next Generation of Data Modeling Tools — C. R. Carlson and A. K. Arora · Scholar 검색

CHILL Language

• CHILL: Facilities for Concurrency — C. H. Smedema · Scholar 검색
• CHILL Structuring Concepts — P. Oosterhaven · Scholar 검색
• CHILL - The Standard Language for Programming Telecommunication Systems — K. Rekdal · Scholar 검색
• Language Comparisons - A Position Statement — A. Rudmik · Scholar 검색

Knowledge Base Systems

• Representation and Use of Judgmental Knowledge — J. D. Johannes · Scholar 검색
• An Intelligent Communication Assistant for Databases — G. Jakobson, V. Shaked, S. Rowley and M. Crystal · Scholar 검색
• RUBRIC: A System for Rule-Based Information Retrieval — B. P. McCune, R. M. Tong, J. S. Dean and D. G. Shapiro · Scholar 검색
• Autonomous Vehicle Control Using AI Techniques — D. Keirsey, J. Mitchell, B. Bullock, T. Nussmeier and D. Tseng · Scholar 검색

Data Base Design and Applications

• Productivity Tools for a Database Management System — J. A. Wald and P. G. Sorenson · Scholar 검색
• Goal Programming Approach to Physical Design of Network Database — H. K. Jain · Scholar 검색
• Update Sets Approach to Databases — S. Jajodia and P. A. Ng · Scholar 검색
• Dedication of General Database Software to Specific Applications — F. J. Polster · Scholar 검색

Images and Graphics

• Picture Processing for Geographical Data Base Systems — K. Mori, T. Kaneko, M. Okudaira and T. Wakana · Scholar 검색
• GQL: A Graphics Query Language for Software Maintenance Environment — S. S. Yau and J. P. Tsai · Scholar 검색
• An Automatic Database Generator for a Medical Pictorial Information System — G. Stefanek and S.-K. Chang · Scholar 검색
• Half-Tone Representation of 3-D Objects Illuminated by Area Sources or Polyhedron Sources — T. Nishita and E. Nakamae · Scholar 검색

CHILL Language Environments

• CHILL Programming Environments — T. A. Haque · Scholar 검색
• CHILL Testing — R. H. Bourgonjon · Scholar 검색
• Software Engineering Aspects of Telecommunication Systems — R. A. Conroy · Scholar 검색
• CHILL Programming Methodology — H. Gutfeldt · Scholar 검색
• Piecewise Compilation in CHILL and its Use in a Large Application — E. Reithmaier · Scholar 검색

Panel: Research and Development in Automation

• Panel: Research and Development in Automation — B. A. Boley · Scholar 검색
• Research and Development in Automation, Japan — K. Togino · Scholar 검색

Robotics

• A Holistic Approach to the Design and Analysis of Versatile Robot Languages — K. G. Shin, R. A. Volz and V. Rajlich · Scholar 검색
• A Formal Semantic Approach to the Specification of an Interactive Manipulator Programming System — G. Bruno · Scholar 검색
• Adaptive Manipulator Control in Cartesian Coordinate System — A. J. Koivo, R. Kúnkel and T. H. Guo · Scholar 검색

Specifications and Documentation

• The "Diversion" Concept in Interactive Computer System Specifications — S. Wartik and A. Pyster · Scholar 검색
• Nonprocedural-Dataflow Specification of Concurrent Programs — N. Prywes, B. Szymanski and Y. Shi · Scholar 검색
• SPD: A Humanized Documentation Technology — M. Azuma, T. Tabata, Y. Oki and S. Kamiya · Scholar 검색

Graph Theory and Analysis of Algorithms

• The Design of Optimal Systolic Algorithms — G.-J. Li and B. W. Wah · Scholar 검색
• Structured Graphs and Spanning Trees — L. De Floriani and J. S. Deogun · Scholar 검색
• New Algorithms for the LCS Problem — W. J. Hsu and M. W. Du · Scholar 검색

Visualization of User-Interfaces

• Visualization of User-Interfaces - Introduction — T. Ichikawa · Scholar 검색
• The Importance of Multifunction Software Systems — M. M. Zloof · Scholar 검색

Software Testing and Verification

• Environmental Testing Techniques for Software Certification — M. S. Karasik · Scholar 검색
• Static Detection of Ada Programming Errors through Joint Analysis of Data Flow and Value Range — R. Hosoya and H. Hotta · Scholar 검색
• A Test Logic Generation Method for Layered Protocol Implementations — T. Araki, K. Takada and S. Yoshitake · Scholar 검색

Software and Hardware Architecture

• Extensions of Ada for SIMD Parallel Processing — C. Cline and H. J. Siegel · Scholar 검색
• SPRING: A High Level Language Architecture in Ada Environment — N. Nishi, H. Tsubotani and T. Ichikawa · Scholar 검색
• A Virtual Terminal Specification and Rationale — S. French · Scholar 검색
• Optimal Redundancy in VLSI Circuits — K. Kant · Scholar 검색

Modeling and Data Analysis in Software Engineering: Theory and Practice

• COMPSAC 83 Panel Session on Data Analysis and Modelling in Software Engineering: Theory and Practice — A. L. Goel · Scholar 검색
• A Methodology for Data Collection — V. R. Basili · Scholar 검색
• Applications of Some Numerical Techniques in Computational Probability to Software Reliability Analysis — U. Sumita · Scholar 검색

Fault Tolerant Software

• Software Fault Tolerance in Transition — H. Hecht · Scholar 검색
• Some Thoughts on Engineering Software for Reliability and Robustness — D. E. Morgan · Scholar 검색
• The Fault-Tolerant Software Features of the APS Interprocessor Media — T. F. Schwab · Scholar 검색

Software Management

• A Total Approach to a Solution for the Maintenance Problems through Configuration Management - Maintenance Support Facility MSF — K. Bannai, M. Suzuki and T. Terano · Scholar 검색
• Integrated Development and Project Management Support System — R. J. Lauber and P. R. Lempp · Scholar 검색
• PROMPT - A Project Management Planning and Tracking System — D. E. Harvey and N. P. Ippolito · Scholar 검색
• Monitoring Software Development through Dynamic Variables — C. W. Doerflinger and V. R. Basili · Scholar 검색

Data Base Analysis and Models

• A Practical Approach to Computer Assisted Initial View Modeling — G. Lausen and W. Stucky · Scholar 검색
• The Use of the Nested-Block Method for Computing Joins — M. R. Scalas and P. Tiberio · Scholar 검색
• Operators for Non-First-Normal-Form Relations — P. C. Fischer and S. J. Thomas · Scholar 검색
• Properties of Optimal Semi-Join Programs for Distributed Query Processing — A. L. P. Chen and V. O. K. Li · Scholar 검색

Human Factor Technology Transfer

• Panel Session: Human Factors Technology Transfer — D. Grimes-Farrow · Scholar 검색
• Human Factors Technology Transfer — R. W. Bailey · Scholar 검색
• Transferring Human Factors Technology — W. B. Knowles · Scholar 검색
• The Introduction of Human Factors to Computer Software — D. Meister · Scholar 검색
• "How To," Not "What To" Do — J. T. Walker · Scholar 검색

Planning and Simulation in Robotics and Automation

• Planning and Simulation in Robotics and Automation — J. C. Lin · Scholar 검색
• Abbreviated Comments on Route Planning in Unknown Natural Terrain — S. Y. Harmon · Scholar 검색
• Motion Control of Intelligent UVS — A. M. Meystel · Scholar 검색
• The Off-Line Programming of Robots and the Need for Sensors — R. P. Paul · Scholar 검색

Panel: Software Development Process in Industry: Past, Present, and Future

• Software Development Process in Computer Industry: Past, Present and Future — S. S. Yau · Scholar 검색
• The Mission Of ITT Programming — J. H. Frame · Scholar 검색
• Innovative Software Engineering Methodologies and Practices for "C & C" — K. Fujino · Scholar 검색
• Software Development Methodology and Tools at GTE — W. G. Griffin · Scholar 검색
• The Programming Development Process — W. S. Humphrey · Scholar 검색

Specification and Testing

• Specification and Testing of Abstract Data Types — P. Jalote · Scholar 검색
• Testing Programs Against a Formal Specification — M. Majoros and H. M. Sneed · Scholar 검색
• The Use of Graphic Aids for Requirements Specification of Process Control Systems — W. K. Epple, M. D. Hagemann, M. K. Klump and U. Rembold · Scholar 검색

Distributed Computer Software

• Work Distribution in a Distributed System with a Fully-Connected Topology — D. D. Sharp Jr. and P. L. Crews · Scholar 검색
• Adaptive File Allocation in Star Computer Network — C. T. Yu, M. K. Siu, K. Lam and C. H. Chen · Scholar 검색
• Optimization Algorithms for Processing Simple Queries in Star Networks — K. Sugihara, J. Miyao, T. Kikuno and N. Yoshida · Scholar 검색

Current and Future Trends in Software Environments for Computer Integrated Manufacturing

• Current Limitations and Future Trends in Software Environments for Computer Integrated Manufacturing — J. Ramanathan · Scholar 검색

Distributed Data Base

• Time and Cost Evaluation Schemes of Multiple Copies of Data in Distributed Database Systems — M. Yoshida, K. Mizumachi, A. Wakino, I. Oyake and Y. Mathushita · Scholar 검색
• Transaction Optimization in a Distributed Database Testbed System — P. A. Dwyer and A. R. Hevner · Scholar 검색
• An Unified Query-By-Example Information Manipulation Language Based on Functional Data Model — Y.-I. Hsieh · Scholar 검색

Software Development Environment

• DACOM: A Design and Configuration Management System — P. J. Hawley · Scholar 검색
• An Approach to Incremental Program Modification — S. S. Yau, C. K. Chang and R. A. Nicholl · Scholar 검색
• Analysis of a Prototype Ada Integrated Methodology — P. Crews, D. Ward and G. Mungel · Scholar 검색

Software Performance

• Load Shedding in a Microprocessor Based Telecommunications Switch — D. Noton and A. Bailey · Scholar 검색
• Design and Evaluation of Dynamic Resources Manager (DRM) — H. Kubo, N. Ohno and T. Doine · Scholar 검색
• Virtual Memory Support for Branch-and-Bound Algorithms — C. F. Yu and B. W. Wah · Scholar 검색
• Parallel Sorting and Data Partitioning by Sampling — J. S. Huang and Y. C. Chow · Scholar 검색

Improving Software Management Visibility

• An Introduction to the Panel Session on Improving Software Management Visibility — M. Azuma · Scholar 검색
• SWQC and Management Visibility — K. Fujino · Scholar 검색
• Improving Software Management Visibility through a Detailed Quality Measurements and Objectives Program — G. A. Heidenrich · Scholar 검색
• Improving Management Visibility through the Use of Software Quality Metrics — G. E. Murine · Scholar 검색

Quantifying the Analysis of Software Requirements

• The Requirements Management Methodology — M. A. Herndon and J. McCall · Scholar 검색
• Software Requirements Analysis: A Disciplined Approach — P. B. Powell · Scholar 검색
• RADC SREM Evaluation Program - Interim Results — W. E. Rzepka · Scholar 검색