Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions

Authors

Joseph Hollingsworth, Rose-Hulman Insitute of TechnologyFollow
Megan Fowler, Clemson University
Michelle Cook, Clemson University
Yushan Sun, Clemson University
Murali Sitaraman, Clemson University
Jason Hallstrom, Florida Atlantic University

Document Type

Article

Publication Date

2020

DOI Number / ISBN

10.1145/3396802.3396807

External Access URL

https://doi-org.proxyse.uits.iu.edu/10.1145/3396802.3396807

Recommended Citation

Fowler, M., Kraemer, E. T., Sun, Y.-S., Sitaraman, M., Hallstrom, J. O., & Hollingsworth, J. E. (2020). Tool-aided assessment of difficulties in learning formal design-by-contract assertions. Proceedings of the 4th European Conference on Software Engineering Education, 52-60. https://doi.org/10.1145/3396802.3396807