By Topic

IEEE Transactions on Software Engineering

Issue 5 • May 1995

Filter Results

Displaying Results 1 - 8 of 8
  • Software dependability in the Tandem GUARDIAN system

    Publication Year: 1995, Page(s):455 - 467
    Cited by:  Papers (75)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1272 KB)

    Based on extensive field failure data for Tandem's GUARDIAN operating system, the paper discusses evaluation of the dependability of operational software. Software faults considered are major defects that result in processor failures and invoke backup processes to take over. The paper categorizes the underlying causes of software failures and evaluates the effectiveness of the process pair techniq... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Test-execution-based reliability measurement and modeling for large commercial software

    Publication Year: 1995, Page(s):405 - 414
    Cited by:  Papers (23)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (924 KB)

    The paper studies practical reliability measurement and modeling for large commercial software systems based on test execution data collected during system testing. The application environment and the goals of reliability assessment were analyzed to identify appropriate measurement data. Various reliability growth models were used on failure data normalized by test case executions to track testing... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and improving an industrial software process

    Publication Year: 1995, Page(s):440 - 454
    Cited by:  Papers (38)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1436 KB)

    The paper discusses the problems that a software development organization must address in order to assess and improve its software processes. In particular, the authors are involved in a project aiming at assessing and improving the current practice and the quality manual of the Business Unit Telecommunications for Defense (BUTD) of a large telecommunications company. The paper reports on the usag... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compiling real-time programs with timing constraint refinement and structural code motion

    Publication Year: 1995, Page(s):389 - 404
    Cited by:  Papers (11)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1360 KB)

    We present a programming language called TCEL (Time-Constrained Event Language), whose semantics are based on time-constrained relationships between observable events. Such a semantics infers only those timing constraints necessary to achieve real-time correctness, without overconstraining the system. Moreover, an optimizing compiler can exploit this looser semantics to help tune the code, so that... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measures of the potential for load sharing in distributed computing systems

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

    We are concerned with the problem of determining the potential for load balancing in a distributed computing system. We define a precise measure, called the number of sharable jobs, of this potential in terms of the number of jobs that can usefully be transferred across sites in the system. Properties of this measure are derived, including a general formula for its probability distribution, indepe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An intelligent tutoring system for the Dijkstra-Gries methodology

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

    The paper describes the design and implementation of an intelligent tutoring system for the Dijkstra-Gries programming methodology as defined by Gries (1981) in “The Science of Programming”. The first part of the paper identifies the requirements of intelligent tutoring systems in general and those of the methodology in particular. It shows the suitability of the Smalltalk environment ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Effective analysis for engineering real-time fixed priority schedulers

    Publication Year: 1995, Page(s):475 - 480
    Cited by:  Papers (73)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    There has been considerable activity in recent years in developing analytical techniques for hard real-time systems. Inevitably these techniques make simplifying assumptions so as to reduce the complexity of the problem to be solved. Unfortunately this leads to a gap between theory and engineering practice. The paper presents new analysis that enables the costs of the scheduler (clock overheads, q... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing expected time by scheduler-luck games

    Publication Year: 1995, Page(s):429 - 439
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1068 KB)

    We introduce a novel technique, the scheduler luck game (in short sl-game) for analyzing the performance of randomized distributed protocols. We apply it in studying uniform self-stabilizing protocols for leader election under read/write atomicity. We present two protocols for the case where each processor in the system can communicate with all other processors and analyze their performance using ... 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