By Topic

Software Engineering, IEEE Transactions on

Issue 6 • Date Nov. 1977

Filter Results

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

    Publication Year: 1977 , Page(s): c1
    Save to Project icon | Request Permissions | PDF file iconPDF (311 KB)  
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1977 , Page(s): c2
    Save to Project icon | Request Permissions | PDF file iconPDF (212 KB)  
    Freely Available from IEEE
  • The Evolution of Programs: Automatic Program Modification

    Publication Year: 1977 , Page(s): 377 - 385
    Cited by:  Papers (8)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (2680 KB)  

    An attempt is made to formulate techniques of program modification, whereby a given program that achieves one goal can be transformed into a new program that uses the same principles to achieve a different goal. For example, a program that uses the binary search paradigm to calculate the square root of a number may be modified to divide two numbers in a similar manner, or vice versa. The essence of the approach is to find an analogy between the specifications of the given and desired programs, and then to transform the given program accordingly. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Partitioning Program Graphs

    Publication Year: 1977 , Page(s): 386 - 393
    Cited by:  Papers (7)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (2344 KB)  

    In recent years, applications of graph theory to computer software have given fruitful results and attracted more and more attention. A program graph is a graph structural model of a program exhibiting the flow relation or connection among the elements (statements) in the program. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment

    Publication Year: 1977 , Page(s): 394 - 405
    Cited by:  Papers (15)  |  Patents (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (3080 KB)  

    The problem of designing compilers for a multiprocessing environment is approached. We show that by modeling an existing sequential compiler, we gain an understanding of the modifications necessary to transform the sequential structure into a pipeline of processes. The pipelined compiler is then evaluated through measurements and simulation. Properties of the model, a generalized Petri Net, are also discussed. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Argument in Favor of Mechanized Software Production

    Publication Year: 1977 , Page(s): 406 - 415
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (3344 KB)  

    A new software engineering methodology called program control structuring is proposed. Its development is justified by the need to offer the designer the capability to improve the productivity and quality of software development in the conditions of a "highly imperfect" environment. Such an environment is shown to involve the use of transient and inexperienced programmers, frequent alterations to the design specifications, and continuous development. The philosophy behind program control structuring is that of minimizing the probability of error in the design and implementation of large programs by means of language-and problem-dependent standardization. The particular standardization approach used by program control structuring is shown to provide 1) a program structure that is simple and flexible, readily understood, easily developed, and inexpensively maintained, and 2) a high-quality and partially mechanizable structure-oriented documentation scheme. Subsequently, it is suggested that many of the standards are mechanizable in the immediate future as a necessary condition for achieving higher productivity and improved program quality. Finally, the mechanization of software production is proposed as a step needed to precede the development of automatic program generation systems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Definition Mechanism for Standard PL/I

    Publication Year: 1977 , Page(s): 416 - 450
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (5512 KB)  

    The mechanism used to define the programming language PL/I in the recently adopted American National Standard is presented. This method provides a rigorous though semiformal specification of the language. If uses the model of translation of programs into an abstract form to define the context-free and context-sensitive syntax. The semantics are defined by the interpretation of the abstract form of the program on a hypothetical machine. The method and metalanguage are presented along with several small examples to illustrate the definition technique's features. The complete definition process is shown by the definition of a small example language. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of the Multiple-Attribute-Tree Data-Base Organization

    Publication Year: 1977 , Page(s): 451 - 467
    Cited by:  Papers (7)  |  Patents (6)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (3120 KB)  

    The multiple-attribute-tree (MAT) data-base organization is modeled and analyzed. Average retrieval time per query is obtained using a statistical estimation procedure and computationally efficient cost equations are presented. These cost equations are validated using a small experimental data base. Several real-life and generated data bases are used to demonstrate the effectiveness of the multiple-attribute-tree organization in reducing the expected retrieval time per query over conventional methods. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Parallel Processor Operating System Comparison

    Publication Year: 1977 , Page(s): 467 - 475
    Cited by:  Papers (25)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (3992 KB)  

    Three different operating system strategies for a parallel processor computer system are compared, and the most effective strategy for given job loads is determined. The three strategies compare uniprogramming versus multiprogramming and distributed operating systems versus dedicated processor operating systems. The level of evaluation includes I/O operations, resource allocation, and interprocess communication. The results apply to architectures where jobs may be scheduled to processors on the basis of processor availability, memory availability, and the availability of one other resource used by all jobs. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Contrast Between Language Level Measures

    Publication Year: 1977 , Page(s): 476 - 478
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (520 KB)  

    Software science techniques have been used to provide a framework for evaluation of problem solving systems. In that effort, two methods for calculating the level of a language (L and L̂) were used, it was suspected that L̂, while adequate in that application, might be inferior to L. By using a set of hypothetical languagesj each with different intrinsic data structures and operators, it is shown here that when an inappropriate language is applied to some problems, L̂ may reflect an inaccurately large value for language level, and can sometimes be made to yield an arbitrary value. Since L is often as easily applied as L, and does not exhibit this anomalous behavior, it is suggested that its general use is to be preferred. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computing with Impure Numbers: Automatic Consistency Checking and Units Conversion Using Computer Algebra

    Publication Year: 1977 , Page(s): 478 - 480
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (416 KB)  

    This note shows how computer-algebra systems may be used to include symbolic physical units in computer calculations, with automatic detection of dimensionally-inhomogeneous formulas and automatic conversion of inconsistent units in a dimensionally-homogeneous formula. Inhomogeneity errors are a prevalent type that is undetected in traditional programming languages, and the user is relieved of the tedious, error-prone units-conversion process. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 1977 Index IEEE Transactions on Software Engineering Vol. SE-3

    Publication Year: 1977 , Page(s): 480
    Save to Project icon | Request Permissions | PDF file iconPDF (754 KB)  
    Freely Available from IEEE
  • if your computer engineering library doesn't subscribe to all 3 it's not complete.

    Publication Year: 1977 , Page(s): 480
    Save to Project icon | Request Permissions | PDF file iconPDF (1220 KB)  
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1977 , Page(s): 480-e
    Save to Project icon | Request Permissions | PDF file iconPDF (144 KB)  
    Freely Available from IEEE
  • Announcing Computer Technology: Status, Limits, Alternatives

    Publication Year: 1977 , Page(s): 480
    Save to Project icon | Request Permissions | PDF file iconPDF (136 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
tseeicdwyer@computer.org