Login / Signup
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.
Murali Sitaraman
Jason O. Hallstrom
Jarred White
Svetlana Drachova-Strang
Heather K. Harton
Dana P. Leonard
Joan Krone
Richard 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