Statecharts : Some Critical Observations
暂无分享,去创建一个
[1] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[2] R. Ortega,et al. Experiences using statecharts for a system requirements specification , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.
[3] David Harel,et al. On statecharts with overlapping , 1992, TSEM.
[4] Nancy G. Leveson,et al. Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..
[5] Michael von der Beeck,et al. A Comparison of Statecharts Variants , 1994, FTRTFT.
[6] Nancy G. Leveson,et al. Designing specification languages for process control systems: lessons learned and steps to the future , 1999, ESEC/FSE-7.
[7] Martin Glinz,et al. Statecharts For Requirements Specification - As Simple As Possible, As Rich As Needed , 2002 .
[8] Michael Breen. On Abstraction in Finite State Machine Models , 2004 .