Searching...
Advanced Search
Publication
2006
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 2006 (vol. 32 no. 4)
ISSN: 0098-5598
Table of Contents
Regular Papers
Interactive Fault Localization Techniques in a Spreadsheet Environment
(Abstract)
Joseph R. Ruthruff
, IEEE
Margaret Burnett
, IEEE
Gregg Rothermel
, IEEE
pp. 213-239
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Value of Static Analysis for Fault Detection in Software
(Abstract)
Jiang Zheng
, IEEE
Laurie Williams
, IEEE
Nachiappan Nagappan
, IEEE
Will Snipes
, IEEE
John P. Hudepohl
Mladen A. Vouk
, IEEE
pp. 240-253
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Task Construction for Model-Based Design of Embedded Control Software
(Abstract)
Shige Wang
, IEEE
Kang G. Shin
, IEEE
pp. 254-264
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets
(Abstract)
Dianxiang Xu
, IEEE
Kendall E. Nygard
pp. 265-278
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Comments
Comments on 'Automatic Analysis of Consistency between Requirements and Designs'
(Abstract)
Hewijin Christine Jiau
, IEEE
Dung-Feng Yu
pp. 279-280
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
