compsac 1985

9th Annual International Computer Software and Applications Conference (COMPSAC 1985)

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

Software Quality Analysis

• An Empirical Investigation: Software Errors and Their Influence Upon Development of WPADT — R. Z. Xu · Scholar 검색
• Customer Satisfaction As Software Value Index — F. Takei · Scholar 검색
• Maintenance Performance Ripple Effect Analysis for Real-Time Ada Programs — J. S. Collofello and D. L. McBride · Scholar 검색

Software Specification Techniques

• Requirements Model and Method of Requirements Definition — A. Ohnishi, K. Agusa and Y. Ohno · Scholar 검색
• TSS: A Tool of Requirements Specification and Analysis for Numerical Software — W. Yu · Scholar 검색
• Structured Real-Time Analysis and Design — T. J. McCabe, F. C. Joh Jr., K. A. Adams and A. M. Sturgill · Scholar 검색

New Software Technologies I

• Software Reuse via Source Transformation — S. K. Afshar · Scholar 검색
• Visual Debugger VIPS: Visual Representation of Program Execution — S. Isoda, T. Shimomura and Y. Ono · Scholar 검색
• Acquaintance/Instance Variable Model for Object-Oriented Programming — H. Tarumi, K. Agusa and Y. Ohno · Scholar 검색

Expert System Design Techniques

• A Generalization of the AO* Algorithm — V. Kumar, D. S. Nau and L. N. Kanal · Scholar 검색
• Parallel Processing of Serial Dynamic Programming Problems — G.-J. Li and B. W. Wah · Scholar 검색
• Function-Level Computing on the Brain Structured Computer — T. Nakamura, K. Sakai and Y. Mishina · Scholar 검색

Software Metrics I

• On Predicting Program Size by Program Vocabulary — A. V. Levitin · Scholar 검색
• Reliable Size Estimates for Software Systems Decomposed As State Machines — R. N. Britcher and J. E. Gaffney Jr. · Scholar 검색
• Metrics Guided Methodology — C. V. Ramamoorthy, W.-T. Tsai, T. Yamaura and A. Bhide · Scholar 검색

Software Design Techniques

• Reconfiguration of Communicating Sequential Processes by Process Merging — S. M. Shatz · Scholar 검색
• Precision Descriptions of Software Designs: An Example — P. Mateti and F. Hunt · Scholar 검색
• Behaviour Specification by Constraints — G. Lausen · Scholar 검색

Database Techniques I

• Performance Analysis of an Alternative Database Software Architecture for UNIX Systems — D. A. Troy · Scholar 검색
• Efficient Computation of Optimal Time for Transaction Processing in a Database System — W. Perrizo and D. A. Varvel · Scholar 검색
• A Randomizing Optimizer for Hierarchical Direct Access Method — S.-H. L. Tsay, P. Tsay and P. A. Ng · Scholar 검색

Real-Time Systems

• Performance Analysis Techniques and Tools to Aid the Design of Distributed Software Systems — K. T. Yetongnon, B. R. Hewston and T. L. Booth · Scholar 검색
• SARTOR - A Design Environment for Real-Time Systems — A. K. Mok · Scholar 검색
• A Distributed Real-Time Testbed Using a Time-Sharing Computing System — K. H. White and M. C. Paulk · Scholar 검색

Software Reliability and Quality Assurance

• An Introduction to the Panel on Software Reliability and Quality Assurance Session I: Software Reliability — A. L. Goel · Scholar 검색
• A Software Reliability Measurement Methodology — J. P. Cavano · Scholar 검색
• Certifying the Reliability of Software — P. A. Currit, M. Dyer and H. D. Mills · Scholar 검색

Software Factory: Its Human Factors

• Panel Session on Software Factory, Its Human Factors — M. Azuma · Scholar 검색
• Division of Intellectual Work in Software Development — K. Kobayashi · Scholar 검색
• Cognitive Engineering Issues in the Design and Operation of Software Factories — G. Salvendy, W. K. LeBold and R. Koubek · Scholar 검색
• Human Factors Approach to Improve the Environment in Software Factory — A. Komatsubara · Scholar 검색

Software Reuse: Where Are We Going?

• Software Reuse: Where Are We Going? — P. C. Grabow · Scholar 검색
• Design Considerations for Reusable Software — T. P. Bowen · Scholar 검색
• Reusable Software Requirements Documents — D. F. Utter · Scholar 검색
• Reusable Software - A Mission Critical Case Study — C. M. Anderson and D. G. McNicholl · Scholar 검색
• Approaches to Software Reusability in Telecommunications Software System — S. Machida · Scholar 검색
• Reusable Software Implementation Technology: A Review of Current Practice — C. Huang · Scholar 검색

Communication Software Architecture for Distributed Systems

• Communication Software Architecture for Distributed Systems — T. Nakamura · Scholar 검색
• Software Architecture for a High Performance Data Communications Network — S. Joshi, H. Hsiung and J. Vij · Scholar 검색

Software Metrics II

• Definition and Design of a Tool for Program Control Structure Measures — J. W. Howatt and A. L. Baker · Scholar 검색
• Finding Relationships Between Effort and Other Variables in the SEL — V. R. Basili and N. M. Panlilio-Yap · Scholar 검색
• Programmer's Experience As a Classification Variable in Statistical Analysis of Software Data — J. L. Romeu · Scholar 검색

Software Engineering Management

• Statistics Collected on Hours Worked on Software Quality Engineering Activities — G. G. Schulmeyer and W. C. Jones Jr. · Scholar 검색
• Research on Work Environment for Software Productivity Improvement — K. Honda, M. Azuma, A. Komatubara and Y. Yokomizo · Scholar 검색
• Jungian Psychological Type and Programmer Team Building — E. A. Buie · Scholar 검색

New Software Technologies II

• An Analysis of Software Structure Using a Generalized Program Graph — J. M. Bieman and N. C. Debnath · Scholar 검색
• An Analytical Estimation of Page Faults for Use in Program Restructuring — T. W. Dube and T. L. Booth · Scholar 검색
• Knowledge Representation of Software Life-Cycle Information Using First-Order Logic — S. S. Yau, J.-P. Tsai and R. A. Nicholl · Scholar 검색

Knowledge Based Applications

• A Multi-Paradigm Expert System for Maintenance of an Electronic Telephone Exchange — D. S. Prerau, A. V. Lemmon, A. S. Gunderson and R. E. Reinke · Scholar 검색
• ORACLE: A Knowledgeable User Interface — M. M. Matthews and G. Biswas · Scholar 검색
• Off-Line Programming of No-Pilot Vehicles on an Interactive Display System — C.-P. Pai and M.-Y. Chern · Scholar 검색

Software Testing

• Can Domain Testing Overcome Loop Analysis? — B. W. Wiszniewski · Scholar 검색
• On Testing Concurrent Programs — K.-C. Tai · Scholar 검색
• A Proposal for Structural Validation of Programs — R. Adamov · Scholar 검색
• Noninterference Software Debugging and Testing for Real-Time Systems — K.-Y. Fang and C. K. Chang · Scholar 검색

Software Development Environment I

• A Design of the Programming Environment STEP Based on Stepwise Refinement — M. Noro and K. Harada · Scholar 검색
• Incremental Evaluation of Attributed Grammars for Incremental Programming Environments — X. Jia and J. Qian · Scholar 검색
• An Integrated Software Production Environment for Automation Systems — G. Bruno and G. Marchetto · Scholar 검색

Database Applications

• Operational Technology Problems on Practical Database Systems in Japan and Their Structural Analysis — Y. Hayashi · Scholar 검색
• A Tool for Generating Semantic Database Applications — F. Maryanski and S. Hong · Scholar 검색
• AUGUST: An Experimental Expert System to Translate a Conventional File System into a Commercial Database System — K. H. Davis and A. K. Arora · Scholar 검색

Expert Programming User Interface

• A Frame-based Interface for Question-Answering Systems — T. Takagi, F. Matsuo and K. Ushijima · Scholar 검색
• Human Engineering Aspects of a Program Debugging Expert System — R. Lange and M. T. Harandi · Scholar 검색
• Disambiguating Help Queries for User-Friendly Interface — H. Senay and E. P. Stabler · Scholar 검색

Software Quality Engineering

• Software Quality Evaluation — J. McKissick Jr. · Scholar 검색
• Software Quality Evaluation in a Commercial Environment — P. C. Marriott · Scholar 검색
• Software Quality Evaluation Industry Perspectives — G. G. Schulmeyer · Scholar 검색
• The Role of Software Quality Metrics in the Software Quality Evaluation Process — G. E. Murine · Scholar 검색

Software Factories--US and Japan

• Software Factories - US and Japan — C. K. Chang · Scholar 검색
• Approach to a Software Factory in the Telecommunications Field — K. Nakamura · Scholar 검색

Impact of Government Software Engineering Environment Activities on Industry

• Impact of Government Software Engineering Environment Activities on Industry — A. Rudmik · Scholar 검색
• US Department of Defense Software Initiatives — G. B. Myers Jr. · Scholar 검색

Practical Problems in Distributed Software Development

• Practical Problems in Distributed Software Development — S. M. Shatz · Scholar 검색
• Distributed Programming — R. P. Cook · Scholar 검색
• Debugging Distributed Programs — R. J. LeBlanc · Scholar 검색
• Distributed Software Development - A Practitioner's View — M. P. Mariani · Scholar 검색

Fault Tolerant Software

• Analysis of an Inherently Fault Tolerant Program — F. B. Bastani and I. L. Yen · Scholar 검색
• Identification of Correlated Failures of Fault-Tolerant Software Systems — M. A. Vouk, D. F. McAllister and K.-C. Tai · Scholar 검색
• Implementation of Concurrent Programming Language Facilities Supporting Conversation Structuring — K. H. Kim, S. M. Yang and M. H. Kim · Scholar 검색

Software Development Environment II

• On Specifying an Environment — J. M. Purtilo · Scholar 검색
• An Overview of the VISE Visual Software Development Environment — A. K. Arora, D. K. Chan, J. C. Ferrans and R. Gordon · Scholar 검색
• GENESIS: An Integrated Environment for Supporting Development and Evolution of Software — C. V. Ramamoorthy, Y. Usuda, W.-T. Tsai and A. Prakash · Scholar 검색

Database Techniques II

• Concurrency During the Reorganization of Indexed Files — E. Omiecinski · Scholar 검색
• Highly Flexible Integration of the Locking and the Optimistic, Approaches of Concurrency Control — K. Vidyasankar and V. V. Raghavan · Scholar 검색
• Implicit Joins in the Multidatabase System MRDSM — W. Litwin · Scholar 검색

Practical Applications

• Total Research and Development Support System in the Steel Industry — A. Miyajima , M. Yoneya and Y. Motofuji · Scholar 검색
• Decision Support Approach for a Parts Inventory Control System — S. M. Wu and W. R. Kuo · Scholar 검색
• Hotel CAM Development — M.-J. Zhao · Scholar 검색