Login / Signup

On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment.

Philipp PaulweberGeorg SimhandlUwe Zdun
Published in: J. Syst. Softw. (2021)
Keyphrases
  • state machine
  • state machines
  • language constructs
  • finite state machines
  • query language
  • high level
  • modeling language
  • petri net
  • fault tolerant
  • data model
  • black box
  • control flow
  • case study
  • data manipulation