Login / Signup

Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.

Murali SitaramanJason O. HallstromJarred WhiteSvetlana Drachova-StrangHeather K. HartonDana P. LeonardJoan KroneRichard Pak
Published in: ITiCSE (2009)
Keyphrases
  • real life
  • knowledge base
  • evaluation method
  • qualitative simulation
  • engaging students
  • data sets
  • object oriented
  • software engineering
  • virtual environment
  • formal specification
  • legal reasoning
  • reasoning systems