compsac 1986

10th Annual International Computer Software and Applications Conference (COMPSAC 1986)

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

Minireview - Software Productivity Metrics

• Minireview of Software Productivity Metrics — J. K. Navlakha · Scholar 검색

Software Applications

• Evaluation of Ada from the Viewpoint of Control Engineering — W. A. Halang · Scholar 검색
• Software Architecture for Advanced Communication Systems — N. Aritaka, Y. Fujii, K. Yamaguchi and S. Morita · Scholar 검색
• A User-Oriented Analysis of File Usage in UNIX — M. V. Devarakonda and R. K. Iyer · Scholar 검색

The ESPRIT Software Project Support Environment Program

• Integrated Project Management Systems — J. Hawgood · Scholar 검색
• The ESPRIT Software Technology Programme — P.-Y. Cunin · Scholar 검색
• The PCTE Project: Towards a Standard Interface for Software Engineering Tools — J. P. Bourguignon · Scholar 검색
• Software Production and Maintenance Management Support — C. R. Hort · Scholar 검색

High Performance Distributed Computer Systems

• Global State Identification for Load Balancing in a Computer System with Multiple Contention Busses — J.-Y. Juang and B. W. Wah · Scholar 검색
• Optimistic Concurrency Control-Schemes for Performance Enhancement — M. A. Bassiouni and U. Khamare · Scholar 검색
• A Dynamic Task Scheduling Algorithm for Symmetric and Homogeneous Distributed Systems — A. Ghafoor and R. Inamdar · Scholar 검색

Knowledge-Based Systems

• Modularizing OPS-Based Expert Systems Under UNIX — P. Surko · Scholar 검색
• Space Shuttle Main Engine Test Analysis: A Case Study for Inductive Knowledge-Based Involving Very Large Data Bases — D. Asgari and K. L. Modesitt · Scholar 검색
• A Knowledge-Based Software Maintenance Environment — S. S. Yau and S.-S. Liu · Scholar 검색
• A Framework for Extending Information Systems with Knowledge Based Processing Capabilities — A. V. Lazzara, J. Marcinkowski, G. Capraro, R. Liuzzi and R. White · Scholar 검색

Panel: Software Quality Management: USA and Japanese Perspectives

• Software Quality Management (American and Japanese Perspectives) — J. P. Cavano · Scholar 검색
• Software Quality Assurance in a Software Factory System — K. Yasuda · Scholar 검색

Development Environments and Tools

• AISPE: An Advanced Industrial Software Production Environment — G. Bruno, P. Spiller and I. Tota · Scholar 검색
• Automating Structured Analysis — A. Hecht, A. Simmons and B. J. Ackerman · Scholar 검색
• A Generation System for Language-Oriented Editors — T. Tenma, H. Tsubotani, M. Tanaka and T. Ichikawa · Scholar 검색

Distributed Systems

• The Design of an Adaptable Distributed System — B. Bhargava and J. Riedl · Scholar 검색
• Discrete Event Simulation in a Distributed System — K. Venkatesh, T. Radhakrishnan and H. F. Li · Scholar 검색
• A Distributed Specification Model and its Prototyping — Y. Wang · Scholar 검색

Reasoning Techniques for Knowledge-Based Systems

• An Evaluation of Two New Inference Control Methods — Y. H. Chin and W. L. Peng · Scholar 검색
• Learning Dominance Relations in Combinatoral Search Problems — C.-F. Yu and B. W. Wah · Scholar 검색
• Fuzzy Reasoning Based on X-LH-Resolution — X.-H. Liu, C. K. Chang and J. J.-P. Tsai · Scholar 검색

Measurement Tools

• Software Quality Measurement Tools and Techniques — D. A. Cerino · Scholar 검색
• The Effective Configuration Management Environment — M. W. Evans and G. W. Furr · Scholar 검색

Panel: Software Teams and Quality

• Team Operations and Quality — F. T. Baker · Scholar 검색
• Software Quality and Jungian Psychological Type — E. A. Buie · Scholar 검색
• Quality Assurance and Software Reuse Activities with Multi-Firm Joint Teams — S. Isoda · Scholar 검색

Minireview - Software Requirements Specification

• Tutorial on Requirements Specification — P. C. Jorgensen · Scholar 검색

Panel: The Impact of Knowledge-Based Technology

• COMPSAC 86 Panel Discussion on the Impact of Knowledge Based Technology — C. K. Chang · Scholar 검색

Requirements Specifications

• The Use of Formal, Requirements Specifications in EDE in a Software Development Environment — M. Goedicke · Scholar 검색
• Complete Specifications and the Sorcerer's Apprentice Problem — P. C. Jorgensen · Scholar 검색
• Requirements Clustering for Incremental Construction of Software Systems — P. Hsia, A. T. Yaung and S. H. Jiam · Scholar 검색

Communications Protocols

• Synthesis and Performance of Two-Party Error-Recoverable Protocols — C. V. Ramamoorthy, Y. Yaw, W. T. Tsai, R. Aggarwal and J. Song · Scholar 검색
• FLUIDE: A Multiple Data and Control Flow Computing Organization — J. J. Skubich · Scholar 검색
• A New Algorithm for Fast Protocol Validation — Y. Kakuda, Y. Wakahara and M. Norigoe · Scholar 검색

Complexity Metrics

• An Approach To Measuring Data Structure Complexity — W. T. Tsai, M. A. Lopez, V. Rodriguez and D. Volovik · Scholar 검색
• On Complexity Metrics Oriented for Distributed Programs Using Ada Tasking — S. M. Shatz · Scholar 검색

Software Reliability

• The Trouble with Software Reliability — G. G. Schulmeyer and H. B. Chenoweth · Scholar 검색
• New Directions in Software Reliability Analysis — H. B. Chenoweth and G. G. Schulmeyer · Scholar 검색

Panel: Real-Time Requirements Methods Demonstrated

• Real Time Requirements Demonstrated — D. Utter · Scholar 검색
• The NRL Software Cost Reduction Project Requirements Specification Methodology — S. R. Faulk · Scholar 검색
• A Structured Method for Real-Time and General Systems Development — D. J. Hatley · Scholar 검색
• A Unified Methodology for Developing Systems — J. E. Stockenberg · Scholar 검색
• Panel Problem: Software Controller for an Oil, Hot Water Home Heating System — S. White · Scholar 검색

Panel: Supercomputing for Software Applications

• Impacts of GaAs Technology on Computer Design — V. Milutinovic · Scholar 검색

Reusability of Program Code

• SoftDA - A Reuse-Oriented Software Design System — S. Yamamoto and S. Isoda · Scholar 검색
• The C Information Abstractor — Y.-F. Chen and C. V. Ramamoorthy · Scholar 검색
• Support for Reusability in Genesis — C. V. Ramamoorthy, V. Garg and A. Prakash · Scholar 검색

Size Metrics

• A Synthesis of Software Science Metrics and the Cyclomatic Number — B. Ramamurthy and A. Melton · Scholar 검색
• How to Measure Software Size, and How Not To — A. V. Levitin · Scholar 검색
• Software Development Effort Prediction Based on Function Points — G. J. Knafl and J. Sacks · Scholar 검색

Panel: Fourth Generation Languages

• Fourth Generation Languages — A. Pahwa · Scholar 검색
• Visual-Programming: The Future of Fourth Generation Languages — M. A. Hanner · Scholar 검색

Minireview - Transition to Workstations

• Transition To Workstations — A. Rudmik, M. Barkl and M. Fenlon · Scholar 검색

Database Techniques and Applications

• A Multimedia Document Base System for Office Work Support — A. Kaneko and Y. Hara · Scholar 검색
• Multidimensional Timestamp Processing — B. Bhargava and P.-J. Leu · Scholar 검색
• Evaluating Database Update Schemes: A Methodology and its Applications to Distributive Systems — K. C. Kinsley and C. E. Hughes · Scholar 검색
• Fast Automata Solutions to the Equal Partitioning Problem — B. J. Oommen and D. C. Y. Ma · Scholar 검색

Metric Experiments

• Software Metrics Interpretation through Experimentation — V. Rodriguez and W.-T. Tsai · Scholar 검색
• A Model for Estimating the Cost of Typographical Errors in Software Development — F. B. Tatom · Scholar 검색
• The Relationship Between Program Complexity and Slice Complexity During Debugging Tasks — H. D. Longworth, L. M. Ottenstein and M. R. Smith · Scholar 검색

Minireview - Software Maintenance

• Sustaining Maintainable Software — W. M. Osborne · Scholar 검색

Panel: Visual Programming: Possibilities and Limitations

• COMPSAC 86 Panel Session on Visual Programming: Possibilities and Limitations — T. D. Kimura · Scholar 검색
• Computing with Objects: A New Dimension in Visual Programming — R. B. Grafton · Scholar 검색
• Visual Programming-In-the-Large: A Practical Concept? — G. P. Brown · Scholar 검색
• Visual Programming for Real: Conceptual Programming — S. P. Reiss · Scholar 검색
• Interactive, Graphical Programming Environments: Six Open Problems and a Possible Partial Solution — E. P. Glinert · Scholar 검색
• An Algebraic Approach to Visual Programming — B. J. MacLennan · Scholar 검색

Fault Tolerant Systems, I

• On Testing of Functionally Equivalent Components of Fault-Tolerant Software — M. A. Vouk, M. L. Helsabeck, K.-C. Tai and D. F. McAllister · Scholar 검색
• Structuring Concepts for Robust Applications — S. Pfleger · Scholar 검색
• A Design Method for Recoverable Distributed Communication Systems — C. K. Chang and T. M. Jiang · Scholar 검색

Panel: Automating the Configuration Management Process

• Automating the Configuration Management Process — M. W. Evans and G. W. Furr · Scholar 검색
• A Software Change Control System — S. M. Christiansen · Scholar 검색
• Change and Configuration Control — L. Presser · Scholar 검색
• Configuration Management — W. W. Royce · Scholar 검색

Software Development and Maintenance

• An Evolution Model for Software Maintenance — S. S. Yau, R. A. Nicholl and J. J.-P. Tsai · Scholar 검색
• A Survey of Program Design Languages (PDLs) — B. A. Nejmeh and H. E. Dunsmore · Scholar 검색
• An Introduction to Software Engineering Environments — E. Fedchak · Scholar 검색

Visual Programming Techniques and Applications

• The Tinkertoy Graphical Programming Environment — M. Edel · Scholar 검색
• Parsing Two-Dimensional Languages — W. D. Gillett and T. D. Kimura · Scholar 검색
• listof: A Pragmatic Consideration On setof — X. Zhiliang and Y. Gang · Scholar 검색

Fault Tolerant Systems, II

• Reliability Analysis of a Three-Version Software System — J. R. Dunham and L. A. Lauterbach · Scholar 검색
• Routing and Scheduling File Transfers in a Network with Time Constraints — K. Sugihara · Scholar 검색
• Model for Execution Time Behavior of a Recovery Block — A. K. Deb and A. L. Goel · Scholar 검색