Login / Signup

Can Learning Formal Specification Be Fun? - Experience and Perspective.

I. S. W. B. PrasetyaCraig Q. H. D. LeekRoan OosenbrugPetar KosticMike de Vries
Published in: ICST Workshops (2020)
Keyphrases
  • formal specification
  • learning algorithm
  • learning process
  • knowledge acquisition
  • model checking
  • specification language
  • artificial intelligence
  • learning curve
  • object oriented design