By Topic

IEEE Transactions on Software Engineering

Issue 1 • Jan.-Feb. 2009

Filter Results

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

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

    Publication Year: 2009, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (77 KB)
    Freely Available from IEEE
  • Editorial: State of the Journal Address

    Publication Year: 2009, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (34 KB)
    Freely Available from IEEE
  • Atomicity Analysis of Service Composition across Organizations

    Publication Year: 2009, Page(s):2 - 28
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4330 KB) | HTML iconHTML

    Atomicity is a highly desirable property for achieving application consistency in service compositions. To achieve atomicity, a service composition should satisfy the atomicity sphere, a structural criterion for the backend processes of involved services. Existing analysis techniques for atomicity sphere generally assume complete knowledge of all involved backend processes. Such an assumption is i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Carving and Replaying Differential Unit Test Cases from System Test Cases

    Publication Year: 2009, Page(s):29 - 45
    Cited by:  Papers (14)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2852 KB) | HTML iconHTML

    Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests that exploits their strengths. They are generated by carving the system components, while executing a system test case, that influence the behavior of the target unit, and then re-assembling those components so that the unit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compositional Control of IP Media

    Publication Year: 2009, Page(s):46 - 66
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2968 KB) | HTML iconHTML

    In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even thou the media packets themselves travel directly between media endpoints. The application servers must be programmed so that media behavior is globally correct, even though the servers may attempt to manipulate the same media channels concurrently a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering Privacy

    Publication Year: 2009, Page(s):67 - 82
    Cited by:  Papers (72)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2582 KB) | HTML iconHTML

    In this paper we integrate insights from diverse islands of research on electronic privacy to offer a holistic view of privacy engineering and a systematic structure for the discipline's topics. First we discuss privacy requirements grounded in both historic and contemporary perspectives on privacy. We use a three-layer model of user privacy concerns to relate them to system operations (data trans... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Linking Model-Driven Development and Software Architecture: A Case Study

    Publication Year: 2009, Page(s):83 - 93
    Cited by:  Papers (20)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1176 KB) | HTML iconHTML

    A basic premise of model driven development (MDD) is to capture all important design information in a set of formal or semi-formal models which are then automatically kept consistent by tools. The concept however is still relatively immature and there is little by way of empirically validated guidelines. In this paper we report on the use of MDD on a significant real-world project over several yea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mutation Operators for Spreadsheets

    Publication Year: 2009, Page(s):94 - 108
    Cited by:  Papers (25)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2714 KB) | HTML iconHTML Multimedia Media

    Based on 1) research into mutation testing for general-purpose programming languages and 2) spreadsheet errors that have been reported in the literature, we have developed a suite of mutation operators for spreadsheets. We present an evaluation of the mutation adequacy of definition-use adequate test suites generated by a constraint-based automatic test-case generation system we have developed in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimized Resource Allocation for Software Release Planning

    Publication Year: 2009, Page(s):109 - 123
    Cited by:  Papers (39)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3307 KB) | HTML iconHTML

    Release planning for incremental software development assigns features to releases such that technical, resource, risk and budget constraints are met. Planning of software releases and allocation of resources cannot be handled in isolation. A feature can be offered as part of a release only if all its necessary tasks are done before the given release date. We assume a given pool of human resources... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model

    Publication Year: 2009, Page(s):124 - 137
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3357 KB) | HTML iconHTML

    Bayesian networks, which can combine sparse data, prior assumptions and expert judgment into a single causal model, have already been used to build software effort prediction models. We present such a model of an extreme programming environment and show how it can learn from project data in order to make quantitative effort predictions and risk assessments without requiring any additional metrics ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 2008 Reviewers List

    Publication Year: 2009, Page(s):138 - 141
    Request permission for commercial reuse | PDF file iconPDF (29 KB)
    Freely Available from IEEE
  • IEEE Computer Society 2009 Membership Application

    Publication Year: 2009, Page(s):142 - 144
    Request permission for commercial reuse | PDF file iconPDF (226 KB)
    Freely Available from IEEE
  • TSE Information for authors

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

    Publication Year: 2009, Page(s): c4
    Request permission for commercial reuse | PDF file iconPDF (161 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