Context-Oriented Behavioral Programming-Reference-Cited by-同舟云学术

Context-Oriented Behavioral Programming

Published:2021-05 Issue: Volume:133 Page:106504
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Elyasaf Achiya

Funder

Institute for Innovation in Transportation, Tel-Aviv University

Fuel-Choices and Smart-Mobility Initiative, Israel

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference40 articles.

1. Behavioral programming;Harel;Commun. ACM,2012

2. Programming coordinated behavior in java;Harel,2010

3. Michael Bar-Sinai, Achiya Elyasaf, Aviran Sadon, Gera Weiss, A scenario based on-board software and testing environment for satellites, in: 59th Israel Annual Conference on Aerospace Sciences, IACAS 2019, Vol. 2, 2019, pp. 1407–1419.

4. Using behavioral programming with solver, context, and deep reinforcement learning for playing a simplified robocup-type game;Elyasaf,2019

5. On-the-fly construction of composite events in scenario-based modeling using constraint solvers;Katz,2019

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

1. Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24

2. Boosting LLM-Based Software Generation by Aligning Code with Requirements;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24

3. Categorizing methods for integrating machine learning with executable specifications;Science China Information Sciences;2023-10-17

4. Provengo: A Tool Suite for Scenario Driven Model-Based Testing;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

5. Enhancing Deep Reinforcement Learning with Executable Specifications;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05