Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements-Reference-Cited by-同舟云学术

Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

Published:2005 Issue: Volume: Page:309-324
ISSN:0302-9743
Container-title:Formal Methods in Software and Systems Modeling
language:
Short-container-title:

Author:

Harel David,Kugler Hillel,Pnueli Amir

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31847-7_18.pdf

Reference29 articles.

1. Lecture Notes in Computer Science;R. Alur,1999

2. Lecture Notes in Computer Science;T. Arons,2004

3. Lecture Notes in Computer Science;D. Barak,2004

4. Biermann, A.W., Krishnaswamy, R.: Constructing programs from example computations. IEEE Trans. Softw. Eng. SE-2, 141–153 (1976)

5. Bontemps, Y., Schobbens, P.Y.: Synthesizing open reactive systems from scenario-based specifications. In: Proc. of the 3rd Int. Conf. on Application of Concurrency to System Design (ACSD 2003). IEEE Computer Society Press, Los Alamitos (2003)

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

1. Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14

2. An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C);2024-03-12

3. Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios;Lecture Notes in Computer Science;2024

4. Operations on Timed Scenarios;Formal Techniques for Distributed Objects, Components, and Systems;2023

5. ACoRe: Automated Goal-Conflict Resolution;Fundamental Approaches to Software Engineering;2023