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