By Topic

IEEE Transactions on Software Engineering

Issue 5 • Sept. 1981

Filter Results

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

    Publication Year: 1981, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (581 KB)
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1981, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (528 KB)
    Freely Available from IEEE
  • Guest Editorial: Programming Environments

    Publication Year: 1981, Page(s):449 - 450
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1504 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Why Programming Environments Need Dynamic Data Types

    Publication Year: 1981, Page(s):451 - 457
    Cited by:  Papers (2)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2752 KB)

    Data abstraction is a powerful source of program structure and abstraction. There is nothing about it, or the reasons why it works, which restricts it to static applications. Programming environments (PE's) especially need to use data types dynamically, since it is their function to support the programmer in all phases of work with a program. Thus, the PE must proceed smoothly from definition to u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis

    Publication Year: 1981, Page(s):458 - 471
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4448 KB)

    A refinement paradigm for implementing a high-level specification in a low-level target language is discussed. In this paradigm, coding and analysis knowledge work together to produce an efficient program in the target language. Since there are many possible implementations for a given specification of a program, searching knowledge is applied to increase the efficiency of the process of finding a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Incremental Programming Environment

    Publication Year: 1981, Page(s):472 - 482
    Cited by:  Papers (30)  |  Patents (62)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3648 KB)

    This paper describes an incremental programming environment (IPE) based on compilation technology, but providing facilities traditionally found only in interpretive systems. IPE provides a comfortable environment for a single programmer working on a single program. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Experiment in Small-Scale Application Software Engineering

    Publication Year: 1981, Page(s):482 - 493
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4680 KB)

    This paper reports the results of an experiment in applying large-scale software engineering procedures to small software projects. Two USC student teams developed a small, interactive application software product to the same specification, one using Fortran and one using Pascal. Several hypotheses were tested, and extensive experimenal data collected. The major conclusions were as follows. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-Time Behavior of Programs

    Publication Year: 1981, Page(s):494 - 501
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2336 KB)

    Verification and compile-time checking of the behavior of programs in real time is an important issue in many applications, e.g., process control, lab automation, and monitoring of missiles and vehicles. Present day programming languages and compilers lack the facilities of calculating execution times of programs. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Soma: A Programming Construct for Distributed Processing

    Publication Year: 1981, Page(s):502 - 509
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2824 KB)

    A construct is proposed for parallel programming, called soma (software machine). A soma is a sequential process that can communicate with other somas by exchanging messages via mailboxes. The soma construct is well suited for implementation on conventional as well as on distributed computer architectures, the main characteristic of the latter being the absence of a common store. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Structure Metrics Based on Information Flow

    Publication Year: 1981, Page(s):510 - 518
    Cited by:  Papers (292)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3320 KB)

    Structured design methodologies provide a disciplined and organized guide to the construction of software systems. However, while the methodology structures and documents the points at which design decisions are made, it does not provide a specific, quantitative basis for making these decisions. Typically, the designers' only guidelines are qualitative, perhaps even vague, principles such as "func... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Development of Correct Specified Programs

    Publication Year: 1981, Page(s):519 - 527
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3048 KB)

    The paper describes a method of program development which guarantees correctness. Our programs consist of an operational part, called instruction, and a specification. Both these parts are subject to the development and the refinement process. The specification consists of a pre-and postcondition called global specification and a set of assertions called local specification. A specified program is... 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: 1981, Page(s): 527
    Request permission for commercial reuse | PDF file iconPDF (184 KB)
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1981, Page(s): 527-b
    Request permission for commercial reuse | PDF file iconPDF (216 KB)
    Freely Available from IEEE
  • Advance Announcement... Tutorial Week West81

    Publication Year: 1981, Page(s): 527
    Request permission for commercial reuse | PDF file iconPDF (2148 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