Searching...
Advanced Search
Publication
1995
Issue No. 12 - December
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
December 1995 (vol. 21 no. 12)
ISSN: 0098-5589
Table of Contents
Regular Papers
Towards a Framework for Software Measurement Validation
(Abstract)
Barbara Kitchenham
Shari Lawrence Pfleeger
Norman Fenton
pp. 929-944
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Integrating Time Domain and Input Domain Analyses of Software Reliability Using Tree-Based Models
(Abstract)
Jeff Tian
pp. 945-958
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Program Partition and Logic Program Analysis
(Abstract)
Jia Liang Han
pp. 959-968
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
(Abstract)
Giacomo Bucci
Enrico Vicario
pp. 969-992
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Creation of Views for Reuse of Software with Different Data Representations
(Abstract)
Gordon S. Novak Jr.
pp. 993-1005
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Correspondence
On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria
(Abstract)
Allen S. Parrish
Stuart H. Zweben
pp. 1006-1009
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On 'A Framework for Source Code Search Using Program Patterns'
(Abstract)
Prem Devanbu
pp. 1009-1010
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