By Topic

# IEEE Transactions on Software Engineering

## Filter Results

Displaying Results 1 - 9 of 9
• ### Editorial

Publication Year: 1986, Page(s): 589
| PDF (147 KB)
• ### The automatic inversion of attribute grammars

Publication Year: 1986, Page(s):590 - 599
Cited by:  Papers (1)
| | PDF (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»

• ### Efficient decentralized consensus protocols

Publication Year: 1986, Page(s):600 - 607
Cited by:  Papers (30)
| | PDF (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»

• ### The cloze procedure and software comprehensibility measurement

Publication Year: 1986, Page(s):608 - 623
Cited by:  Papers (2)
| | PDF (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»

• ### 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)
| | PDF (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»

• ### Privilege transfer and revocation in a port-based system

Publication Year: 1986, Page(s):635 - 648
Cited by:  Papers (2)  |  Patents (1)
| | PDF (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»

• ### Direct implementation of abstract data types from abstract specifications

Publication Year: 1986, Page(s):649 - 661
Cited by:  Papers (4)
| | PDF (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»

Publication Year: 1986, Page(s):662 - 675
Cited by:  Papers (303)  |  Patents (6)
| | PDF (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»

• ### Call for papers

Publication Year: 1986, Page(s): 676
| PDF (40 KB)

## 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