Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns

2021/09/24 by David Harel, Assaf Marron, Raz Yerushalmi · 1 citation
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #AI-based Problem Solving and Planning

paper · doi:10.1109/mc.2021.3099044

Abstract

A method for programming reactive systems, called scenario-based algorithmics, can have several advantages, both in programming and in computer science education. We provide new examples, experiments, and perspectives.

Cited by

• A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification

Related

• Situations and Computation: An Overview of Recent Research
• Algodynamics: Teaching Algorithms using Interactive Transition Systems
• On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers
• SCoGen: Scenario-Centric Graph-Based Synthesis of Real-World Code Problems
• Anyone Can Code: Algorithmic Thinking