From play-in scenarios to code: an achievable dream

Computer

Volumn 34, Issue 1, 2001, Pages 53-60

  Harel, David ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX REACTIVE SYSTEMS; PLAY-IN SCENARIOS; REQUIREMENTS CAPTURE METHOD; UNIFIED MODELING LANGUAGE;

COMPUTER HARDWARE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; HIGH LEVEL LANGUAGES; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; USER INTERFACES;

SOFTWARE ENGINEERING;

EID: 0035127659     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.895118     Document Type: Article

References (10)

1. T. DeMarco, Structured Analysis and System Specification, Yourdon Press, New York, 1978.
2. L.L. Constantine and E. Yourdon, Structured Design, Prentice Hall, Upper Saddle River, N.J., 1979.
3. P. Ward and S. Mellor, Structured Development for Real-Time Systems: Volumes 1-3, Yourdon Press, New York, 1985.
4. D. Hatley and I. Pirbhai, Strategies for Real-Time System Specification, Dorset House, New York, 1987.
5. D. Harel et al., "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Trans. Soft. Eng., vol. 16, no. 4, 1990, pp. 403-414; also in Proc. 10th Int'l Conf. Soft. Eng., IEEE Press, Piscataway, N.J., 1988, pp. 396-406.
6. D. Harel et al., "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Trans. Soft. Eng., vol. 16, no. 4, 1990, pp. 403-414; also in Proc. 10th Int'l Conf. Soft. Eng., IEEE Press, Piscataway, N.J., 1988, pp. 396-406.
7. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, vol. 8, 1987, pp. 231-274; also tech. report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, 1984.
8. D. Harel and A. Pnueli, "On the Development of Reactive Systems," in Logics and Models of Concurrent Systems, K.R. Apt, ed., NATO ASI Series, vol. F-13, Springer-Verlag, New York, 1985, pp. 477-498.
9. A. Pnueli, "Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends," Current Trends in Concurrency, J. de Bakker et al., eds., Lecture Notes in Computer Science, vol. 224, Springer-Verlag, Berlin, 1986, pp. 510-584.
10. D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill, New York, 1998.