mauney@ncsu.UUCP (Jon Mauney) (02/20/85)
Table of Contents, IEEE Transactions on Software Engineering, January 1985 %A B. G. Claybrook %A A.-M. Claybrook %A J. Williams %T Defining Database Views as Data Abstractions %J IEEE-TSE %V SE-11 %N 1 %P 3-15 %D January 1985 %A C. Mohan %A D. Fussell %A Z. M. Kedem %A A. Silberschatz %T Lock Conversion in Non-Two-Phase Locking Protocols %J IEEE-TSE %V SE-11 %N 1 %P 15-22 %D January 1985 %A F. Cristian %T A Rigorous Approach to Fault-Tolerant Programming %J IEEE-TSE %V SE-11 %N 1 %P 23-31 %D January 1985 %A R. A. Kemmerer %T Testing Formal Specifications to Detect Design Errors %J IEEE-TSE %V SE-11 %N 1 %P 32-42 %D January 1985 %A G. T. Almes %A A. P. Black %A E. D. Lazowska %A J. D. Noe %T The Eden System: A Technical Review %J IEEE-TSE %V SE-11 %N 1 %P 43-58 %D January 1985 %A M. Ahamod %A A. J. Bernstein %T An Application of Name Based Addressing to Low Level Distributed Algorithms %J IEEE-TSE %V SE-11 %N 1 %P 59-66 %D January 1985 %A M. K. Sinha %A N. Natarajan %T A Priority Based Distributed Deadlock Detection Algorithm %J IEEE-TSE %V SE-11 %N 1 %P 67-79 %D January 1985 %A B. Dasarathy %T Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them %J IEEE-TSE %V SE-11 %N 1 %P 80-86 %D January 1985 %A D. B. Lomet %T Making Pointers Safe in System Programming Languages %J IEEE-TSE %V SE-11 %N 1 %P 87-96 %D January 1985 %A M. Jarke %A J. A. Turner %A E. A. Stohr %A Y. Vassiliou %A N. H. White %A K. Michielsen %T A Field Evaluation of Natural Language for Data Retrieval %J IEEE-TSE %V SE-11 %N 1 %P 97-113 %D January 1985 %A J. Chen %A S. Kolodner %T Estimating the Speedup in Parallel Parsing %J IEEE-TSE %V SE-11 %N 1 %P 114-124 %D January 1985 %A M. O. Fryer %T Risk Assessment of Computer Controoled Systems %J IEEE-TSE %V SE-11 %N 1 %P 125-129 %D January 1985 %A G. Harrus %T A Model for the Basic Block Protocol of the Cambridge Ring %J IEEE-TSE %V SE-11 %N 1 %P 130-135 %D January 1985 %A A. Pashtan %T Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations %J IEEE-TSE %V SE-11 %N 1 %P 136-141 %D January 1985 -- *** REPLACE THIS LINE WITH YOUR SIGNATURE *** Jon Mauney mcnc!ncsu!mauney C.S. Dept, North Carolina State University