By Topic

IEEE Transactions on Software Engineering

Issue 4 • Date Apr 1994

Filter Results

Displaying Results 1 - 7 of 7
  • Maisie: a language for the design of efficient discrete-event simulations

    Publication Year: 1994, Page(s):225 - 238
    Cited by:  Papers (77)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1404 KB)

    Maisie is a C-based discrete-event simulation language that was designed to cleanly separate a simulation model from the underlying algorithm (sequential or parallel) used for the execution of the model. With few modifications, a Maisie program may be executed by using a sequential simulation algorithm, a parallel conservative algorithm or a parallel optimistic algorithm. The language constructs a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • When to stop testing for large software systems with changing code

    Publication Year: 1994, Page(s):318 - 323
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    Developers of large software systems must decide how long software should be tested before releasing it. A common and usually unwarranted assumption is that the code remains frozen during testing. We present a stochastic and economic framework to deal with systems that change as they are tested. The changes can occur because of the delivery of software as it is developed, the way software is teste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using term rewriting to verify software

    Publication Year: 1994, Page(s):259 - 274
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1388 KB)

    This paper describes a uniform approach to the automation of verification tasks associated with while statements, representation functions for abstract data types, generic program units, and abstract base classes. Program units are annotated with equations containing symbols defined by algebraic axioms. An operation's axioms are developed by using strategies that guarantee crucial properties such ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fixed-priority sensitivity analysis for linear compute time models

    Publication Year: 1994, Page(s):308 - 317
    Cited by:  Papers (32)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (896 KB)

    Several formal results exist that allow an analytic determination of whether a particular scheduling discipline can feasibly schedule a given set of hard real-time periodic tasks. In most cases, these results provide little more than a `yes' or `no' answer. In practice, it is also useful to know how sensitive scheduling feasibility is to changes in the characteristics of the task set. This paper p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture-directed refinement

    Publication Year: 1994, Page(s):239 - 258
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1852 KB)

    As critical computer systems continue to grow in complexity, the task of showing that they execute correctly becomes more difficult. For this reason, research in software engineering has turned to formal methods, i.e., rigorous approaches to demonstrating the correctness of software systems. Unfortunately, the formal methods currently used in the design of concurrent systems do not provide any mec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software development cost estimation using function points

    Publication Year: 1994, Page(s):275 - 287
    Cited by:  Papers (39)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1060 KB)

    This paper presents an assessment of several published statistical regression models that relate software development effort to software size measured in function points. The principal concern with published models has to do with the number of observations upon which the models were based and inattention to the assumptions inherent in regression analysis. The research describes appropriate statist... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modular verification of data abstractions with shared realizations

    Publication Year: 1994, Page(s):288 - 307
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2120 KB)

    Presents a method for the modular specification and verification of data abstractions in which multiple abstract objects share a common realization level data structure. Such shared realizations are an important implementation technique for data abstractions, because they provide for efficient use of memory; i.e., they allow the amount of memory allocated to the realization of an abstract object t... 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