|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| David Harel, Michal Gordon-Kiwkowitz, "On Teaching Visual Formalisms," IEEE Software, vol. 26, no. 3, pp. 87-95, May/June, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/MS.2009.76, author = {David Harel and Michal Gordon-Kiwkowitz}, title = {On Teaching Visual Formalisms}, journal ={IEEE Software}, volume = {26}, number = {3}, issn = {0740-7459}, year = {2009}, pages = {87-95}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2009.76}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - On Teaching Visual Formalisms IS - 3 SN - 0740-7459 SP87 EP95 EPD - 87-95 A1 - David Harel, A1 - Michal Gordon-Kiwkowitz, PY - 2009 KW - visual formalisms KW - statecharts KW - reactive systems KW - live sequence charts VL - 26 JA - IEEE Software ER - | |||
1. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, vol. 8, no. 3, 1987, pp. 231–274.
2. D. Harel and E. Gery, "Executable Object Modeling with Statecharts," Computer, vol. 30, no. 7, 1997, pp. 31–42.
3. W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts," Formal Methods in System Design, vol. 19, no. 1, 2001, pp. 45–80.
4. D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer, 2003.
5. D. Barak, D. Harel, and R. Marelly, "InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming," IEEE Trans. Software Eng., vol. 32, no. 7, 2006, pp. 467–485.
6. T. Lev-Ami and S. Tyszberowitcz, "Reactive and Real-Time Systems Course: How to Get the Most Out of It," Real-Time Systems, vol. 25, nos. 2–3, 2003, pp. 231–253.
7. R. Lotenberg and S. Tyszberowitcz, "Student Projects in Reactive and Real-Time Systems Course," Proc. 3rd IEEE Real-Time Systems Education Workshop, IEEE CS Press, 1998, pp. 57–62.
8. E.R. Tufte, The Visual Display of Quantitative Information, Graphics Press, 1986.
9. E.R. Tufte, Envisioning Information, Graphics Press, 1990.
10. E.R. Tufte, Visual Explanations: Images and Quantities, Evidence and Narrative, Graphics Press, 1997.
11. D. Harel and A. Pnueli, "On the Development of Re-active Systems," Logics and Models of Concurrent Systems, K.R. Apt ed., Springer, 1985, pp. 477–498.
12. O. Maler, and A. Pnueli eds., , Hybrid Systems: Computation and Control, LNCS 2623, Springer, 2003.
13. D. Harel, "On Visual Formalisms," Comm. ACM, vol. 31, no. 5, 1988, pp. 514–530.
14. D. Harel and B. Rumpe, "Meaningful Modeling: What's the Semantics of 'Semantics'?" Computer, vol. 37, no. 10, 2004, pp. 64–72.
15. "UML Resource Page," Object Management Group, www.uml.org.
16. D. Harel and H. Kugler, "The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)," Proc. Integration of Software Specification Techniques for Applications in Eng., LNCS 3147, Springer, 2004, pp. 325–354.
17. S. Efroni, D. Harel, and I.R. Cohen, "Reactive Ani-ma-tion: Realistic Modeling of Complex Dynamic Sys-tems," Computer, vol. 38, no. 1, 2005, pp. 38–47.
18. S. Efroni, D. Harel, and I.R. Cohen, "Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation," Genome Research, vol. 13, no. 11, 2003, pp. 2485–2497.
19. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), Int'l Telecommunication Union, 1996.
20. N. Kam et al., "Formal Modeling of C. elegansDevelopment: A Scenario-Based Approach," Proc. 1st Int'l Workshop Computational Methods in Systems Biology (ICMSB), LNCS 2602, Springer, 2003, pp. 4–20.