Searching...
Advanced Search
Publication
1994
Issue No. 4 - April
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/EndNote
IEEE Transactions on Software Engineering
April 1994 (vol. 20 no. 4)
ISSN: 0098-5589
Table of Contents
PAPERS
Maisie: A Language for the Design of Efficient Discrete-Event Simulations
(Abstract)
R.L. Bagrodia
Wen-Toh Liao
pp. 225-238
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Architecture-Directed Refinement
(Abstract)
G.-C. Roman
C.D. Wilcox
pp. 239-258
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Using Term Rewriting to Verify Software
(Abstract)
S. Antoy
J. Gannon
pp. 259-274
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Software Development Cost Estimation Using Function Points
(Abstract)
J.E. Matson
B.E. Barrett
J.M. Mellichamp
pp. 275-287
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Modular Verification of Data Abstractions with Shared Realizations
(Abstract)
G.W. Ernst
R.J. Hookway
W.F. Ogden
pp. 288-307
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
(Abstract)
S. Vestal
pp. 308-317
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CONCISE PAPERS
When to Stop Testing for Large Software Systems with Changing Code
(Abstract)
S.R. Dalal
A.A. McIntosh
pp. 318-323
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
Print and Online Advertising Opportunities
