A Formal Analysis of the Fault-Detecting Ability of Testing Methods
Several relationships between software testing criteria, each induced by a relation between the corresponding multisets of subdomains, are examined. The authors discuss whether for each relation R and each pair of criteria, C/sub 1/ and C/sub 2/, R(C/...
Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method
Preemptive (resume) scheduling of cooperative tasks that have been preassigned to a set of processing nodes in a distributed system, when each task is assumed to consist of several modules is discussed. During the course of their execution, the tasks ...
A Technique for Drawing Directed Graphs
A four-pass algorithm for drawing directed graphs is presented. The fist pass finds an optimal rank assignment using a network simplex algorithm. The seconds pass sets the vertex order within ranks by an iterative heuristic, incorporating a novel weight ...
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements
A solution to the problem of incremental attribute evaluation for multiple asynchronous subtree replacements that is applicable to arbitrary noncircular attribute grammars is discussed. The algorithm supports multiple independent editing cursors. ...
A New Approach to Version Control
A method for controlling versions of software and other hierarchically structured entities is presented. Using the variant structure principle, a particular version of an entire system is formed by combining the most relevant existing versions of the ...
Formal Derivation of Rule-Based Programs
It is shown that a combination of specification and program refinement may be applied to deriving efficient concurrent rule-based programs. Specification refinement is used to generate an initial rule-based program that is refined into a program which ...
User Navigation in Computer Applications
An abstract model of keyboard navigation that is based on real-world requirements is described. The importance of keyboard navigation is discussed, and the current approaches to keyboard navigation are reviewed. Several requirements for a successful ...
Comments on 'Defining Software by Continuous Smooth Functions' by R.A. De Millo and R.J. Lipton
The commenter agrees with R.A. De Millo and R.S. Lipton's assertion in the above-titled work that continuous, smooth functions of comparable complexity can be used to represent Boolean functions computed by programs. The commenter reconciles this ...
Correction to 'On Satisfying Timing Constraints in Hard-Real-Time Systems' by J. Xu and D.L. Parnas
Corrected versions are presented for tables I and III that appear in the above-titled paper.