Journal: IEEE Trans. Software Eng.

Volume 10, Issue 3

221 -- 227Richard J. LeBlanc, Charles N. Fischer. A Simple Separate Compilation Mechanism for Block-Structured Languages
227 -- 236Martin S. McKendry, Roy H. Campbell. Implementing Language Support in High-Level Languages
237 -- 243Michael J. Ferguson. Multiaccess in a Nonqueueing Mailbox Environment
244 -- 257Arthur E. Oldehoeft, Steven F. Jennings. Dataflow Resource Managers and Their Synthesis from Open Path Expressions
257 -- 268Liba Svobodova. Resilient Distributed Computing
268 -- 274Curtis Abbott. Intervention Schedules for Real-Time Programming
275 -- 285Douglas D. Dunlop, Victor R. Basili. A Heuristic for Deriving Loop Functions
285 -- 290N. C. K. Phillips. Safe Data Type Specifications
290 -- 303Barry W. Boehm, Terence E. Gray, Thomas Seewaldt. Prototyping Versus Specifying: A Multiproject Experiment
303 -- 309Daniel L. Weller, Bryant W. York. A Relational Representation of an Abstract Type System
310 -- 319David L. Spooner, Ehud Gudes. A Unifying Approach to the Design of a Secure Database Operating System
320 -- 324Virgil D. Gligor. A Note on Denial-of-Service in Operating Systems