Login / Signup

Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers.

Javier CámaraDavid Garlan
Published in: IEEE Softw. (2023)
Keyphrases
  • formal methods
  • learning process
  • software engineers
  • decision making
  • reinforcement learning
  • multi agent systems
  • software engineering
  • databases
  • knowledge acquisition
  • black box
  • formal analysis
  • process algebra