Login / Signup

CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker.

Miren Illarramendi RezabalLeire EtxeberriaFelix LarrinagaGoiuria Sagardui
Published in: ISSRE Workshops (2020)
Keyphrases
  • state machine
  • finite state machines
  • state machines
  • main contribution
  • information systems
  • case study
  • probabilistic model
  • software engineering
  • open source
  • database design