ScenarioTools – A tool suite for the scenario-based modeling and analysis of reactive systems-Reference-Cited by-同舟云学术

ScenarioTools – A tool suite for the scenario-based modeling and analysis of reactive systems

Author:

Greenyer Joel^ORCID,Gritzner Daniel,Gutjahr Timo,König Florian,Glade Nils,Marron Assaf,Katz Guy

Funder

German–Israeli Foundation for Scientific Research and Development

Publisher

Elsevier BV

Subject

Software

Reference20 articles.

1. On the development of reactive systems;Harel,1985

2. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine;Harel,2003

3. The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions;Brenner,2013

4. Specifying and executing behavioral requirements: the play-in/play-out approach;Harel;SoSyM,2003

5. Henshin: advanced concepts and tools for in-place EMF model transformations;Arendt,2010

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

4. Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10

5. Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10