Login / Signup

Design Assessment of Ada Systems Using Static Analysis.

Alex DelisWilliam M. Thomas
Published in: Ada-Europe (1991)
Keyphrases
  • static analysis
  • building blocks
  • knowledge based systems
  • support systems
  • database
  • decision trees
  • case study
  • object oriented
  • regular expressions
  • dynamic analysis
  • java card
  • test case generation