By Topic

IEEE Transactions on Software Engineering

Issue 11 • Date Nov. 2004

Filter Results

Displaying Results 1 - 20 of 20
  • [Front cover]

    Publication Year: 2004, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (143 KB)
    Freely Available from IEEE
  • [Inside front cover]

    Publication Year: 2004, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (74 KB)
    Freely Available from IEEE
  • Editorial: New AE Introduction

    Publication Year: 2004, Page(s):713 - 714
    Request permission for commercial reuse | PDF file iconPDF (124 KB)
    Freely Available from IEEE
  • Analysis and visualization of predicate dependence on formal parameters and global variables

    Publication Year: 2004, Page(s):715 - 735
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3272 KB) | HTML iconHTML

    Empirical data concerning the qualitative and quantitative nature of program dependence is presented for a set of 20 programs ranging from 600 lines of code to 167,000 lines of code. The sources of dependence considered are global variables and formal parameters and the targets considered are a program's predicate nodes. The results show that as the number of formal parameters available to a predi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing structured review with model-based verification

    Publication Year: 2004, Page(s):736 - 753
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1192 KB) | HTML iconHTML

    We propose a development framework that extends the scope of structured review by supplementing the structured review with model-based verification. The proposed approach uses the Unified Modeling Language (UML) as a modeling notation. We discuss a set of correctness arguments that can be used in conjunction with formal verification and validation (V&V) in order to improve the quality and dependab... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating Web software reliability based on workload and failure data extracted from server logs

    Publication Year: 2004, Page(s):754 - 769
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1264 KB) | HTML iconHTML

    We characterize usage and problems for Web applications, evaluate their reliability, and examine the potential for reliability improvement. Based on the characteristics of Web applications and the overall Web environment, we classify Web problems and focus on the subset of source content problems. Using information about Web accesses, we derive various measurements that can characterize Web site w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assessing and improving state-based class testing: a series of experiments

    Publication Year: 2004, Page(s):770 - 783
    Cited by:  Papers (42)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2320 KB) | HTML iconHTML

    This work describes an empirical investigation of the cost effectiveness of well-known state-based testing techniques for classes or clusters of classes that exhibit a state-dependent behavior. This is practically relevant as many object-oriented methodologies recommend modeling such components with statecharts which can then be used as a basis for testing. Our results, based on a series of three ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Contract-checking wrappers for C++ classes

    Publication Year: 2004, Page(s):794 - 810
    Cited by:  Papers (8)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2128 KB) | HTML iconHTML

    Two kinds of interface contract violations can occur in component-based software: A client component can fail to satisfy a requirement of a component it is using, or a component implementation can fail to fulfill its obligations to the client. The traditional approach to detecting and reporting such violations is to embed assertion checks into component source code, with compile-time control over ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A cognitive-based mechanism for constructing software inspection teams

    Publication Year: 2004, Page(s):811 - 825
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1352 KB) | HTML iconHTML

    Software inspection is well-known as an effective means of defect detection. Nevertheless, recent research has suggested that the technique requires further development to optimize the inspection process. As the process is inherently group-based, one approach to improving performance is to attempt to minimize the commonality within the process and the group. This work proposes an approach to add d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving cohesion metrics for classes by considering dependent instance variables

    Publication Year: 2004, Page(s):826 - 832
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1000 KB) | HTML iconHTML

    The existing cohesion metrics for classes do not consider the characteristics of dependent instance variables that are commonly used in a class and, thus, do not properly reflect the cohesiveness of the class. This paper presents an approach for improving the cohesion metrics by considering the characteristics of the dependent instance variables in an object-oriented program. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • [Advertisement]

    Publication Year: 2004, Page(s): 833
    Request permission for commercial reuse | PDF file iconPDF (373 KB)
    Freely Available from IEEE
  • [Advertisement]

    Publication Year: 2004, Page(s): 834
    Request permission for commercial reuse | PDF file iconPDF (663 KB)
    Freely Available from IEEE
  • [Advertisement]

    Publication Year: 2004, Page(s): 835
    Request permission for commercial reuse | PDF file iconPDF (513 KB)
    Freely Available from IEEE
  • [Advertisement]

    Publication Year: 2004, Page(s): 836
    Request permission for commercial reuse | PDF file iconPDF (295 KB)
    Freely Available from IEEE
  • [Advertisement]

    Publication Year: 2004, Page(s): 837
    Request permission for commercial reuse | PDF file iconPDF (778 KB)
    Freely Available from IEEE
  • [Advertisement]

    Publication Year: 2004, Page(s): 838
    Request permission for commercial reuse | PDF file iconPDF (407 KB)
    Freely Available from IEEE
  • [Advertisement]

    Publication Year: 2004, Page(s): 839
    Request permission for commercial reuse | PDF file iconPDF (84 KB)
    Freely Available from IEEE
  • [Advertisement]

    Publication Year: 2004, Page(s): 840
    Request permission for commercial reuse | PDF file iconPDF (290 KB)
    Freely Available from IEEE
  • TSE Information for authors

    Publication Year: 2004, Page(s): c3
    Request permission for commercial reuse | PDF file iconPDF (74 KB)
    Freely Available from IEEE
  • [Back cover]

    Publication Year: 2004, Page(s): c4
    Request permission for commercial reuse | PDF file iconPDF (143 KB)
    Freely Available from IEEE

Aims & Scope

The IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Matthew B. Dwyer
Dept. Computer Science and Engineering
256 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588-0115 USA
tse-eic@computer.org