Login / Signup

An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners.

Daniel RatiuAndreas Ulrich
Published in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
  • model driven
  • code generation
  • data driven
  • source code
  • service oriented
  • real time
  • information systems
  • decision support
  • dynamic environments
  • metamodel