Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.
Svetlana V. DrachovaJason O. HallstromJoseph E. HollingsworthJoan KroneRichard PakMurali SitaramanPublished in: ACM Trans. Comput. Educ. (2015)
Keyphrases
- educational software
- teaching mathematics
- software systems
- teaching strategies
- programming course
- software design
- software development
- learning systems
- computer systems
- knowledge base
- software maintenance
- software process improvement
- human reasoning
- problem based learning
- online learning
- case study
- computer technology
- learning analytics
- distance education
- computer programming
- design patterns
- reasoning process
- computer software
- software engineering
- knowledge representation
- learning environment
- student responses
- instructor led
- mathematical proofs