compsac 1977

1st Annual International Computer Software and Applications Conference (COMPSAC 1977)

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

Software Requirements and Specifications

• Life-Cycle Evaluation of System Partitioning — J. L. Uhrig · Scholar 검색
• Introducing Software Blueprint — Y. Chu · Scholar 검색
• Requirements Specification and Preliminary Design for Real-Time Systems — J. B. DeWolf · Scholar 검색

Software Development Methodology

• Verification Cost of Utility Industry Software — M. Kayton · Scholar 검색
• Viking '75 - the Development of a Reliable Flight Program — B. A. Claussen II · Scholar 검색
• Independent Verification of Highly Reliable Programs — M. S. Fujii · Scholar 검색

No. 2 Switching Control Center System - An Example of Real- Time Features in an Interactive System

• No. 2 Switching Control Center System - An Example of Real-Time Features in an Interactive System — C. W. Brown · Scholar 검색
• No. 1 Automatic Message Accounting Recording Center — P. V. Lessek · Scholar 검색
• Testing Software Design Modeled by Finite State Machines — T. S. Chow · Scholar 검색

Medical Information Systems

• A Local Node in a Medical Depository Network — T. T. Chen, A. B. Baskin, D. W. Jones, L. Sherman, L. Bloomfield and A. H. Levy · Scholar 검색
• Structured Database Decomposition In The Medical Information System Environment — S. K. Chang and W. H. Cheng · Scholar 검색

Computer Science Education in Application-Oriented Areas

• Pertinent Computer Science Topics for Science and Engineering Students — L. A. Jehn · Scholar 검색
• Computers and Chemistry — R. W. Collins · Scholar 검색
• Data Base Inquiry in Social Science Instruction — F. S. Halley · Scholar 검색
• Educational Computing in Psychology — A. 0. Cromer · Scholar 검색

Software Applications

• Modular Programming in PL/M — W. L. Brown · Scholar 검색
• The Intel Standard for Floating-Point Arithmetic — J. F. Palmer · Scholar 검색
• Sprint - An Interactive System for Printed Circuit Board Design — W. M. Van Cleemput, T. C. Bennett, J. A. Hupp and K. R. Stevens · Scholar 검색
• TASC: A Fault-Tolerant Minicomputer-Based System for Centralized Maintenance of Electronic Switchers — A. M. Chan, J. C. Lui, E. E. Rode and A. G. Slekys · Scholar 검색

Software Development Methodology II

• A Method of Software Requirements Definition in Process Control — Y. Matsumoto · Scholar 검색
• A Complexity Measure Applied to FORTRAN — J. M. Zolnowski and D. B. Simmons · Scholar 검색
• Program Complexity and Programmer Productivity — E. T. Chen · Scholar 검색
• On the Implementation of N-Version Programming for Software Fault-Tolerance During Program Execution — A. Avizienis and L. Chen · Scholar 검색

Real-Time Applications-Electronic Switching Systems II

• System Century DCO Call Processing Software Structure and Operation — J. W. Woodward · Scholar 검색
• System Century DCO Network and Preprocessor Control Software — R. Lanham and T. Vojir · Scholar 검색
• Software for Distributed Processor Controlled Switching Systems — C. J. Hughes and J. Garrett · Scholar 검색
• Some Characteristics of Electronic Switching System Main Program Task Scheduling — G. W. Richards, J. C. Warner and J. E. Brand · Scholar 검색
• Structured Design of Electronic Switching System Software — E. Iwabuchi, K. Soga and Y. Kawai · Scholar 검색

Medical Information Processing

• Automated Recognition and Classification of Independent Observations Contained in Medical Documents — E. Vaccari and W. Delaney · Scholar 검색
• An Approach to Data Validation and Query Translation in the Medical Information System Environment — S.-K. Chang and J. S. Ke · Scholar 검색
• Computer Analysis of Electrocardiograms — R. A. Dunn and H. V. Pipberger · Scholar 검색
• Computer-Aided Medical Diagnosis: RHYP3 - A Causal Model of the Diagnosis and Treatment of Renovascular Hypertension — K. H. Smith Jr. · Scholar 검색

Software Error Data Acquisition Effort-Past, Present and Future

• The Design of a Software Analysis Center — L. M. Duvall · Scholar 검색

Software Life Cycle Modeling

• System Life Cycle Estimation (SLICE): A New Approach to Estimating Resources for Application Program Development — A. L. Kustanowitz · Scholar 검색
• Organizational Strategies for Producing Better Software — W. F. Sampson, T. J. Little and G. C. Dodson Jr. · Scholar 검색

Software Design Methodology I

• State Machines and Their Semantics in Software Engineering — A. B. Ferrentino and H. D. Mills · Scholar 검색
• A View of Database Structure Design — A. Merten and L. Oberlander · Scholar 검색

Query and Data Independence

• A Methodology for the Design of Generalized Query Processors for CODASYL Databases — D. R. Dolk and M. E. Loomis · Scholar 검색
• Relational Views in a Data Base Support for Queries — C. Zaniolo · Scholar 검색
• A Canonical Representation for the Relational Schema and Logical Data Independence — E. A. Lewis, L. C. Sekino and P. D. Ting · Scholar 검색

Medical Image Processing Software

• Image Analyzing Software System for Cytology — P. H. Bartels and G. L. Wied · Scholar 검색
• A Software System for High-Speed Blood Cell Analysis — K. Preston Jr. · Scholar 검색
• Reconstruction Software for Computerized Tomography — J. M. S. Prewitt · Scholar 검색
• Software for the Automatic Analysis of Chest X-Ray Images — H. Wechsler · Scholar 검색

Advances in Real-Time Computing I

• Analysis of Real Time Systems by Data Flowgraphs — U. R. Kodres · Scholar 검색
• Computer-Assisted Intelligence Graphic Support in the Fleet Command Center — J. T. Ackerson · Scholar 검색
• A Real-Time Team-Architecture Computer System for General Aviation — T. M. McCalla Jr. · Scholar 검색

Software Testing I

• Software Testing In Support of Worldwide Military Command and Control System ADP — J. A. Painter · Scholar 검색
• Software Test Management — F. J. Mullin · Scholar 검색
• The Control of a Software Test Process — R. Carey and M. Bendick · Scholar 검색

Software Design Methodology II

• Network: A Multiprocessor Program — P. B. Hansen · Scholar 검색

Data Security and Protection

• A Framework for Data Base Protection and its Application to the Ingres and System R Data Base Management Systems — D. McLeod · Scholar 검색
• Dynamics of Database Protection Enforcement - A Preliminary Study — H. R. Hartson · Scholar 검색
• An Experiment in Database Access Control — F. Manola and D. K. Hsiao · Scholar 검색

Image Analysis and Generation I

• A Virtual Memory Computer Systems for Image Processing — A. E. Akers, E. Persoon and K. S. Fu · Scholar 검색
• Software for Real-Time Image Generation — J. Staudhammer · Scholar 검색
• Three-Dimensional Graphic Input Using Recursive Instancing — N. Weingarten and D. P. Greenberg · Scholar 검색

Advances in Real-Time Computing II

• Reliable Computer System for Storage Control in a Steel-Mill — A. Jaeschke · Scholar 검색
• Research Flight Software Engineering and Must, An Integrated System of Support Tools — T. A. Straeter, E. C. Foudriat and R. W. Will · Scholar 검색
• Modularity Considerations in Real Time Operating System Structures — N. F. Schneidewind · Scholar 검색

Software Testing II

• The Detection of Unexecutable Program Paths through Static Data Flow Analysis — L. J. Osterweil · Scholar 검색
• The NBS Validation Routines For the BASIC Language — D. E. Gilsinn, I. T. Hardy and C. L. Sheppard · Scholar 검색
• A Test Case Selection Method for the Validation of Software Maintenance Modifications — K. F. Fischer · Scholar 검색

Software Design and Testing Tools

• Performance Analysis As a Software Design Tool — T. J. Gilkey, J. R. White and T. L. Booth · Scholar 검색
• Software Development by Evaluation of System Designs — D. L. Chester and R. T. Yeh · Scholar 검색
• Reliability of Symbolic Evaluation — W. E. Howden · Scholar 검색

Operating and Data Base Systems Interfaces

• A Note on Virtual Memory Indexes — K. Maly · Scholar 검색
• The Relationship Between Operating System and Database System Security: A Survey — E. B. Fernández and C. Wood · Scholar 검색
• Implementing Alerting Techniques in Database Systems — O. P. Buneman and H. L. Morgan · Scholar 검색

Image Analysis and Generation II

• Structured Merge Strategies for Image Segmentation — R. A. Jarvis · Scholar 검색
• Coding and Manipulating Maps — J. Jimenez and J. L. Navalon · Scholar 검색
• A Sentence-to-Sentence Clustering Procedure for Pattern Analysis — S. Y. Lu and K. S. Fu · Scholar 검색

Programming Languages

• Non-Procedural Computer Programming with Model — S. Shastry, N. Prywes and A. Pnueli · Scholar 검색
• ULANG: A Generator for Command-Language Applications — I. F. Freibergs · Scholar 검색
• On the Input/Output Mechanism in Concurrent Pascal — A. Silberschatz · Scholar 검색

Software Maintenance

• Software Maintenance Planning for Embedded Computer Systems — W. K. Sharpley Jr. · Scholar 검색
• ISSUE: An Information System and Software Update Environment — R. S. Kaplan · Scholar 검색
• Major Issues Involving the Development of an Effective Management Control System for Software Maintenance — R. C. Fink · Scholar 검색

Modular Program Design

• An Approach to the Engineering of Data Processing Programs — S. A. Schuster and E. Reghbati · Scholar 검색
• On Optimal Module Size with Respect to Compilation Cost — J. L. Elshoff · Scholar 검색
• Analyzing the Modular Design of FORTRAN Programs — L. E. Self and E. W. Davis · Scholar 검색

Distributed Data Bases

• Logical Design Considerations for Distributed Data Base Systems — P. G. Hebalkar and C. Tung · Scholar 검색
• Analysis of Serializability in SDD-1: A System for Distributed Databases (The Fully Redundant Case) -- Extended Abstract — P. A. Bernstein, C. A. Papadimitriou, J. B. Rothnie and N. Goodman · Scholar 검색
• The Redundant Update Methodology of SDD-1: A System for Distributed Databases (The Fully Redundant Case) -- Extended Abstract — J. B. Rothnie, N. Goodman and P. A. Bernstein · Scholar 검색

Computer Control of Complex Energy Systems

• Some Salient Features of the U.S. Electric Power Systems — A. C. M. Chen · Scholar 검색
• Computerized Building Management and Control for Maximum Energy Conservation — D. P. Jen · Scholar 검색
• Computer Control in a Combined Cycle Power Plant — R. Uram · Scholar 검색
• Computer Monitoring of Boiling Water Reactors — J. N. Shukla and J. E. Hogan · Scholar 검색
• A Methodology for the Development and Validation of Critical Software for Nuclear Power Plants — A. B. Long, C. V. Ramamoorthy, S. F. Ho, H. H. So, H. L. Reeves and E. A. Straker · Scholar 검색

Verification and Validation

• Automated Techniques for Static Structural Validation of Programs — W. T. Chen, C. V. Ramamoorthy and S. T. Huang · Scholar 검색
• The Correctness of Programs Written in the Language KL-1 — T. E. Lindquist and R. F. Keller · Scholar 검색

Software Requirements Analysis

• Automating the Software Design Process for Management Information Systems — M. Morgenstern · Scholar 검색

Advanced Information Systems

• An Approach for Communicating with Data Bases Using English Queries — J. Kirby and R. L. Kashyap · Scholar 검색
• A Non-Procedural Self-Optimizing Information Retrieval System — L. E. Winslow and H. W. Davis · Scholar 검색
• Advances in Card-Based Electronic Funds Transfer Systems — D. Punj · Scholar 검색
• Advances in Manufacturing and Distribution Systems — A. D. Crescenzi · Scholar 검색

Information Processing Algorithms

• A Heuristic Morphological Analyzer for Natural Language Understanding Programs — N. Cercone · Scholar 검색
• An N-Log-N Single Pass Clustering Algorithm — R. E. Williamson · Scholar 검색
• Finite State Techniques in Software Engineering — E. J. Wilkens · Scholar 검색

Computer-Assisted Management Decision- Making I

• Development of a Corporate Information System — J. M. Blin, E. A. Stohr and M. Tanniru · Scholar 검색

Transportable Software

• Transporting a Software System Between Alien Large Computer Systems — A. J. LeClair · Scholar 검색

Computer Network Design, Security and Control

• Distributed Control Schemes for Multiple-Copied File Access in a Network Environment — C.-H. Lee, R. Shastri and R. Metzger · Scholar 검색
• Design of a Distributed Data Base File Manager for a Mini-Computer Network — S. A. Mahmoud, J. S. Riordon and K. C. Toth · Scholar 검색
• Cooperative Authorization in Computer Systems — N. Minsky · Scholar 검색

Computer-Assisted Management Decision-Making II

• Some Perspectives on Computerized Management Decision Making Systems — M. S. S. Morton · Scholar 검색
• A Theoretical Design for a Decision Support System — R. H. Bonczek, C. W. Holsapple and A. B. Whinston · Scholar 검색

Messages, Communications, and Networks

• Datapac Software Architecture — I. M. Cunningham, W. J. Older and A. K. Trivedi · Scholar 검색
• An Approach to the Specification of Computer Communication Protocols — A. E. Itzkowitz · Scholar 검색
• Evolutionary Distributed Systems Design — R. desJardins · Scholar 검색
• A Message-Switched Operating System for a Multiprocessor — C. J. Bedard, F. Mellor and W. J. Older · Scholar 검색

Requirements Engineering in Realtime Systems

• Special Purpose Logic-Enhanced Memories — P. T. Alexander, E. R. Buley and E. Hatt Jr. · Scholar 검색
• Adaptive Pattern Recognition and Learning Software for Real-Time Control — M. Newhouse, M. Ben-Bassat and E. I. Bailis · Scholar 검색

Data Structures in Applications

• A Memory Structure of Empirical Design for Question-Answering — A. S. Ben David · Scholar 검색
• Data Environment for a Laboratory Film Analysis System — M. J. Potel and R. E. Sayre · Scholar 검색
• The Theory of Questionnaires with Applications to Data Management — M. E. Stickney Jr. · Scholar 검색

Computer Applications in Computerized Tomography

• Computational Problems in Computerized Tomography — A. C. M. Chen · Scholar 검색