By Topic

IEEE Transactions on Software Engineering

Issue 3 • Mar 1992

Filter Results

Displaying Results 1 - 7 of 7
  • A control-flow normalization algorithm and its complexity

    Publication Year: 1992, Page(s):237 - 251
    Cited by:  Papers (24)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1208 KB)

    A single method for normalizing the control-flow of programs to facilitate program transformations, program analysis, and automatic parallelization is presented. While previous methods result in programs whose control flowgraphs are reducible, programs normalized by this technique satisfy a stronger condition than reducibility and are therefore simpler in their syntax and structure than with previ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Orca: a language for parallel programming of distributed systems

    Publication Year: 1992, Page(s):190 - 205
    Cited by:  Papers (135)  |  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1604 KB)

    A detailed description is given of the Orca language design and the design choices are discussed. Orca is intended for applications programmers rather than systems programmers. This is reflected in its design goals to provide a simple, easy-to-use language that is type-secure and provides clean semantics. Three example parallel applications in Orca, one of which is described in detail, are discuss... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A lingua franca for concurrent logic programming

    Publication Year: 1992, Page(s):225 - 236
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1036 KB)

    Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the requirements of having clean semantics and providing good control facilities rather differently, and their respective merits are compared and contrasted. Since concurrent logic programming would benefit from both, but neither language is able to express all the programs express... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An automated approach to information systems decomposition

    Publication Year: 1992, Page(s):174 - 189
    Cited by:  Papers (32)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1460 KB)

    A method for automating the process of system decomposition is described. The method is based on a formal specification scheme, formal definition of good decomposition, heuristic rules governing the search for good candidate decompositions, and a measure of complexity that allows ranking of the candidate decompositions. The decomposition method has been implemented as a set of experimental compute... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions

    Publication Year: 1992, Page(s):252 - 261
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (796 KB)

    An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controll... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structural testing of concurrent programs

    Publication Year: 1992, Page(s):206 - 215
    Cited by:  Papers (95)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (840 KB)

    Although structural testing techniques are among the weakest available with regard to developing confidence in sequential programs, they are not without merit. The authors extend the notion of structural testing criteria to concurrent programs and propose a hierarchy of supporting structural testing techniques. Coverage criteria described include concurrency state coverage, state transition covera... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Two-dimensional specification of universal quantification in a graphical database query language

    Publication Year: 1992, Page(s):216 - 224
    Cited by:  Papers (11)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (804 KB)

    A technique is proposed for specifying universal quantification and existential quantification (combined with negation) in a two-dimensional (graphical) database query language. Unlike other approaches that provide set operators to simulate universal quantification, this technique allows a direct representation of universal quantification. Syntactic constructs for specifying universal and existent... 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