Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023
ConStaBL -- A Fresh Look at Software Engineering with State Machines
Karthika Venkatesan, Sujit Kumar Chakrabarti
Statechart is a visual modelling language for systems. In this paper, we extend our earlier work on modular statecharts with local variables and present an updated operational sema…
cs.SE2019
StaBL - State Based Language for Specification of Web Applications
Karthika Venkatesan, Sujit Kumar Chakrabarti
Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt f…