compsac 1980

4th Annual International Computer Software and Applications Conference (COMPSAC 1980)

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

Keynote Address

• A Look at Federal ADP Standards: A 1980 Perspective — J. H. Burrows · Scholar 검색

Technical Keynote Session

• Application System Architecture — C. W. Bachman · Scholar 검색
• How to Make Exceptional Performance Dependable and Manageable in Software Engineering — H. D. Mills · Scholar 검색
• PQCC: A Machine-Relative Compiler Technology — W.. A. Wulf · Scholar 검색

Software Requirements Development

• Computer Aided Modeling of Information Systems — L. E. Boydstun, D. Teichroew, S. Spewak, Y. Yamamoto and G. Starner · Scholar 검색
• Automating the Requirements Phase: Benefits to Later Phases of the Software Life-Cycle — A. M. Davis · Scholar 검색
• A Unified Approach to Software (System) Engineering — C. R. Everhart · Scholar 검색
• Some Issues in Requirements Definition — S. E. Lipka · Scholar 검색

The Ada Language

• The NYU Ada Translator and Interpreter — R. B. K. Dewar, G. A. Fisher Jr., E. Schonberg, R. Froehlich, S. Bryant, C. F. Goss and M. Burke · Scholar 검색
• Requirements for an Ada Programming Support Environment: Rationale for Stoneman — J. N. Buxton and L. E. Druffel · Scholar 검색
• Ada, Abstract Data Types and Distributed Databases Transactions — E. Andre and G. Bogo · Scholar 검색

Conversion of Application Programs in Data Base Systems Environment

• Automatic Database System Conversion: A Transformation Language Approach to Sub-Schema Implementation — G. Thomas and B. Shneiderman · Scholar 검색
• DBMS Transaction Translation — Y. Vassiliou and F. H. Lochovsky · Scholar 검색
• Program Analysis and Conversion Due to DBMS Migration — H. Lam, T. Dodd, D. K. Jefferson and S. Y. W. Su · Scholar 검색

Image Processing I

• Sensor Simulation of Natural Scenes — E. M. Rounds, A. T. Zavodny and M. A. Mazzer · Scholar 검색
• Optimization of FLIR Imagery for a Human Observer — J. Allen and J. Dreussi · Scholar 검색
• A System for Graphics Assisted Entry of 3D Points — S. A. MacKay · Scholar 검색

Panel Discussion: The Legal Protection of Rights to Computer Programs

• Trade Secret Protection of Software — H. D. Finley · Scholar 검색
• Practical Aspects in Patenting Computer Programs — H. L. Novick · Scholar 검색

Software Models

• Control, Flow, Data Flow and Program Complexity — E. I. Oviedo · Scholar 검색
• A Model for Representing the Control Flow and Data Flow of Program Modules — S. S. Yau and P. C. Grabow · Scholar 검색
• Modeling of the Software Reliability Growth Process — C. V. Ramamoorthy and F. B. Bastani · Scholar 검색

Image Processing II

• DARPA Image Understanding Program: An Overview — L. E. Druffel · Scholar 검색
• Image Processing and Segmentation Using Hierarchical Structures — A. Rosenfeld · Scholar 검색
• Image Noise Reduction Using the Slope-Facet Model — R. M. Haralick and O. Zuniga · Scholar 검색
• Knowledge Structuring in Task Oriented Image Databases — D. M. McKeown Jr. · Scholar 검색

Software Requirements and Specifications I

• Implementation of Program Specifications — M. V. Zelkowitz and J. Lyle · Scholar 검색
• Toward Methodology for Function Specifications — R. Morton and K. Freburger · Scholar 검색
• A Structural Approach to System Requirements Analysis of Information Systems — K. Nakao, K. Haruna, N. Komoda and H. Kaji · Scholar 검색
• Operational Requirements Accommodation in Distributed System Design — S. W. Smoliar · Scholar 검색

Panel Discussion: Software Development Environments and Tools

• Panel: Software Development Environments — W. E. Riddle · Scholar 검색

Cost Effective Software Development Methodologies

• Maximize Design Effort and Minimize Program Control Complexity- To Maximize Software Development Productivity — J. E. Gaffney Jr. · Scholar 검색
• Observations on the Use of Seven Structured Programming Techniques — J. R. Mitchell · Scholar 검색
• A Decision Point Methodology for the Design of Data Reduction Systems — L. R. Brown and M. R. Paige · Scholar 검색
• Training Programmers Under Simulatec "Live" Conditions — E. R. Dolan · Scholar 검색

Software Requirements and Specifications II

• Architecture Kernel: Higher-Level Program Specification — M. Ohba, H. Kadota, Y. Tanitsu and N. Takimoto · Scholar 검색
• The System Analyst and Software Requirements Specifications — R. L. Chafin · Scholar 검색
• A Method to Bridge Discontinuity Between Requirements Specification and Design — Y. Matsumoto and S. Kawakita · Scholar 검색
• Automated Design of Concurrent Software Modules for On-line File Processing — T. Hirota, K. Tabata and Y. Ohno · Scholar 검색

Distributed Systems I

• A Software Technique for Enhancing Performance of a Distributed Computing System — C.-L. Wu and T.-Y. Feng · Scholar 검색
• A Dataflow Methodology for Processing Distributed Queries — E. J. Adams, C. W. Lillie and D. H. Vines Jr. · Scholar 검색
• On Designing a Security Management System for Distributed Data Bases — U. Bussolati and G. Martella · Scholar 검색
• A Model for the Parallel Representation and Execution of Programs — K. Vairavan and V. Vairavan · Scholar 검색

Design Techniques

• Software Diagram Description: SDD and its Application — Y. Kanda and M. Sugimoto · Scholar 검색
• Formalism for Design Evolution — T. L. Kunii and K. Yamaguchi · Scholar 검색
• Extensibility and Adaptability of Distributed Computing Systems — M. Maekawa · Scholar 검색
• An Evolutionary Data Base Management System — J. C. Browne, T. L. Kunii, H. S. Kunii, K. Takahashi, O. Katayama and K. Oyanagi · Scholar 검색

Requirements Design and User Evaluation

• An Application of Flow Expressions to Describe a Data Base Management System — W. T. Huang · Scholar 검색
• A New Approach to the Multiple Attribute Tree Database Organization — G.-H. Chiou and W.-T. Chen · Scholar 검색
• The: Study of a New Perfect Hash Scheme — M.-W. Du, K.-F. Jea and D.-W. Shieh · Scholar 검색

Distributed Systems II

• Protocol Validation by Synthesizing Communications System Behaviors — S. Y. Bang, P. A. Ng and P. K. Blackwell · Scholar 검색
• Fault Diagnosis of Distributed Systems — C. R. Kime, C. S. Holt, J. A. McPherson and J. E. Smith · Scholar 검색
• Interprocess Communication Schemes Supporting System Reconfiguration — R. Y. Kain and W. R. Franta · Scholar 검색
• Fault Tolerance in Reconfigurable Multiprocessor Systems — V. P. Nelson · Scholar 검색

Software Maintenance

• Special Mini-Tutorial on Software Quality Assurance — E. Miller · Scholar 검색
• Mini-Tutorial on Software Reliability — H. Hecht · Scholar 검색
• Current Directions in the Theory of Testing — T. J. Ostrand and E. J. Weyuker · Scholar 검색
• Mutation Analysis as a Tool for Software Quality Assurance — R. A. DeMillo · Scholar 검색
• Software Maintenance Technology — J. Donahoo and D. Swearingen · Scholar 검색
• Maintenance: A Key Element in Computer Requirements Definition — A. P. Conn · Scholar 검색
• A Modern Facility for Software Production and Maintenance — H. G. Stuebing · Scholar 검색
• Software Development and Maintenance - Where Are We? — R. H. Pennington · Scholar 검색

Software Methodologies

• A Software Development Methodology for Real-Time Applications — D. R. Mott · Scholar 검색
• The Computer Program Development Plan - Major Step in Development Experience Achieving a Successful Software — J. S. Black · Scholar 검색
• EDDA, A Very-High-Level Programming and Specification Language in the Style of SADT — W. Trattnig and H. Kerner · Scholar 검색

Distributed Data Bases

• The Causal Graph Model for Distributed Database Synchronization Algorithms — B. Bhargava and C. T. Hua · Scholar 검색
• On Identifying a Class of Database Queries that Can Be Processed Efficiently — M. Ozsoyoglu and C. T. Yu · Scholar 검색
• An Efficient Heuristic for File Placement on Distributed Databases — B. W. Wah · Scholar 검색

Software Problems of Adaptable Architectures

• Software Problems for Dynamic Pipeline Architecture — S. P. Kartashev and S. I. Kartashev · Scholar 검색
• A Parallel Language for Image and Speech Processing — P. T. Mueller Jr., L. J. Siegel and H. J. Siegel · Scholar 검색
• Some Software Issues in Adaptable Architectures — S. K. Mehra and J. C. Majithia · Scholar 검색

Software Metrics

• Some Experimental Estimators for Developmental and Delivered Errors in Software Development Projects — V. Schneider · Scholar 검색
• A Metric for Software Test Planning — M. Paige · Scholar 검색
• Experimental Evaluation of On-Line Program Construction — S. B. Sheppard, P. Milliman and B. Curtis · Scholar 검색
• A Bayesian Differential Debugging Model for Software Reliability — B. Littlewood · Scholar 검색

Software Tools

• Development of Tools for Selective Program Analysis — J. Arthur and J. Ramanathan · Scholar 검색
• Source Control + Tools = Stable Systems — E. Cristofor, T. A. Wendt and B. C. Wonsiewicz · Scholar 검색
• A Database Design Tool for Hierarchical Databases — H. Kondo, I. Yoshida, T. Kato and S. Suemitsu · Scholar 검색
• Syntax Directed Symbolic Execution — C. Ghezzi and M. Jazayeri · Scholar 검색

Data Base I

• The Description and Usage of Evolving Schemas — T. B. Wilson · Scholar 검색
• A Probabilistic Approach to Storage Compression of Large Natural Language Data Bases — C. C. Wang · Scholar 검색
• ARES in Relational Database Environments — T. Ichikawa, T. Kikuno, N. Kamibayashi and M. Hirakawa · Scholar 검색

A Case Study Experiment in Distributed Simulation

• Distributed Simulation Host: A Distributed Testbed — W. C. McDonald, H. 0. Welch and J. D. Reynolds · Scholar 검색
• Simulation Software Development for The BMDATC DDP Underlay Experiment — R. H. Hoffman, R. W. Smith and J. T. Ellis · Scholar 검색
• A Configurable Testbed for Distributed Data Processing Experiments — P. Hsia, T. G. Williams, J. D. Reynolds and W. C. McDonald · Scholar 검색
• SETS: The Distributed Driver — H. S. Ostrowsky and D. F. Palmer · Scholar 검색

Fault Tolerance in Software

• Software Design for Fault Tolerance — H. Kopetz · Scholar 검색
• Reconfiguration and Recovery of Multiprocess Systems in Fault-Tolerant Distributed Systems — M. Seifert · Scholar 검색
• Current Issues in Fault Tolerant Software — H. Hecht · Scholar 검색

Fault Tolerance/Quality Assurance

• Error Recovery in Concurrent Processes — K. Kant and A. Silberschatz · Scholar 검색
• An Implementation of a Programmer-Transparent Scheme for Coordinating Concurrent Processes in Recovery — K. H. Kim · Scholar 검색
• Application of a Methodology for the Development and Validation of Reliable Process Control Software — C. V. Ramamoorthy, Y. R. Mok, F. B. Bastani and G. Chin · Scholar 검색

Experience with Software Test Tools

• A Debugging, Testing, and Documentation Tool for JOVIAL J73 — C. Gannon · Scholar 검색
• Experience with a COBOL Analyzer — N. Fujimura and K. Ushijima · Scholar 검색
• Experience with Software Tools for Nuclear Process System Applications — B. L. Dooley, H. L. Reeves Jr. and N. C. Thomas · Scholar 검색

Data Base II

• The Application of Data Dependency Theory to the Study of Databases — C. R. Carlson and A. K. Arora · Scholar 검색
• Conceptual Models for Database Systems: Between Reality and Representation — P. Scheuermann and S. Al-Fedaghi · Scholar 검색
• A Generable Database System for the Use in Process Information Systems — A. Jaeschke, F. J. Polster and H. Trauboth · Scholar 검색

Lessons Learned from the Galileo Project

• Flight Software: New Challenges and New Approaches — B. T. Larman · Scholar 검색
• Lessons Learned from the Galileo Project - Introduction — D. J. Reifer, R. C. Barry, B. T. Larman and P. M. Molko · Scholar 검색
• Galileo Flight Software Management - The Science Instruments — R. C. Barry and D. J. Reifer · Scholar 검색
• SAMS: Addressing Managers' Needs — P. M. Molko · Scholar 검색

Special Topics

• Managing Technology Transfer for Software Development: The Paradigmatic Approach — M. G. Walker · Scholar 검색
• The Structure of an Advanced Vectorizer for Pipelined Processors — D. J. Kuck, R. H. Kuhn, B. Leasure and M. Wolfe · Scholar 검색
• External Sorting Using General Purpose Magnetic Bubble Memory — W. E. Wright · Scholar 검색
• PASCAL/HSD: A Graphical Programming System — J. L. Diaz-Herrera and R. C. Flude · Scholar 검색

Measuring the Quality of Software Designs

• Software Design Testability Analysis — B. H. Yin · Scholar 검색
• The Measurement of Control and Data Flow Complexity in Software Designs — M. H. Whitworth and P. A. Szulewski · Scholar 검색
• Figures of Merit for Software Quality — V. Vemuri and J. V. Cornacchio · Scholar 검색
• Vocabulary Effects in Software Science — G. P. Fitsos · Scholar 검색

Operating Systems

• A Concurrent PASCAL Operating System for a Network Computer — A. M. van Tilborg and L. D. Wittie · Scholar 검색
• Management of the Source Text of a Portable Operating System — T. A. Cargill · Scholar 검색
• The Logical Object Model for Data Base Operating Systems — D. Spooner, E. Gudes and P. Fischer · Scholar 검색
• High Level Computer Architecture Approaches to Reduce Semantic Gaps — N. Kamibayashi and T. Ichikawa · Scholar 검색

Relational Data Bases

• An Indexing Technique for Relational Data Bases — F. Bonfatti, D. Maio, M. Spadoni and P. Tiberio · Scholar 검색
• The Implementation of Dynamic Derived Relations — V. Gharavi and J. Driscoll · Scholar 검색
• Extended Relational Calculus -- A Formalism for High Level Relational Query Languages — T.-M. Parng and B.-J. Liu · Scholar 검색
• On Consistent and Complete Declaration of Dependencies for Relations — B. Lundberg · Scholar 검색

Applications

• A Hierarchically Distributed Robot Control System — K. G. Shin and S. Malin · Scholar 검색
• MEMO: An Application of Secret Key Cryptography and Public Key Distribution — S. A. Powers, B. P. Schanning and J. Kowalchuk · Scholar 검색
• EDIPS: An Event-Descriptive Programming Language for Simulation — T. Watanabe, Y. Ozawa and H. Hagiwara · Scholar 검색
• The Necessity of Requirements Engineering in Process Automation — G. Koch and U. Rembold · Scholar 검색

Computer Applications of Fuzzy Set Theory: Issues on Knowledge Representation and Manipulation

• Possibility Theory as a Basis for Information Processing and Knowledge Representation — L. A. Zadeh · Scholar 검색
• What "Fuzzy HOS" May Mean — H. Prade and L. Vaina · Scholar 검색
• The Translation of Fuzzy Queries — S. K. Chang · Scholar 검색
• Linguistic Rule-Based Decision Making Using Fuzzy Logic — B. S. Sembi and E. H. Mamdani · Scholar 검색

Late Papers

• Scheduling Problems for Multistage Network Interconnected Computer Systems — M. Malek and J. C. Browne · Scholar 검색
• Software Requirements Engineering Methodology (SREM) at the Age of Four — M. W. Alford · Scholar 검색