Weaving a Formal Methods Education with Problem-Based Learning.
J. Paul GibsonPublished in: ISoLA (2008)
Keyphrases
- problem based learning
- formal methods
- higher education
- teaching strategies
- introductory computer
- computer mediated communication
- knowledge based systems
- model checking
- case study
- cooperative learning
- supporting collaborative
- data collection
- formal specification
- learning sciences
- project based learning
- artificial intelligence
- pedagogical model
- modeling language
- software engineering
- critical thinking
- pre service teachers
- tutoring system
- medical education
- interactive learning environments
- student centered
- preservice teachers
- facilitate learning
- teacher education
- distance learning
- knowledge representation
- temporal logic
- development lifecycle