Login / Signup

Abstracting a specification from code.

Martin P. Ward
Published in: J. Softw. Maintenance Res. Pract. (1993)
Keyphrases
  • code generation
  • high level
  • source code
  • formal specification
  • formal verification
  • database
  • real time
  • artificial intelligence
  • data structure
  • multi agent systems
  • hidden markov models
  • specification language
  • tool suite