By Topic

IEEE Transactions on Software Engineering

Issue 5 • Date May 1986

Filter Results

Displaying Results 1 - 9 of 9
  • Editorial

    Publication Year: 1986, Page(s): 589
    Request permission for commercial reuse | PDF file iconPDF (147 KB)
    Freely Available from IEEE
  • The automatic inversion of attribute grammars

    Publication Year: 1986, Page(s):590 - 599
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2238 KB)

    Attribute grammars constitute a formal mechanism for specifying translations between languages; from a formal description of the translation, a translator can be automatically constructed. This process is taken one step further; given an attribute grammar specifying the translation from language L1 to language L2, the question of whether the inverse attribute gr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient decentralized consensus protocols

    Publication Year: 1986, Page(s):600 - 607
    Cited by:  Papers (29)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1856 KB)

    Decentralized consensus protocols are characterized by successive rounds of message interchanges. Protocols which achieve a consensus in one round of message interchange require O(N2) messages, where N is the number of participants. A communication scheme based on finite projective planes is presented which requires only O(NN) messages for each round.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The cloze procedure and software comprehensibility measurement

    Publication Year: 1986, Page(s):608 - 623
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3474 KB)

    Cloze tests (i.e. fill-in-missing-parts tests) have been a long-standing measure of prose comprehension. Through human-subject experimentation, evidence was gathered to support the practical advantages of using the cloze procedure for measuring software comprehension. Cloze tests were found to be easy to construct, administer, and score and to be capable of discriminating between programs of varyi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ARES: A relational database with the capability of performing flexible interpretation of queries

    Publication Year: 1986, Page(s):624 - 634
    Cited by:  Papers (18)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5538 KB)

    In ARES, relational operations have been functionally augmented with an additional comparison operator. This operator implies `approximately equal to' or `similar to' for cases in which the user expects the system to perform a flexible interpretation of the query conditions. The functional augmentation is simply achieved by a combination of conventional relational operations. ARES is now in actual... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Privilege transfer and revocation in a port-based system

    Publication Year: 1986, Page(s):635 - 648
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3636 KB)

    Gutenberg is a port-based operating system being designed to study protection issues in distributed systems. All shared resources are viewed as protected objects and hence can be assessed only via specific operations defined on them. Processes communicate and access objects through the use of ports. Each port is associated with an abstract data type operation and can be created by a process only i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Direct implementation of abstract data types from abstract specifications

    Publication Year: 1986, Page(s):649 - 661
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2549 KB)

    The development of correct specifications is a critical task in the software development process. An alternative approach for the development of specifications is described. The approach relies on a specification language for abstract data types and synthesis system. The system is capable of translating in abstract data type specification into an executable program. This process defines an alterna... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptive load sharing in homogeneous distributed systems

    Publication Year: 1986, Page(s):662 - 675
    Cited by:  Papers (303)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (669 KB)

    Rather than proposing a specific load sharing policy for implementation, the authors address the more fundamental question of the appropriate level of complexity for load sharing policies. It is shown that extremely simple adaptive load sharing policies, which collect very small amounts of system state information and which use this information in very simple ways, yield dramatic performance impro... 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: 1986, Page(s): 676
    Request permission for commercial reuse | PDF file iconPDF (40 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