Login / Signup

Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design.

Benedikt WalterJan MartinJonathan SchmidtHanna DettkiStephan Rudolph
Published in: MODELSWARD (2019)
Keyphrases
  • functional requirements
  • design principles
  • state machines
  • case study
  • requirements engineering
  • real time
  • neural network
  • xml documents
  • supply chain
  • visual features
  • business processes
  • business process
  • fault tolerant