Searching...
Advanced Search
Publication
1989
Issue No. 11 - November
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
IEEE Transactions on Software Engineering
November 1989 (vol. 15 no. 11)
ISSN: 0098-5589
Table of Contents
Editor's Comments
Editor's Comments
(Abstract)
V.R. Basili
pp. 1317
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
PAPERS
A Formal Evaluation of Data Flow Path Selection Criteria
(Abstract)
L.A. Clarke
A. Podgurski
D.J. Richardson
S.J. Zeil
pp. 1318-1332
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Mapping the Interface Description Language Type Model into C
(Abstract)
K. Shannon
R. Snodgrass
pp. 1333-1346
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Trace Analysis for Conformance and Arbitration Testing
(Abstract)
G.V. Bochmann
R. Dssouli
J.R. Zhao
pp. 1347-1356
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs
(Abstract)
J.P. Gupta
S.C. Winter
D.R. Wilson
pp. 1357-1367
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers
(Abstract)
D. Sarkar
S.C. De Sarkar
pp. 1368-1381
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Kit: A Study in Operating System Verification
(Abstract)
W.R. Bevier
pp. 1382-1396
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Case Study in Structure Specification: a Grid Description of Scribe
(Abstract)
H. Ossher
pp. 1397-1416
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Multiparty Interactions for Interprocess Communication and Synchronization
(Abstract)
M. Evangelist
N. Francez
S. Katz
pp. 1417-1426
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Allocating Modules to Processors in a Distributed System
(Abstract)
D. Fernandez-Baca
pp. 1427-1436
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Including Scalars in a Programming Language Based on the Relational Algebra
(Abstract)
T.H. Merrett
N. Laliberte
pp. 1437-1443
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Finding Idle Machines in a Workstation-Based Distributed System
(Abstract)
M.M. Theimer
K.A. Lantz
pp. 1444-1458
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Distributed Algorithm for Performance Improvement Through File Replication, File Migration, and Process Migration
(Abstract)
A. Hac
pp. 1459-1470
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Critical Races in Ada Programs
(Abstract)
G.M. Karam
C.M. Stanczyk
G.W. Bond
pp. 1471-1480
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CONCISE PAPERS
The Consistent Comparison Problem in N-Version Software
(Abstract)
S.S. Brilliant
J.C. Knight
N.G. Leveson
pp. 1481-1485
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models
(Abstract)
H. Joe
pp. 1485-1490
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CORRESPONDENCE
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines
(Abstract)
A. Chung
D.P. Sidhu
pp. 1491-1494
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
