# IEEE Transactions on Software Engineering

## Filter Results

Displaying Results 1 - 7 of 7
• ### When to stop testing for large software systems with changing code

Publication Year: 1994, Page(s):318 - 323
Cited by:  Papers (28)
| | PDF (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»

• ### Modular verification of data abstractions with shared realizations

Publication Year: 1994, Page(s):288 - 307
Cited by:  Papers (5)
| | PDF (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»

• ### Using term rewriting to verify software

Publication Year: 1994, Page(s):259 - 274
Cited by:  Papers (8)
| | PDF (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»

• ### Maisie: a language for the design of efficient discrete-event simulations

Publication Year: 1994, Page(s):225 - 238
Cited by:  Papers (79)  |  Patents (1)
| | PDF (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»

• ### Fixed-priority sensitivity analysis for linear compute time models

Publication Year: 1994, Page(s):308 - 317
Cited by:  Papers (42)  |  Patents (5)
| | PDF (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»

• ### Software development cost estimation using function points

Publication Year: 1994, Page(s):275 - 287
Cited by:  Papers (124)
| | PDF (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»

• ### Architecture-directed refinement

Publication Year: 1994, Page(s):239 - 258
Cited by:  Papers (3)
| | PDF (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»

## 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