- Cherry, G. W. Software Construction by Object-Oriented Pictures: Specifying Reactive and Interactive Systems. New York: Dorset House (800-342-6657), 1990.Google Scholar
- Davis, A. M. A comparison of techniques for the specification of external system behavior, Communications of the ACM, September, 1988, 1098-1115. Google ScholarDigital Library
- Harel, D. et al. STATEMATE: A working environment for the development of complex reactive systems. In Software State-of-the-Art: Selected Papers, edited by Tom DeMarco and Timothy Lister, New York: Dorset House, 1990, 322-338. Google ScholarDigital Library
- Harel, D. Algorithmics: The Spirit of Computing. 2nd Edition, Addison-Wesley, 1992. Google ScholarDigital Library
- Mills, H. D. Stepwise refinement and verification in box-structured systems, Computer, June 1988, 23-37. Google ScholarDigital Library
- Walters, N. Using Harel statecharts to model object-oriented behavior. Software Engineering Notes, October 1992, 28-31. Google ScholarDigital Library
- Zave, P. & Jackson, D. Practical Specification techniques for control-oriented systems. In Proceeding of the IFIP 11th Worm Computer Congress, edited by G. X. Ritter, North-Holland: New York, 1989.Google Scholar
Index Terms
- Stimulus-response machines: a new visual formalism for describing classes and objects
Recommendations
Incongruent abstract stimulus-response bindings result in response interference: Fmri and eeg evidence from visual object classification priming
Stimulus repetition often leads to facilitated processing, resulting in neural decreases (repetition suppression) and faster RTs (repetition priming). Such repetition-related effects have been attributed to the facilitation of repeated cognitive ...
Correlates of Stimulus-Response Congruence in the Posterior Parietal Cortex
Primate behavior is flexible: The response to a stimulus often depends on the task in which it occurs. Here we study how single neurons in the posterior parietal cortex (PPC) respond to stimuli which are associated with different responses in different ...
Context Modulates Early Stimulus Processing when Resolving Stimulus-response Conflict
When responding to stimuli in our environment, the presence of multiple items associated with task-relevant responses affects both ongoing response selection and subsequent behavior. Computational modeling of conflict monitoring and neuroimaging data ...
Comments