Searching...
Advanced Search
Publication
1990
Issue No. 1 - January
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
January 1990 (vol. 16 no. 1)
ISSN: 0098-5589
Table of Contents
PAPERS
Formal Specification and Design Time Testing
(Abstract)
C.P. Gerrard
D. Coleman
R.M. Gallimore
pp. 1-12
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Computational Efficiency of Parallel Combinatorial OR-Tree Searches
(Abstract)
Guo-Jie Li
B.W. Wah
pp. 13-31
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Optimal Selection of Secondary Indexes
(Abstract)
E. Barcucci
O. Pinzani
pp. 32-38
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Petri Net Tools for the Specification and Analysis of Discrete Controllers
(Abstract)
R.G. Willson
B.H. Krogh
pp. 39-50
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Verifying General Safety Properties of Ada Tasking Programs
(Abstract)
L.K. Dillon
pp. 51-63
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Function Points in the Estimation and Evaluation of the Software Process
(Abstract)
G.C. Low
D.R. Jeffery
pp. 64-71
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Comments Analysis and Programming Errors
(Abstract)
W.E. Howden
pp. 72-81
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method
(Abstract)
R.C. De Vries
pp. 82-91
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Control and Definition Modularization: an Improved Software Design Technique for Organizing Programs
(Abstract)
S.B. Yadav
pp. 92-99
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CONCISE PAPERS
Bidding Against Competitors
(Abstract)
C.-K. Chang
pp. 100-104
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
