Eliezer Kantorowitz

Learn 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)
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)
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)
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)