Searching...
Advanced Search
Publication
1991
Issue No. 9 - September
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
September 1991 (vol. 17 no. 9)
ISSN: 0098-5589
Table of Contents
PAPERS
Semi-Automatic Program Construction from Specifications Using Library Modules
(Abstract)
F. Nishida
S. Takamatsu
Y. Fujita
T. Tani
pp. 853-871
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fragmenting Relations Horizontally Using a Knowledge-Based Approach
(Abstract)
D.-G. Shin
K.B. Irani
pp. 872-883
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Software Specialization Via Symbolic Execution
(Abstract)
A. Coen-Porisini
F. De Paoli
C. Ghezzi
D. Mandrioli
pp. 884-899
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Constraint-Based Automatic Test Data Generation
(Abstract)
R.A. DeMilli
A.J. Offutt
pp. 900-910
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Adaptive Programming
(Abstract)
M.G. Gouda
T. Herman
pp. 911-921
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Probability of Load Balancing Success in a Homogeneous Network
(Abstract)
C.G. Rommen
pp. 922-933
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Automated Module Testing in Prolog
(Abstract)
D.M. Hoffman
P. Strooper
pp. 934-943
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Managing Communication Networks by Monitoring Databases
(Abstract)
O. Wolfson
S. Sengupta
Y. Yemini
pp. 944-953
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On rigorous Transaction Scheduling
(Abstract)
Y. Breitbart
D. Georgakopoulos
M. Rusinkiewicz
A. Silberschatz
pp. 954-960
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Management Tool for Evaluation of Software Design
(Abstract)
S. Cardenas-Garcia
M.V. Zelkowitz
pp. 961-971
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Linear Algorithm for Generating Random Numbers with a Given Distribution
(Abstract)
M.D. Vose
pp. 972-975
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CONCISE PAPERS
On the Complexity of Generating Optimal Test Sequences
(Abstract)
S.C. Boyd
H. Ural
pp. 976-978
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CORRESPONDENCE
Heap-Filter Merge Join: A New Algorithm for Joining Medium-Size Inputs
(Abstract)
G. Graefe
pp. 979-982
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Correction to "Specification to Iterators"
(Abstract)
D.A. Lamb
pp. 982
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
