Synthesis from scenario-based specifications

DOI10.1016/j.jcss.2011.08.008zbMath1246.68095OpenAlexW2024101817MaRDI QIDQ439960

David Harel, Itai Segall

Publication date: 17 August 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.08.008

zbMATH Keywords

synthesisspecificationlive sequence chartsLSCscenario-based programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• JTLV

Cites Work

• Using branching time temporal logic to synthesize synchronization skeletons
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
• A Deductive Approach to Program Synthesis
• On the Power of Play-Out for Scenario-Based Programs
• Solving Sequential Conditions by Finite-State Strategies
• Decidability of Second-Order Theories and Automata on Infinite Trees
• FM 2005: Formal Methods
• Verification, Model Checking, and Abstract Interpretation
• LSCs: Breathing life into message sequence charts
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Synthesis from scenario-based specifications