By Topic

Software Engineering, IEEE Transactions on

Issue 2 • Date Feb. 1985

Filter Results

Displaying Results 1 - 17 of 17
  • IEEE Transactions on Software Engineering - Table of contents

    Publication Year: 1985 , Page(s): c1
    Request Permissions | PDF file iconPDF (396 KB)  
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1985 , Page(s): c2
    Request Permissions | PDF file iconPDF (200 KB)  
    Freely Available from IEEE
  • Task Scheduling on the PASM Parallel Processing System

    Publication Year: 1985 , Page(s): 145 - 157
    Cited by:  Papers (6)  |  Patents (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (5584 KB)  

    PASM is a proposed large-scale distributed/parallel processing system which can be partitioned into independent SIMD/MIMD machines of various sizes. One design problem for systems such as PASM is task scheduling. The use of multiple FIFO queues for nonpreemptive task scheduling is described. Four multiple-queue scheduling algorithms with different placement policies are presented and applied to th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating Software Development by Analysis of Changes: Some Data from the Software Engineering Laboratory

    Publication Year: 1985 , Page(s): 157 - 168
    Cited by:  Papers (21)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (4560 KB)  

    An effective data collection methodology for evaluating software development methodologies was applied to five different software development projects. Results and data from three of the projects are presented. Goals of the data collection included characterizing changes, errors, projects, and programmers, identifying effective error detection and correction techniques, and investigating ripple ef... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying Formal Specification to Software Development in Industry

    Publication Year: 1985 , Page(s): 169 - 178
    Cited by:  Papers (10)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (3312 KB)  

    This paper reports experience gained in applying formal specification techniques to an existing transaction processing system. The system is the IBM Customer Information Control System (CICS) and the work has concentrated on specifying a number of modules of the CICS application programmer's interface. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IOTA: A Modular Programming System

    Publication Year: 1985 , Page(s): 179 - 187
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (3336 KB)  

    A highly interactive programming system is presented which supports hierarchical and modular program development with abstraction mechanisms. By taking advantage of abstraction mechanisms, the system provides a "truly modular" environment, in which modules are constructed, debugged, verified, and compiled in a module-by-module fashion. Such an environment naturally requires system management of th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some Empirical Observations on Program Behavior with Applications to Program Restructuring

    Publication Year: 1985 , Page(s): 188 - 193
    Cited by:  Papers (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (2416 KB)  

    The dynamic behavior of executing programs is a significant factor in the performance of virtual memory computer systems. Program restructuring attempts to improve the behavior of programs by reorganizing their object code to account for the characteristics of the virtual memory environment. A significant component of the restructuring process involves a restructuring graph. An analysis of restruc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Product-Form Synthesis of Queueing Networks

    Publication Year: 1985 , Page(s): 194 - 199
    Request Permissions | Click to expandAbstract | PDF file iconPDF (2128 KB)  

    The mathematics of product-form queueing networks has traditionally dealt with the "analysis" of computer systems. That is, the system is assumed to be given and the question of how it performs is answered. In this paper the opposite process of system "synthesis" is dealt with: i.e., we answer the question of what the system topology and parameters should be in order to achieve a given performance... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of the File Redundancy in Distributed Database Systems

    Publication Year: 1985 , Page(s): 199 - 205
    Cited by:  Papers (5)  |  Patents (5)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (5128 KB)  

    This paper treats the file redundancy issue in distributed database systems, asking what is the optimal number of file copies, given the ratio r of the frequency of update requests to the frequency of all file access requests (i.e., queries and updates). Formulations of this type of problem, including optimal file allocation, have been attempted by a number of authors, and some algorithms have bee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing Distributed Read-Only Transactions

    Publication Year: 1985 , Page(s): 205 - 212
    Cited by:  Papers (31)  |  Patents (16)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (4328 KB)  

    This paper presents an efficient scheme for eliminating conflicts between distributed read-only transactions and distributed update transactions, thereby reducing synchronization delays. The scheme makes use of a multiversion mechanism in order to guarantee that distributed read-only transactions see semantically consistent snap-shots of the database, that they never have to be rolled-back due to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the File Design Problem for Partial Match Retrieval

    Publication Year: 1985 , Page(s): 213 - 222
    Request Permissions | Click to expandAbstract | PDF file iconPDF (3712 KB)  

    In the past two decades, the increasing usage of databases and integrated information systems has encouraged the development of file structures suited for partial match retrieval. A partial match query is a query with some number of attributes specified and the rest of them unspecified. One interesting file structure proposed and heavily studied recently is called a multikey hashing scheme, but mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware-Related Software Errors: Measurement and Analysis

    Publication Year: 1985 , Page(s): 223 - 231
    Cited by:  Papers (23)  |  Patents (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (3096 KB)  

    This paper describes an analysis of hardware-related software (HW/SW) errors on an MVS/SP operating system at Stanford University. The analysis procedure demonstrates a methodology for evaluating the interaction between hardware and software as it relates to system reliability. The paper examines the operating system's handling of HW/SW errors and also the effectiveness of recovery management. Nea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Experimental Study of Software Metrics for Real-Time Software

    Publication Year: 1985 , Page(s): 231 - 234
    Cited by:  Papers (18)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (3256 KB)  

    The rising costs of software development and maintenance have naturally aroused intere5t in tools and measures to quantify and analyze software complexity. Many software metrics have been studied widely because of the potential usefulness in predicting the complexity and quality of software. Most of the work reported in this area has been related to nonreal-time software. In this paper we report a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Asymptotic Optimality of First-Fit Storage Allocation

    Publication Year: 1985 , Page(s): 235 - 239
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (736 KB)  

    Suppose requests to store files arrive at a storage facility in a Poisson stream at rate 1. Each file is allocated storage space on arrival and each remains independently for an exponential time with mean l/p. The lengths of the files are assumed to be independent with common distribution F. Each file is placed in the lowest addressed contiguous sequence of locations large enough to accommodate th... View full abstract»

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

    Publication Year: 1985 , Page(s): 240
    Request Permissions | PDF file iconPDF (99 KB)  
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1985 , Page(s): 240-a
    Request Permissions | PDF file iconPDF (240 KB)  
    Freely Available from IEEE
  • Call for Papers and Panel Session Proposals

    Publication Year: 1985 , Page(s): 240
    Request Permissions | PDF file iconPDF (1044 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