compsac 1984

8th Annual International Computer Software and Applications Conference (COMPSAC 1984)

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

Telecommunication Software Development Environment

• Telecommunication Software Development Environments — A. Rudmik · Scholar 검색
• The Challenge of Composing Large Scale Software — J. C.-C. Chiang · Scholar 검색

Software Tools

• The Design of a Program Editor Based on Constraints — C. A. Carter and W. R. LaLonde · Scholar 검색
• Modifiability of Macro Implementation of SNOBOL4 - Experience in Adding Japanese Text Processing Facility — K. Ushijima, K. Yoshida and K. Araki · Scholar 검색
• An Automated Pascal Multiple Condition Test Coverage Tool — J. S. Collofello and A. F. Ferrara · Scholar 검색

Software Engineering Environment

• Omni: An Interactive Programming Environment Based on Tool Composition — J. D. Arthur and D. E. Comer · Scholar 검색
• Retargetable Source Generation — G. A. Jones · Scholar 검색
• Prometheus: An Interactive Environment for the Development and Parallel Execution of Functional Programs — J. D. Arthur and D. A. Reed · Scholar 검색

New Directions in Database Systems

• New Directions in Data Base Systems — F. Manola · Scholar 검색

Concurrency Control I

• An Approximation of Delays Due to Locking of Files in a Distributed System — A. Hac · Scholar 검색
• Deadlock Detection for Concurrent Programs in CSP — B. Zhou, R. T. Yeh and P. A.-B. Ng · Scholar 검색
• Distributed Deadlock Detection Algorithm in Transaction-Processing Systems — A. K. Elmagarmid, A. K. Datta and M. T. Liu · Scholar 검색

Switching Software Architecture

• Data Management In GTD-5 EAX — B. D. Radhakrishnan · Scholar 검색

Software Engineering Management

• Integrating and Standardizing Requirement Engineering for Business Systems - An Experimental Study — M. Azuma, H. Kitagawa and S. Misaki · Scholar 검색
• Estimating Logical Stability in Software Maintenance — S. S. Yau and S.-C. Chang · Scholar 검색
• Task Analysis and the Selection of Software Development Team Structures — A. von Mayrhauser · Scholar 검색

Database Applications I

• A High Level Language for Data Base Administrator in a Multiple Model Data Base Machine — S. K. Arora, S. R. Dumpala, K. C. Smith and K. Davis · Scholar 검색
• A Model for an Integrated Statistical and Commercial Database — I. Nwokogba and W. H. Rowan Jr. · Scholar 검색
• An Online Interface to a Relational Database for a Real-Time Application — M. D. Yanike · Scholar 검색

Concurrency Control II

• Conflicts in Partitioned Databases and Higher Level Operations — S. Jajodia and P. Speckman · Scholar 검색
• A Decentralized On-Line Algorithm for Social Resource Acquisition in Value-Added Network Environments — S. Marumoto, K. Onaga and K. Kishimoto · Scholar 검색

Quality Through Software Engineering

• Quality Through Software Engineering — D. F. Utter · Scholar 검색

Distributed Database Processing

• Placement Dependency and Aggregate Processing in a Fragmented Distributed Database Environment — C. T. Yu, K. C. Guh, C. C. Chang, C. H. Chen, M. Templeton and D. Brill · Scholar 검색
• Improving Semi-Join Programs for Distributed Query Processing — A. L. P. Chen and V. O. K. Li · Scholar 검색
• A Document Classification Method in a Form Based Electronic Document File System — M. Sato, E. Nomura and A. Tanaka · Scholar 검색

Distributed Programming I

• AND/OR Graphs - A Model for Implementing a Distributed Program — A. C. Liu · Scholar 검색
• An Object-Based Resource Management Mechanism for a High-Performance Distributed Computing System - Star — W. Lin and C.-L. Wu · Scholar 검색
• Optimal Scheduling Algorithms for Multistage Resource Sharing Interconnection Networks — J.-Y. Juang and B. W. Wah · Scholar 검색

Tools for Expert System Development

• Future Requirements for Tools for Building Knowledge-Based Systems — B. P. McCune · Scholar 검색

Languages for Software Development

• Monju: Constraint-Keeping Object-Oriented Language — S. Nakajima, K. Ohmori and H. Horita · Scholar 검색
• Transposition and Enumeration in Programming a Real-Time Problem — S. Rotenstreich · Scholar 검색
• Performance Evaluation of Abstract Data Type Implementations — M. Wagner and R. Ford · Scholar 검색

Database Applications II

• An Experiment with Balanced and Unbalanced K-D Trees for Associative Retrieval — D. A. Beckley, M. W. Evens and V. K. Raman · Scholar 검색
• Work Controller: An On-Line Data-Directed Processing Facility for REDNET, a Large Data Acquisition System — S. Mensah, M. W. Paley and R. A. J. Basso · Scholar 검색
• Transformation of Entity-Relationship Diagrams Into Relational Schemas — S. Jajodia · Scholar 검색

Integrated Services Digital Network - CCITT’s View

• Integrated Services Digital Network - CCITT's View — T. S. Chow · Scholar 검색

Software Design Techniques

• Bottom-Up Data Flow Analysis and Parallel Design — J. R. Diederich and R. M. Kitchen · Scholar 검색
• Pegasus: A Tool for the Acquisition and Reuse of Software Designs — K. Kandt · Scholar 검색
• An Approach to Flexible Software System Design Using Generic Capabilities — H. C. Kuo, A. L. Chow and Z. Kishimoto · Scholar 검색

Life Cycle Software Measurement

• A Design for a Reliability Benchmark — R. Thibodeau · Scholar 검색

Overview of National Standards for Software

• Overviews of Software Standards Efforts — J. McKissick Jr. · Scholar 검색
• The Politics of Standardizing Pascal — M. P. Hagerty · Scholar 검색

Distributed Programming II

• A Study of the Teletex Session Integrated Into the OSI Architecture — S. Alfonzetti, S. Casale and A. Lombardo · Scholar 검색
• On the Recoverability of Finite State Protocols — T. Y. Choi · Scholar 검색
• Concurrent Programming Robustness — A. Antola and N. Scarabottolo · Scholar 검색

Assuring Software Quality

• Assuring Software Quality: The Need for Standards Development and Application — S. A. Gloss-Soler · Scholar 검색
• An Approach to the Evaluation of Software for Embedded Computer Systems — C. E. Carroll Jr. · Scholar 검색
• Software Standards and Electronic Process Control Systems in Army Armament Plants — E. Fedchak · Scholar 검색

Artificial Intelligence Applications

• A Syntax-Directed Editor Generator for Robot Programming — G. Bruno · Scholar 검색
• Making Decision Support Systems Self Explanatory — A. Sinha, L. Caplan, B. Desai, M. Evens, D. Hier and H. Hill · Scholar 검색
• Robot Level Programming Languages and the SRIL-90 Language — S. Ahmad · Scholar 검색

Verification Methods for Engineering Software

• Effective Definitions for the Verification of Engineering Software — H. P. Richter · Scholar 검색
• Validation of CAD and CAE Applications — M. J. Klein · Scholar 검색
• The Common Verification Problem Set -- A Data Services Approach — M. J. Berg · Scholar 검색

Expert Systems in Telecommunications Software Development

• Expert Systems in Telecommunications Software Development Environments — C. W. Welin · Scholar 검색
• Expert Systems in Telecommunications SW Development Environments — F. Manucci · Scholar 검색

New Software Methodology

• An Analysis of Control Flow Complexity — M. Evangelist · Scholar 검색
• A Graph Description Language for Large-Scale Software Specification in a Maintenance Environment — S. S. Yau and J. P. Tsai · Scholar 검색
• Software of the Brain Structured Computer — T. Nakamura · Scholar 검색

Software Reliability

• Automatic Test Generation for PAls® — M. Mannan · Scholar 검색
• Program Testing, Path Coverage, and the Cohesion Metric — T. J. Emerson · Scholar 검색
• Reliability of Current Fault Tolerant Systems — H. Dussault and H. Hecht · Scholar 검색

Validation and Verification Methods and Practices in Process Control Systems

• Safety Integrity Assessment of Programmable Systems in UK Industry — B. K. Daniels and R. I. Wright · Scholar 검색
• A Practical Experience with Independent Verification and Validation — G. Page, F. E. McGarry and D. N. Card · Scholar 검색
• Software Fault Tree Analysis Applied to Ada TM — N. G. Leveson and J. L. Stolzy · Scholar 검색
• Qualification of a Computer System for the Limitation of Power Density in a Reactor Core — M. Kersken, L. Rietzsch and U. Mertens · Scholar 검색

Software Reusability

• Software Reusability — R. Wirth · Scholar 검색
• Evolution As a New Basis for Reusability — R. Baizer · Scholar 검색
• A Radical Hypothesis: Reusability Is the Essence of Design — T. Biggerstaff · Scholar 검색
• Software Reusability: Approaches and Issues — G. Jones · Scholar 검색
• Software Reusability: A Management View — J. Clapp · Scholar 검색

Operating Systems for Development Environments

• The SSR Model for Specification of Authorization Policies: A Case Study in Project Control — R. S. Sandhu · Scholar 검색
• Identifying Two Program Categories for Memory Management Purposes — W. Abu-Sufah, R. Lee and M. Malkawi · Scholar 검색
• Efficient Branch-and-Bound Algorithms on a Two-Level Memory System — C.-F. Yu and B. W. Wah · Scholar 검색

Software Quality Assessment: Current Status and Future Directions

• Software Quality Assessment — R. H. Dunn · Scholar 검색
• Software Design Inspection for Preliminary Design — J. McKissick Jr., M. J. Somers and W. Marsh · Scholar 검색

An In-Depth View of Current IEEE Software Engineering Standardization Efforts

• An In-Depth View of Current IEEE Software Engineering Standardization Efforts — G. D. Tice · Scholar 검색
• Standardizing Software Unit Testing — D. Gelperin · Scholar 검색
• Guide to Software Design Descriptions IEEE Project 1016 — J. Barnard and C. Beall · Scholar 검색
• Guide to Software Reliability Measurements — P. B. Powell · Scholar 검색
• Additional Paper - 1984 · Scholar 검색
• Additional Panelist Position Statements - 1984 · Scholar 검색