Searching...
Advanced Search
Table of Contents
Login to access your subscribed content
January 1990 (vol. 16 no. 1)
ISSN: 0098-5589
Subscribe to this Publication
RSS feed for this Publication
This Publication
Digital Library
Advanced Search
PAPERS
Formal Specification and Design Time Testing
C.P. Gerrard
D. Coleman
R.M. Gallimore
pp. 1-12
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Computational Efficiency of Parallel Combinatorial OR-Tree Searches
Guo-Jie Li
B.W. Wah
pp. 13-31
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Optimal Selection of Secondary Indexes
E. Barcucci
O. Pinzani
pp. 32-38
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Petri Net Tools for the Specification and Analysis of Discrete Controllers
R.G. Willson
B.H. Krogh
pp. 39-50
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Verifying General Safety Properties of Ada Tasking Programs
L.K. Dillon
pp. 51-63
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Function Points in the Estimation and Evaluation of the Software Process
G.C. Low
D.R. Jeffery
pp. 64-71
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Comments Analysis and Programming Errors
W.E. Howden
pp. 72-81
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method
R.C. De Vries
pp. 82-91
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Control and Definition Modularization: an Improved Software Design Technique for Organizing Programs
S.B. Yadav
pp. 92-99
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
CONCISE PAPERS
Bidding Against Competitors
C.-K. Chang
pp. 100-104
PURCHASE ARTICLE: $19
ABSTRACT
PDF
HTML
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Sponsored Whitepaper
11 Best Practices
for Peer Code Review
