Embedding Scenario-based Modeling in Statecharts
暂无分享,去创建一个
[1] David Harel,et al. Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems , 2019, ArXiv.
[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[3] D. Harel,et al. Towards Synergistic Integration of Context-Based and Scenario-Based Development , 2017 .
[4] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[5] David Harel,et al. Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .
[6] David Harel,et al. PlayGo: towards a comprehensive tool for scenario based programming , 2010, ASE.
[7] David Harel,et al. On the Succinctness of Idioms for Concurrent Programming , 2015, CONCUR.
[8] David Harel,et al. InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming , 2006, IEEE Trans. Software Eng..
[9] David Harel,et al. On composing and proving the correctness of reactive behavior , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).