Author:
Amram Gal,Maoz Shahar,Pistiner Or
Publisher
Springer International Publishing
Reference48 articles.
1. Alexander, I.F., Maiden, N.: Scenarios, Stories, Use Cases: Through the Systems Development Life-Cycle. 1st edn. Wiley Publishing (2004)
2. Lecture Notes in Computer Science;D Alrajeh,2012
3. Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Using abduction and induction for operational requirements elaboration. J. Appl. Logic 7(3), 275–288 (2009)
4. Alur, R., Moarref, S., Topcu, U.: Counter-strategy guided refinement of GR(1) temporal logic specifications. In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, 20–23 October 2013, pp. 26–33. IEEE (2013).
https://doi.org/10.1109/FMCAD.2013.6679387
5. Lecture Notes in Computer Science;R Bloem,2015
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
2. GR(1)*: GR(1) specifications extended withexistential guarantees;Formal Aspects of Computing;2021-08
3. Spectra: a specification language for reactive systems;Software and Systems Modeling;2021-04-14
4. Adapting Behaviors via Reactive Synthesis;Computer Aided Verification;2021
5. Just-in-time reactive synthesis;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21