By Topic

IEEE Transactions on Software Engineering

Issue 12 • Dec. 1995

Filter Results

Displaying Results 1 - 8 of 8
  • 1995 Index IEEE Transactions on Software Engineering Vol. 21

    Publication Year: 1995
    Request permission for commercial reuse | PDF file iconPDF (1245 KB)
    Freely Available from IEEE
  • On “A framework for source code search using program patterns”

    Publication Year: 1995, Page(s):1009 - 1010
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB)

    The need to query and understand source code is an important practical problem for software engineers in large development projects. A paper by Paul and Prakash (1994) proposes a workable solution to this problem. However, there are several previously reported systems that can also address this problem. The relationship of their work to the body of existing work is the subject of the paper View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the relationships among the all-uses, all-DU-paths, and all-edges testing criteria

    Publication Year: 1995, Page(s):1006 - 1009
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (500 KB)

    The all-du-paths data flow testing criterion was designed to be more demanding than the all-uses criterion, which itself was designed to be more demanding than the all-edges criterion. However, formal comparison metrics developed within the testing community have failed to validate these relationships, without requiring restrictive or undecidable assumptions regarding the universe of programs to w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a framework for software measurement validation

    Publication Year: 1995, Page(s):929 - 944
    Cited by:  Papers (205)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1608 KB)

    In this paper we propose a framework for validating software measurement. We start by defining a measurement structure model that identifies the elementary component of measures and the measurement process, and then consider five other models involved in measurement: unit definition models, instrumentation models, attribute relationship models, measurement protocols and entity population models. W... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating time domain and input domain analyses of software reliability using tree-based models

    Publication Year: 1995, Page(s):945 - 958
    Cited by:  Papers (28)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1368 KB)

    The paper examines two existing approaches to software reliability analysis, time domain reliability growth modeling and input domain reliability analysis, and presents a new approach that combines some of their individual strengths. An analysis method called tree-based modeling is used to build models based on the combined measurement data. This new approach can be used to assess the reliability ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Program partition and logic program analysis

    Publication Year: 1995, Page(s):959 - 968
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1012 KB)

    A program partition scheme for stratified programs introduced by Apt et al. (1988) is used to study efficient computation of logic programs. We consider three types of program partitions and their corresponding graph representations: 1) the natural partition, 2) stratified partitions, and 3) the reduced partition. The natural (program) partition consists of definitions of relations, each definitio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compositional validation of time-critical systems using communicating time Petri nets

    Publication Year: 1995, Page(s):969 - 992
    Cited by:  Papers (56)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2220 KB)

    An extended Petri net model which considers modular partitioning along with timing restrictions and environment models is presented. Module constructs permit the specification of a complex system as a set of message passing modules with the timing semantics of time Petri nets. The state space of each individual module can be separately enumerated and assessed under the assumption of a partial spec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Creation of views for reuse of software with different data representations

    Publication Year: 1995, Page(s):993 - 1005
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1364 KB)

    Software reuse is inhibited by the many different ways in which equivalent data can be represented. We describe methods by which views can be constructed semi-automatically to describe how application data types correspond to the abstract types that are used in numerical generic algorithms. Given such views, specialized versions of the generic algorithms that operate directly on the application da... View full abstract»

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

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