Searching...
Advanced Search
Publication
2001
Issue No. 7 - July
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
July 2001 (vol. 27 no. 7)
ISSN: 0098-5589
Table of Contents
PAPERS
Foundations of the Trace Assertion Method of Module Interface Specification
(Abstract)
Ryszard Janicki
Emil Sekerinski
pp. 577-598
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Simulation-Verification: Biting at the State Explosion Problem
(Abstract)
Douglas A. Stuart
Monica Brockmeyer
Aloysius K. Mok
Farnam Jahanian
pp. 599-617
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Tool to Help Tune where Computation Is Performed
(Abstract)
Hyeonsang Eom
Jeffrey K. Hollingsworth
pp. 618-629
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics
(Abstract)
Khaled El Emam
Saïda Benlarbi
Nishith Goel
Shesh N. Rai
pp. 630-650
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Automatic Analysis of Consistency between Requirements and Designs
(Abstract)
Marsha Chechik
John Gannon
pp. 651-672
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
