compsac 1987

Edit

11th Annual International Computer Software and Applications Conference (COMPSAC 1987)

장소·일정: Tokyo, Japan, Oct 7–9, 1987
논문: 109편 (IEEE Xplore 0편)
이 해의 논문은 Crossref에서 COMPSAC DOI를 찾지 못했다. 제목 옆 Scholar 검색 링크로 찾아볼 수 있다.

Software Design and Management

The Relationship Between Team Size, Experience, and Attitudes and Software Development Productivity — D. R. Jeffery · Scholar 검색
Designing a Software Factory by Environment Oriented Approach — K. Honda, M. Azuma, Y. Haizuka, S. Shirai and K. Nishimura · Scholar 검색
Rapid Prototyping for Risk Management — J. A. Clapp · Scholar 검색
Domain Analysis for Reusability — R. Prieto-Diaz · Scholar 검색
Direct Execution of a JSD Specification — J. Kato and Y. Morisawa · Scholar 검색
Prototyping a Software Information Base for Software Engineering Environments — J. H. Kuo and H.-C. Tu · Scholar 검색
Trend Toward Reusable Module Component: Design and Coding Technique 50SM — K. Matsumura, K. Furuya, A. Yamashiro and T. Obi · Scholar 검색
Full-Text Retrieval in Software Maintenance — S.-C. Chang and C. McGowan · Scholar 검색
FPE/1: An Incremental Programming Environment — J. Qian, X. Jia, F. Zhang and Q. Lu · Scholar 검색
Numerical Information Environment and Its Applications to Computational Science — M. Hatakeyama · Scholar 검색
Concord: A System of Imprecise Computations — K.-J. Lin, S. Natarajan, J. W.-S. Liu and T. Krauskopf · Scholar 검색
A Structural Operational Semantics for the Multitaskings in Concurrent Programming Systems — J. Shen · Scholar 검색
Incremental Flow Analysis and its Applications in Incremental Programming Environment — Q. Lu and J. Qian · Scholar 검색
A Planned Incremental Construction Method for Designing Software Systems — D. J. Chen, K. M. Kavi and P. Hsia · Scholar 검색
Software Quality Engineering and Structured Methods — K. A. Lysy · Scholar 검색
Version Control of Software Systems in the STEP Environment — M. Noro and K. Harada · Scholar 검색
System Analysis by Extended Data Flow Diagram with Events and Timing — K. Hashimoto · Scholar 검색
An Evaluation of CASE Tools — D. A. Troy · Scholar 검색
Implications for Formal Specifications: Results of Specifying a Software Engineering Tool — A. L. Baker, J. M. Bieman and P. N. Clites · Scholar 검색
ISE: A User Modeling Based Software Development System — J. J.-P. Tsai and O. S. Chan · Scholar 검색
Panel Session: Future Directions for Analysis and Design CASE Tools — J. W. Brackett, N. Murakami, A. B. Peyster and J. Tsuda · Scholar 검색
A New Design Approach for Automotive Engine Control Software — J. Miyao, K. Tominaga, T. Kikuno and N. Yoshida · Scholar 검색
Hichart - A Hierarchical Flowchart Description Language — T. Yaku, K. Futatsugi, A. Adachi and E. Moriya · Scholar 검색
GLAD: Graphics Language for Database — C. T. Wu · Scholar 검색
A Specification Compiler for Business Application: SPACE — M. Harada · Scholar 검색
Software CAD: A Generalized Environment for Graphical Software Development Techniques — K. Yabuta, A. Yoshioka and A. B. Peyster · Scholar 검색
Direct Manipulation and a Multi-Dimensional Approach to Visual Software Design — K. Kobayashi · Scholar 검색
Semantic Model Representation of File-Processing Software and its Application to Automate Program Generation — N. Mano · Scholar 검색
Software Development Standard 2167: Benefits and Pitfalls — P. Coad, R. E. Loesh, R. F. Schmidt, S. J. Whitney and C. Gladson · Scholar 검색

Software Quality and Testing

A Scheme for The Measurement of Software Productivity — J. K. Navlakha · Scholar 검색
An Automatic Program Generation System Based on Function Schema Base — T. Ajisaka, K. Agusa and Y. Ohno · Scholar 검색
A Design Methodology for the Utilization of Metrics Within Various Phases of Software Lifecycle Models — G. M. Pollock and S. Sheppard · Scholar 검색
Investigating Predictability of Program Size — A. V. Levitin · Scholar 검색
COMPSAC 87 Panel: Workstation Environment for Software Productivity — C. K. Chang, M. Aoyama, J. C. Chiang and J. T. L. Wang · Scholar 검색
MEBOW: A Comprehensive Measure of Control Flow Complexity — S. Jayaprakash, K. B. Lakshmanan and P. K. Sinha · Scholar 검색
Evaluation of Software Metrics Using Discriminant Analysis — V. Rodriguez and W. T. Tsai · Scholar 검색
A Program Complexity Model that Includes Procedures — P. B. Van Verth · Scholar 검색
Error Life Span and Programmer Performance — K. Matsumoto, K. Inoue, H. Kudo, Y. Sugiyama and K. Torii · Scholar 검색
A Strategy of Test Case Selection for Ada Distributed Programs — B. Zhou · Scholar 검색
A Method for Revalidating Modified Programs in the Maintenance Phase — S. S. Yau and Z. Kishimoto · Scholar 검색
Test Generation for Boolean Expressions — K.-C. Tai and H.-K. Su · Scholar 검색
Conceptual Support for Test Case Design — K. Tatsumi, S. Watanabe, Y. Takeuchi and H. Shimokawa · Scholar 검색
Practical Approaches to Domain Testing: Improvement and Generalization — A. K. Onoma, T. Yamaura and Y. Kobayashi · Scholar 검색
Test and Debugging Environment for Large Scale Operating Systems: OSTD — Y. Yoshizawa, T. Kubo, T. Satoh, K. Totsuka, M. Haraguchi and H. Moriyama · Scholar 검색
EAGLE/P: A Program Synthesizer System Using Original Component — Y. Morioka, H. Matsumoto , O. Ohno, M. Tsuda and H. Maezawa · Scholar 검색
A Model for the Testing Support Method with Sequences of a Directed Graph — Z. Furukawa and K. Ushijima · Scholar 검색
Enhanced Condition Table Method for Verification of Critical Software — A. Tai, M. Hecht and H. Hecht · Scholar 검색
Design and Evaluation of Executable Assertions for Concurrent Error Detection — K. A. Hua and J. A. Abraham · Scholar 검색
Reproducible Testing of Communication Software — K.-C. Tai and S. Ahuja · Scholar 검색
Software Project Management and Quality Control — K. Y. Fang and J. P. Tsai · Scholar 검색
Quality and Reliability Estimation for Large Software Projects Using a Time-Dependent Model — Y. Levendel · Scholar 검색
Byzantine Fault-Tolerance through Application Oriented Specification — B. M. McMillin and L. M. Ni · Scholar 검색
A Measurement-Based Model of Software Reliability in a Production Environment — M. C. Hsueh and R. K. Iyer · Scholar 검색
Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hypergeometric Distribution — Y. Tohma, K. Tokunaga, S. Nagase and Y. Murata · Scholar 검색
Software Metrics Applied to Ada — B. Mehndiratta and P. S. Grover · Scholar 검색
An Empirical Study of FORTRAN and Ada Program Reliability — A. L. Goel, J. Cavano, F. Y. Farhat and T. Little · Scholar 검색
Event-Driven Execution Monitor for Ada® Tasking Programs — J. Cheng, K. Araki and K. Ushijima · Scholar 검색

Databases and Distributed Processing

Element-Relationship-Mapping Model and its Application to Software Development — H.-Y. Xu and Y. Kambayashi · Scholar 검색
Extending External Views on a Link-Oriented Data Model — I. Fujishiro, Y. Shirai, H. S. Kunii and T. L. Kunii · Scholar 검색
Classification and Recognition of Acyclic Database Schemes Based on Intersection Graphs — Y. Y. Sung and P. A. Ng · Scholar 검색
On the Implementation of User Hierarchy Structure in Information Protection Systems — C. C. Chang · Scholar 검색
Data Structure and Format Conversion Using Syntactive Inference — M. M. Blattner, G. A. Darmohray and H. D. Burton · Scholar 검색
A Recovery Scheme for Database Systems with Large Main Memory — S. H. Son · Scholar 검색
A Coherent Software Development System with Interface Dictionaries — M. Sugai, A. Uchiyama, N. Hagiwara, J. Rekimoto, M. Koyamada and O. Shigou · Scholar 검색
Spatial kd-Tree: An Indexing Mechanism for Spatial Database — B.-C. Ooi, K. J. McDonell and R. Sacks-Davis · Scholar 검색
Permutation Algorithms and Data Structures for Exploiting Skewness in Data Access — H. T. Ch'ng and B. Srinivasan · Scholar 검색
Panel Session on Practical Software Engineering Education — K. Reed, K. Ushijama, J. Siddiqi, L. S. Cheang and E. E. Mills · Scholar 검색
Generation of Concurrent Programs in the STEP Environment — M. Noro and K. Harada · Scholar 검색
Concurrent Program Synthesis with Reusable Components Using Temporal Logic — N. Uchihira, T. Kasuya, K. Matsumoto and S. Honiden · Scholar 검색
Performance Evaluation of Concurrent Programs Modeled by Timed PQ-Net — C.-R. Chou · Scholar 검색
A New Design Approach of Real-Time Distributed Software Systems — C. K. Chang, M. Aoyama, T. M. Jiang, W. Shi and Y.-F. Chang · Scholar 검색
Towards an Implicitly Parallel Object-Oriented Language — Y. L. Zhong and M. Sowa · Scholar 검색
A Parallel Model of Computation for Interruptible Loops on Multiprocessors — H.-P. WU · Scholar 검색
Control Scheme of Function-Level Computing on the Brain Structured Computer — Y. Takai, T. Nakamura and Y. Shigei · Scholar 검색
The Development of User Friendly Interface — Y. Zheng and J.-H. Qian · Scholar 검색
A Model for Distributed Decision Making: An Expert System for Load Balancing in Distributed Systems — A. Kumar, M. Singhal and M. T. Liu · Scholar 검색
Modelling Dynamic Distributed Systems — R. P. Hopkins and M. Koutny · Scholar 검색
Update and Query Processing Scheme in Partitioned and Replicated Distributed Relational Database Systems — Y. Masunaga · Scholar 검색
On Cost-Effectiveness of a Semijoin in Distributed Query Processing — H. Kang and N. Roussopoulos · Scholar 검색
Modeling Partitioned and Replicated Databases Using an Extended Concept of Generalization — S. Y. W. Su and A. Kumar · Scholar 검색
Optimize Integrity Checking Using Preprocessing Strategies — K. K. Chan, K. J. McDonell and B. Srinivasan · Scholar 검색
Controllable Timestamp Ordering and Oriental Timestamp Ordering Concurrency Control Mechanisms — Y. Kambayashi and X. Zhong · Scholar 검색
A Formal Approach for the Design of Resilient Concurrency Control Algorithm for Distributed Data Bases — O. I. El-Dessouki and R. A. Radwan · Scholar 검색
A Comparative Analysis of Two-Phase and Non-Two-Phase Locking Algorithms for Database Systems — G. Joergensen and M. Singhal · Scholar 검색

Language Processing, Expert Systems, and Protocols

Panel Session on the Impact of Cooperative R & D on Future Trends Software Technology — K. Reed, L. A. Belady, J. P. Bourguignon, D. Morgan and K. Kishida · Scholar 검색
A Discourse Analysis Technique for a Natural Language Interface System — H. Maruyama and H. Watanabe · Scholar 검색
Japanese Language Programming with Accumulating a Vocabulary — Y. Morimoto, S. Oyanagi and Y. Nakayama · Scholar 검색
Measurements of Kanjification: Making English-Speaking Programs Japanese-Speaking — H. Kawazoe and M. Ohba · Scholar 검색
Panel: Recent Advances in Asian Multilingual Data Processing and Computing — I. Chang, H. M. Yamada, X.-W. Ma, C.-K. Chan, Y. Kushiki, J. Monden, H. H. Teh, C.-C. Hsieh and W. K. English · Scholar 검색
Generating Practical Prolog Programs from Attribute Grammars — A. Feng, Y. Sugiyama, M. Fujii and K. Torii · Scholar 검색
Software Development Method with Logic Language — H. Hoshino, M. Esashi, K. Agusa and Y. Ohno · Scholar 검색
Precondition Analysis in Prolog Interpretation — T. V. D. Kumar and N. Parameswaran · Scholar 검색
An Extended Object-Oriented Database Approach — Q. Chen · Scholar 검색
Experimental Multimedia DBMS Using an Object-Oriented Approach — B.-D. Yoon, F. Suzuki, H. Ishikawa and A. Makinouchi · Scholar 검색
Experiences in Building a Prototype Object-Oriented Framework in Ada — D. Vines and T. King · Scholar 검색
Precompiller for Process Logic Description Language in Intelligent Planning Support System — K. Kawashima, N. Komoda, S. Harada and S. Mitsumori · Scholar 검색
Visibility and Controllability in an Oriental Medicine Expert System — K. Tanaka, S. Tsuji and S. Kitamura · Scholar 검색
CONSULT: A Consultation System for CAD Program Services — N. Hiura and K. Irie · Scholar 검색
An Analysis and Evaluation System on Diagnostic Knowledge — T. Kinoshita · Scholar 검색
Realtime Portable Operating System for ISDN — K. Suda, M. Kubota and T. Ohrui · Scholar 검색
A Process Dispatching Algorithm on Multiprocessor Time Sharing Systems — N. Yamai, S. Shimojo and H. Miyahara · Scholar 검색
A Kernel Level Remote Procedure Call Mechanism — K. B. Sheets and K.-J. Lin · Scholar 검색
Petri Net Modeling and Analysis of The LAPD Protocol Standard: Methods and Results — S. M. Shatz and D. Xie · Scholar 검색
Analysis of Design Specification in a Communication System by Means of Petri Nets — H. Hasgawa, W. Tanaka and K. Shibata · Scholar 검색
Firing Activity and Well-Behavedness of Data-Flow Program Nets — Q.-W. Ge, N. Ono and K. Onaga · Scholar 검색
An Executable Specification Methodology: — G. Bruno and M. Morisio · Scholar 검색
Component-Based Synthesis of Protocols for Unlimited Number of Processes — Y. Kakuda and Y. Wakahara · Scholar 검색
Design of Highly Reliable Broadcast Communication Protocol — M. Takizawa · Scholar 검색
Simulation of X.25 Communication Protocol — D. Xu and K.-Y. Fang · Scholar 검색