Login / Signup

Automatic recovery of statecharts from procedural code.

Moria AbadiYishai A. Feldman
Published in: ASE (2012)
Keyphrases
  • semi automatic
  • source code
  • database
  • databases
  • search engine
  • multi agent
  • object oriented
  • fully automatic
  • real time
  • neural network
  • machine learning
  • high level
  • static analysis
  • formal methods
  • agent oriented