External Links

    Journal: IEEE Trans. Software Eng.

    Volume 12, Issue 8

    801 -- 810Tak-Sun Yuen, David Hung-Chang Du. Dynamic File Structure for Partial Match Retrieval Based on Overflow Bucket Sharing
    811 -- 826Roy H. Campbell, Brian Randell. Error Recovery in Asynchronous Systems
    827 -- 843Thomas P. Blumer, Deepinder P. Sidhu. Mechanical Verification and Automatic Implementation of Communication Protocols
    844 -- 848C. Murray Woodside, Satish K. Tripathi. Optimal Allocation of File Servers in a Local Network Environment
    849 -- 859Ellis Horowitz, Ronald Williamson. SODOS: A Software Documentation Support Environment - Its Definition
    860 -- 865Branislav Meandzija. A Formal Method for Composing a Network Command Language
    866 -- 874Robert P. Trueblood, A. Sengupta. Dynamic Analysis of the Effects Access Rule Modifications Have Upon Security
    870 -- 874Kuo-Chung Tai, Alan L. Tharp. A Comparison of Computed Chaining to Predictors
    874 -- 0David Lorge Parnas, Paul C. Clements. Correction to A Rational Design Process: How and Why to Fake It
    runs on