Eliezer Kantorowitz

Learn More
A single adaptable user interface (AUI) which allows the user to switch between any number of different dialogue modes at any time—even in the middle of a command—can be useful to a variety of users who are neither beginners nor experts. It can also be used in applications where different dialogue modes are appropriate for the various parameters(More)
A costly part of software development regards verification, i.e., checking that the code implements the specification correctly. We introduce the concept of specification-oriented frameworks, with the purpose of facilitating verification. A specification-oriented framework enables direct translation of the specifications into code, whose equivalence with(More)
Faults in system requirements can be very harmful. It is therefore often required that the inspection achieves a high fault detection rate (FDR). To achieve this, a large number of inspectors is required. Large teams are known to be inefficient. Therefore, the N-fold requirements inspection method divides the inspectors into N small efficient teams. All(More)
SUMMARY The object oriented (O-O) approach is claimed to have a number of advantages. Some support to these claims appeared during an O-O redesign of a legacy CAD system. A surprisingly simple and efficient solution algorithm was discovered for a change propagation problem. The analysis of the case employs the new concepts of implementation and extension(More)
Specification-oriented components (SOC's) are designed to facilitate the implementation of a system directly from its specifications. An earlier study has shown cases in which SOC's enabled information systems to be implemented with considerably less code than when implemented with components designed by a typical object-oriented approach. This study goes a(More)
Interactive computer applications are sometimes specified by their use cases. These specifications are often formulated in a natural language to enable domain experts, that are not familiar with formal notations, to validate their usefulness. A use case-oriented application framework facilitates manual translation of the natural language specifications into(More)
Code review is considered an efficient method for detecting faults in a software code document. The number of faults not detected by the review should be small. Current methods for estimating this number assume reviews with several inspectors, but there are many cases where it is practical to employ only two inspectors. Sufficiently accurate estimates may(More)