• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Improving certification capability through automatic code generation.

Neil C. AudsleyIain BateSteven Crook-DawkinsJohn Alexander McDermid
Published in: IFIP Congress Topical Sessions (2004)
Keyphrases
  • code generation
  • application development
  • software development
  • rapid prototyping
  • code generator
  • databases
  • modeling language
  • formal specification
  • model driven
  • user interface
  • distributed systems
  • computer aided