compsac 1978

2nd Annual International Computer Software and Applications Conference (COMPSAC 1978)

• 장소·일정: Chicago, Illinois, USA, Nov 13–16, 1978
• 논문: 145편 (IEEE Xplore 143편, 무료 사본 10편)

Management of Computers and Computer Projects

• A Management Approach to Total Computer Productivity at Goddard Space Flight Center — E. P. Damon
• Managing Large Scale Software Development with an Automated Change Control System — H. A. Bauer and R. H. Birchall
• Managing Software Development - Requirements to Delivery — J. B. Synnott
• Short COBOL - A Practical Tool to Reduce Tedious Programming Procedures — K. Shizuka and S. Sakashita

ASSET: A Modern Computer Aided Software Environment

• ASSET: A Lifecycle Verification and Visibility System — L. J. Osterweil, J. R. Brown and L. G. Stucki
• A Facility for Verification, Testing and Documentation of Concurrent Process Software — R. N. Taylor and L. J. Osterweil
• A System for Analysis and Verification of Software Design — L. S. Hammond, D. L. Murphy and M. K. Smith
• SAMM: A Modeling Tool for Requirements and Design Specification — S. S. Lamb, V. G. Leck, L. J. Peters and G. L. Smith

Software Maintainability

• Software Maintainability: A Practical Concern for Life-Cycle Costs — J. B. Munson
• Ripple Effect Analysis of Software Maintenance — S. S. Yau, J. S. Collofello and T. MacGregor
• Availability and Other Performance Measures of Software Systems Under Imperfect Maintenance — K. Okumoto and A. L. Goel

Operating Systems and Languages

• Working Sets Today — P. J. Denning
• EPLX: A High Level Language for Electronic Switching Systems — S. G. Chappell, N. Guttman, W. H. Jessop and T. L. Shockey
• A General Purpose Microcode Assembler — J. T. Beckett and S.W. Ng
• Management Planning for Large Software Projects — C. L. McGowan

Microprocessors: Filling the Software Gap

• Closing the Software Gap for Interactive Mini/Microcomputation: Direct Execution of Microprogrammed Block-Diagram Primitives — G. A. Korn
• A Microprocessor Operating System for Real-Time Applications — D. A. Anderson
• Software Development for Microprocessors - A Case Study — F. A. Salomon

Management Aspects of Software Methodology

• Program Testing - An Overview for Managers — E. F. Miller
• Interprocedure Structure — Y. Chu
• Management Prediction - Can Software Science Help? — M. H. Halstead

Modeling and Software Design

• Realization Considerations for Dynamic Performance Analysis in Automated Software Design — C.A. Wiecek and T. L. Booth
• A Relational View of a Software Design Model — T. G. Glagowski and J. R. White
• Towards the Performance Evaluation of Distributed Computing Systems — C. Whitby-Strevens
• Software Evolution Using the SEER Data Base — E. C. Van Horn

Software Testing

• Toward a Better Method of Software Testing — T. G. Hallin and R. C. Hansen
• An External Debugging System for Weapon System Programs Written in a Higher Level Language — J. A. Gaines · 무료 사본 · zenodo.org
• An Approach to Real-Time Control Flow Checking — S. S. Yau, F. C. Chen and K. H. Yau
• Analysis of Software Design Modeled by Multiple Finite State Machines — T. S. Chow

Software and Applications for Attached Arithmetic Processors

• The Design of a High-Speed Arithmetic Processor — G. P. O'Leary
• FORTRAN Subroutine Initialization and Communication in a Two Processor Environment — T. Pettibone
• Sparse Matrix Calculations Using an Array Processor — R. S. Norin
• Simulation of Relativistic Electron Beams on an AP-120B — B.N. Moore and R. Penumalli

Security and Privacy

• Security and Privacy — G. I. Davida, D. L. Wells and J. B. Kam
• Example of a Formal Flow Violation — J. K. Millen
• Recent Progress in Secure Computation — R. A. DeMillo and D. Dobkin
• A Method for Maintaining Routing Data in Automated Record Keeping Systems — D. E. Denning
• Operating System Security - A Tutorial of Current Research — D. K. Hsiao, D. S. Kerr and S. E. Madnick
• Technical Aspects of Privacy Protection — R. Turn

Software Development Approaches

• Complementary Approach to the Effective Software Development Environment — Y. Nakamura, R. Miyahara and H. Takeuchi
• System Requirements Specification for Real-Time Systems — J. L. Uhrig
• Small Business Applications for Microcomputers — A. Schlukbier
• Data Structures, Types and Abstractions — K. S. Shankar

Distributed Data Processing

• Decentralized Executive Control in Distributed Computer Systems — W. E. Boebert, W. R. Franta, E. D. Jensen and R. Y. Kain
• A Distributed Multiprocessor Traffic Control System — H. F. Li and C. C. Lau
• Information System for Steel Distribution in India: DDP As an Appropriate Technology — J. G. Krishnayya and N. Viswanathan
• Data Sharing Protocols: Structure, Requirements and Interrelationships — S. R. Kimbleton · 무료 사본 · zenodo.org

Topics on Distributed and Relational Data-Base Design

• Design of a Distributed Entity-Relationship Database System — Y. E. Lien and J. H. Ying
• An Effective "On-Line" Deadlock Detection Technique for Distributed Data Base Management Systems — S. S. Isloor and T. A. Marsland
• CLIO - A Relational Data Base Management System — P. S. Para
• REDAS - A Relational Data Access System for Real-Time Applications — J. R. McSkimin

Process Computer Software - Languages and Maintenance

• Realtime Programming Language P E A R L - Concept and Characteristics — T. Martin
• Process Control Languages - Designer's Perspective of Adequacy and Future Requirements — I. L. Shaw, W. A. Edblad and A. M. Pavlovic

Software Testing and Analysis

• Testing: Achievements and Frustrations — L. A. Clarke
• Test Reliability and Software Maintenance — R. Hamlet
• Functional Program Testing — W. E. Howden

The Software Development System - Experience and Evolution

• The Software Development System: Status and Evolution — C. G. Davis and C. R. Vick · 무료 사본 · zenodo.org
• Software Requirements Engineering Methodology (SREM) at the Age of Two — M. W. Alford
• Experience Utilizing Components of the Software Development System — P. C. Belford

A Distributed Data Processing Development Technology

• The Advanced Data Processing Testbed — W. C. McDonald and J. M. Williams
• Distributed Data Processing Requirements Engineering: High Level DDP Design — D. F. Palmer and W. M. Denny
• Distributed Data Processing System Design - A Look at the Partitioning Problem — J. T. Lawson and M. P. Mariani
• Distributed Data Processing Design Evaluation through Emulation — H. Fitzgibbon, B. Buckles and J. Scalf

Data Base Design

• A Multi-Level Approach to Data Base Design — R. T. Yeh, P. Chang and C. Mohan
• Obtaining Data Base Management System Independence — D. O. Knudson
• An Architecture for Evolutionary Database System Design — T. L. Kunii, J. C. Browne and H. S. Kunii
• A Software Engineering Approach to Data Base Systems — H. Weber

Current Software Tools

• SPS: A Software Production System for Mini-Computers and Micro-Computers — Y. Matsumoto, S. Nakajima, S. Yamamoto and T. Sakai
• A Programmable System for Software Configuration Management — D. Johnson, C. Kolberg and J. Sinnamon
• Tools and Techniques for Implementing a Large Compiler on a Small Computer — C. L. Braun and B.L. Wolman
• How Changing Technology Should Effect Computer Science and Engineering Education — J. D. Grimes

Modeling Aspects of Software Development

• Data Independent Hierarchies — R. G. Kayel
• A Decomposition of the Complexity of System Development Processes — D. R. Fitzwater
• The Structured Design of a Data Compression Program — R.A. Thompson

Contribution of Modular Computer Systems to Software Engineering

• Experience with the DATATRAN System — H. J. Kopp
• Modular Design of Minicomputer Applications — J. W. Tippie
• The Modularity of MSC/NASTRAN — J. F. Gloudeman
• The JOSHUA Modular Data-Based System — H. C. Honeck and M. M. Anderson

Query Languages and Retrieval Techniques

• A Generalized Implementation Method for Relational Data Sublanguages — L. L. Beck
• Best-Match Querying in General Database Systems - A Language Approach — C.-S. Yang and G. Salton
• Applications of Superimposed Coding to Partial-Match Retrieval — J. D. Gabbe, T. B. London, R. E. Miller and J. D. Beyer
• A Nearest Neighbor Search Technique with Short Zero-In Time — C. W. Shen and R. C. T. Lee

Software Tools: Integration with Methodology

• An Approach to Software Testing: Methodology and Tools — R. R. Bate and G. T. Ligler
• Security Aspects of Higher Order Software — S. Cushing
• The Software Configurator: An Aid to the Industrial Production of Software — F. Liguori and F. A. Schreiber

Software Methodology and Tactical Computer System Development

• The Use of Software Reliability Measures in Project Management — J. D. Musa
• Life Cycle Support of Navy Airborne Antisubmarine Warfare Tactical Software — W. R. Bogdon · 무료 사본 · zenodo.org
• Restructuring the Navy Tactical Data System — G. S. Garmon
• Software Engineering of the Micro/Mini Computer Subnet in Computer Networks — N. F. Schneidewind · 무료 사본 · zenodo.org

Distributed System Software

• A Case Study in Real-Time Distributed Processing Design — F. Stepczyk
• Computerized Control and Protection of Electric Power Distribution System — A. C. M. Chen

Software Testing Tools

• Limits to Program Testing with Random Number Inputs — P. B. Moranda
• An Analytical Approach to Software Testing — M. R. Paige
• Dynamic Validation of Programs Using Assertion Checking Facilities — W.-T. Chen, J.-P. Ho and C.-H. Wen
• JAVS: A JOVIAL Automated Verification System — C. Gannon

Software Standards

• The IEEE Standards Generation Process — J. R. Fragola
• RADC Software Development Specification — M. Landes · 무료 사본 · zenodo.org
• Developing a Standard for Software Quality Assurance Plans — F. Buckley

Software Reliability and Safety

• Safety Evaluation of Computer Hardware and Software — R. Konakovsky
• A User-Oriented Software Reliability Model — R. C. Cheung · Scholar 검색
• An Automated Data Collection System for the Study of Software Reliability — D. E. Wright and B. D. Carroll
• A Four-Project Empirical Study of Software Error Prediction Models — A. N. Sukert · 무료 사본 · zenodo.org

Communication Issues in Parallel and Distributed Systems

• Communication Issues in Parallel Algorithms and Systems — T. Agerwala and B. Lint
• Computer Communication Techniques — K. J. Thurber
• Kernel Primitives of the HXDP Executive — W. E. Boebert, W. R. Franta, E. D. Jensen and R. Y. Kain

Hardware/Software Tradeoffs: Different Perspectives

• Hardware/Software Trade-Offs: Hardware Design Viewpoint — K. J. Thurber and D. R. Anderson
• Hardware vs. Software Design Tradeoffs for Maintenance Functions in High-Reliability Real Time Systems — F. M. Goetz and D. C. Plisch

Trends for the 80's in Computer Science Education

• Programs in Software Engineering Education — D. C. Rine and G. Davida
• Computer-Assisted Data Communications Engineering Instruction — N. W. Styer and J. G. Bredeson

Software Applications I

• Design and Implementation of the 'S' System for Interactive Data Analysis — R. A. Becker and J. M. Chambers
• Computer Aided Automatic Digitizing of Engineering Drawings — W. Pferd and K. Ramachandran
• Process Construction - An Overview — L. R. Marker

Fault Tolerant Software

• Reconfiguration Stategies for the SIFT Fault-Tolerant Computer — C. B. Weinstock and M. W. Green
• Strategies for Structured and Fault-Tolerant Design of Recovery Programs — K. H. Kim, H. Hecht, J. Huang and M. Naghibzadeh
• Reliability in Terms of Predictability — M. Hamilton and S. Zeldin
• A Scheme for Tolerating Faulty Data in Real-Time Systems — J. G. Yee and S. Y. H. Su

Communication Processes

• A Survey of Communication Processor Systems — D. P. Agrawal, T.-Y. Feng and C.-L. Wu
• The Slotted Ring vs. the Token-Controlled Ring: A Comparative Evaluation — A. K. Agrawala, J. R. Agre and K. D. Gordon
• Design Rules for Producing Logically Complete Two-Process Interactions and Communications Protocols — P. Zafiropulo
• Design and Formal Specification of an X.25 Packet Level Protocol Implementation — S. Schindler, J. Didier and M. Steinacker
• What MININET Has Taught Us About Programming Style — J. Livesey and E. Manning

The Impact of Hardware Architecture on Future Data Base Management and Information Retrieval Systems

• Recent Developments in Data Base and Information Retrieval Hardware Architectures — P. B. Berra
• Directions for Memory Hierarchies and Their Components: Research and Development — A. J. Smith · Scholar 검색
• A Practical Text Search System for Unindexed Data — V. Mayper, L. S. Michels and A. L. Nagy
• A Data Base Machine Design and Evaluation Facility — R. A. Liuzzi and P. B. Berra

Overview of Distributed Processing

• A Formal Approach to the Design and Implementation of Network Communication Protocol — A. Y. Teng and M. T. Liu
• Near Optimal Behaviour of the Packet Switching Broadcast Channel — B. T. An and E. Gelenbe · 무료 사본 · inria.hal.science

Software Applications II

• Computer-Based Intelligent Information System — J. T. Tou
• A System for Labor Negotiations — Y. Wilamowsky, M. Shurin, A. Tenenbaum and G. Weinberger
• Business Graphics: Making Computers Work for Management — T. H. Bruggere

Software Engineering Experience

• A Management Methodology for Testing Software Requirements — K. W. Krause and L. W. Diamant
• Software Reliability and Maintainability in Large-Scale Systems — E. J. Strong
• Computer Program Development Analysis — S. Austin, D. MacCrone and J. P. Ryan
• Life Cycle Management Concepts for Air Force Computer Resources — C. E. Martin and R. F. O'Bleness · 무료 사본 · zenodo.org

Software Techniques for Reconfigurable and Dynamic Architecture

• Software Control and Program Design Issues for Alterable Architectures — J.-L. Baer
• Software Problems for Dynamic Architectures: Adaptive Assignment of Hardware Resources — S. P. Kartashev and S. I. Kartashev
• On Some Parallel Programming Techniques — G. J. Lipovski
• A Survey and Methodology of Reconfigurable Multi-Module Systems — F. Saheban and A. D. Friedman

The Impact of Changing Technology on Computer Education

• Impact of Changing Memory Technology on Computer Education — A. V. Pohm
• Continuing Education in Microprocessors: Use of Software Simulators — R. Vemuri and J. V. Cornacchio
• Computers and Society: Report of a Workshop — R. H. Austing and G. L. Engel

Software Applications III

• Software Technology for Scientific and Engineering Applications — M. A. Holthouse and S. G. Greenberg
• ASTMS and the Computing Industry — B. A. Wyld
• A Nontrivial Example of Concurrent Processing: Distributed Simulation — K. M. Chandy and J. Misra
• Example of an Early Sizing, Cost and Schedule Estimate for an Application Software System — L. H. Putnam · 무료 사본 · ntrs.nasa.gov