[12] Korel B., PELAS- Program Error Locating Assistant System, IEEE Transactions on Software Engineering,
نویسندگان
چکیده
Example of the session with the FORMAN/PASCAL assertion checker prototype .
منابع مشابه
Adaptive noncontact gesture-based system for augmentative communication.
An adaptive noncontact gesture-based system for augmentative communication is described. The system detects movement of any anatomical site through the analysis of reflected speckle. This movement is converted into two-dimensional (2-D) cursor coordinates and an adaptive software interface provides click actions and decision strategies. The system requires no accessory to be placed on the user....
متن کاملSearch Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering
متن کامل
Locating White Box Reuse via Data Mining
ionUser1.2.3.4.5.6.7.Figure 1: The Abstraction Technique4 ing [1]. Hence, the attribute values are interfaces,which can be expanded to show further values. Wewill provide a three-dimensional view, similar to adrilling technique in executive information systems.As a demonstration, consider the feature-name ex-ample attribute. First pass...
متن کاملLocating dependence structures using search-based slicing
This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formulates this problem as a search based software engineering problem. To evaluate the approach, the paper introduces an instance of a search based slicing problem concerned with locating sets of slices that decompose a pro...
متن کاملBrain-computer interfaces based on the steady-state visual-evoked response.
The Air Force Research Laboratory has implemented and evaluated two brain-computer interfaces (BCI's) that translate the steady-state visual evoked response into a control signal for operating a physical device or computer program. In one approach, operators self-regulate the brain response; the other approach uses multiple evoked responses.
متن کامل