|
|
|
|
I am a "distributed" member of the RSRG-OhioState and RSRG-Clemson (RESOLVE/Reusable Software Research Group).
The work of the group deals with the disciplined engineering of component-based software systems and the software components (a.k.a. reusable software components) from which they can be built. The vision is to design and develop a language that supports carefully engineered component-based software, and a true verifying compiler for it. Our research language is called RESOLVE. The RESOLVE research effort is one of the longest running software engineering efforts in the USA. It spans foundational, practical, and educational aspects of software engineering and computing.
At Rose-Hulman I currently teach:
At IU Southeast I taught:
My research background in component engineering heavily influences both of these courses.
Nathan Hurtig, Joseph Hollingsworth, Sarah Blankenship, Eileen Kraemer, Murali Sitaraman, and Jason O. Hallstrom. 2022. Network Visualization and Assessment of Student Reasoning About Conditionals. In Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1 (ITiCSE '22). Association for Computing Machinery, New York, NY, USA, 255-261. https://doi-org.proxyse.uits.iu.edu/10.1145/3502718.3524793
N. Hurtig, J. Hollingsworth and O. Scrivner, "Visualization of Students' Solutions as a Sequential Network," 2022 IEEE Global Engineering Education Conference (EDUCON), 2022, pp. 1189-1194, doi: 10.1109/EDUCON52537.2022.9766502
Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph Hollingsworth, Eileen Kraemer, Murali Sitaraman, and Gloria Washington. 2021. Automated Analysis of Student Verbalizations in Online Learning Environments. In Emerging Technologies for Education: 6th International Symposium, SETE 2021, Zhuhai, China, November 11-12, 2021, Revised Selected Papers. Springer-Verlag, Berlin, Heidelberg, 290-302. https://doi-org.proxyse.uits.iu.edu/10.1007/978-3-030-92836-0_25
Megan Fowler, Jason Hallstrom, Joseph Hollingsworth, Eileen Kraemer, Murali Sitaraman, Yu-Shan Sun, Jiadi Wang, Gloria Washington, Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum, Informatics in Education 20(2021), no. 4, 533-566, DOI 10.15388/infedu.2021.24
Megan Fowler, Eileen Kraemer, Murali Sitaraman, and Joseph E. Hollingsworth. 2021. Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. In Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1 (ITiCSE '21). Association for Computing Machinery, New York, NY, USA, 387-393. https://doi-org.proxyse.uits.iu.edu/10.1145/3430665.3456351
Megan Fowler, Eileen Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason Hallstrom, Joseph Hollingsworth, 2020. Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. In Proceedings of the 4th European Conference of Software Engineering Education (ECSEE '20). ACM, New York, NY, USA, 52-60. DOI: https://doi-org.proxyse.uits.iu.edu/10.1145/3396802.3396807
Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, and Joseph E. Hollingsworth. 2019. Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE '19). ACM, New York, NY, USA, 1039-1045. DOI: https://doi-org.proxyse.uits.iu.edu/10.1145/3287324.3287401
Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, and Murali Sitaraman. 2018. Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. In Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2018). ACM, New York, NY, USA, 39-44. DOI: https://doi.org/10.1145/3197091.3197133
Eileen T. Kraemer, Murali Sitaraman, and Joseph Hollingsworth. 2018. An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning. In Proceedings of the 3rd European Conference of Software Engineering Education (ECSEE'18). ACM, New York, NY, USA, 18-25. DOI: https://doi.org/10.1145/3209087.3209100
Heym, W., Sivilotti, P., Bucci, P., Sitaraman, M., Plis, K., Hollingsworth, J., Krone, J., Sridhar, N., "Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions", CSEE&T 2017 : 30th IEEE Conference on Software Engineering Education and Training, Savannah, Georgia, 7-9 November 2017.
Drachova, S.V., Hallstrom, J.O., Hollingsworth, J.E., Krone, J., Pak, R., and Sitaraman, M. 2015. Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. Transactions on Computing Education.15, 3, Article 15 (August 2015), 22 pages. DOI=10.1145/2716316 http://doi.acm.org/10.1145/2716316
Hollingsworth, J.E., Sitaraman, M. 2015. Evaluation of Formal Reasoning Abilities Using a Concept Inventory. Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015, 59-66.
Drachova, S.V., Hallstrom, J.O., Hollingsworth, J.E., Krone, J., Pak, R., Sitaraman, M., "Teaching and Assessment of Mathematical Reasoning Principles Using a Concept Inventory", Technical Report RSRG-13-06, School of Computing, Clemson University, Clemson, SC 29634-0974, August 2013, 20 pages [PDF].
Drachova, S.V., Hollingsworth, J.E., Sitaraman, M., "Types of Important Observations to Study Project Assessment - A Case Study", Technical Report RSRG-13-07, School of Computing, Clemson University, Clemson, SC 29634-0974, September 2013, 6 pages [PDF].
Kulczycki, G., Sitaraman, M., Krone, J., Hollingsworth, J.E., Ogden, W.F., Weide, B.W., Bucci,P., Cook,C.T., Drachova-Strang, S., Durkee, B., Harton H.K., Heym, W.D., Hoffman, D., Smith, H., Sun, Y., Tagore, A., Yasmin, N., Zaccai, D., "A Language for Building Verified Software Components", ICSR 2013: 308-314, Pisa, Italy, 18 - 21 June 2013.
Cook, C.T., Drachova, S., Sun, Y., Sitaraman, M., Carver, J.C., Hollingsworth, J.E., "Specification and Reasoning in SE Projects Using a Web IDE", Technical Report RSRG-13-02, School of Computing, Clemson University, Clemson, SC 29634-0974, February 2013, 10 pages [PDF].
Cook, C.T., Drachova, S., Hallstrom, J.O., Hollingsworth, J.E., Jacobs, D.P., Krone, J., Sitaraman, M., "A Systematic Approach to Teaching Abstraction and Mathematical Modeling", ITiCSE 2012: 357-362, Haifa, Israel 3-5 July 2012.
Kulczyckil, G.W., Smith, H., Harton, H., Sitaraman, M., Ogden, W.F., and Hollingsworth, J.E., "The Location Linking Concept: A Basis for Verification of Code Using Pointers", in VSTTE 2012 : Verified Software: Theories, Tools and Experiments, Philadelphia, USA, January 2012.
Drachova-Strang, S., Sitaraman, M., and Hollingsworth, J.E., "Experimentation with Tutors for Teaching Mathematical Reasoning and Specification", in 2011 International Conference on Frontiers in Education: Computer Science and Computer Engineering, Las Vegas, USA, July 2011.
Hollingsworth, J. E. 2008. Teaching query writing: an informed instruction approach. In Proceedings of the 13th Annual Conference on innovation and Technology in Computer Science Education (Madrid, Spain, June 30 - July 02, 2008). ITiCSE '08. ACM, New York, NY, 351-351. DOI= http://doi.acm.org/10.1145/1384271.1384393 [PDF]
Edwards, S. H., Borstler, J., Cassel, L. N., Hall, M. S., and Hollingsworth, J. 2008. Developing a common format for sharing programming assignments. SIGCSE Bull. 40, 4 (Nov. 2008), 167-182. DOI= http://doi.acm.org/10.1145/1473195.1473240
Adcock, B., Bucci, P., Heym, W., Hollingsworth, J., Long, T., Weide, B., "Which Pointer Errors Do Students Make?", in 38th SIGCSE Technical Symposium on Computer Science Education, ACM, March 2007, Covington, KY [PDF]
Edwards, S.H., Hollingsworth, J.H., Sitaraman, M., Weide, B.W., "Contract Checking Wrappers for C++ Classes", IEEE Transactions on Software Engineering, Vol. 30, No. 11, pps. 794 - 810, November 2004. [PDF]
J. Hollingsworth, "Toys Are Us: Improving Instruction with Toys in the Computer Science Classroom", workshop presented at the 34st SIGCSE Technical Symposium on Computer Science Education, ACM, March 2003, Reno, NV
J. Hollingsworth, L. Blankenship and B. Weide, "Experience Report: Using RESOLVE/C++ for Commercial Software", in Eighth International Symposium on the Foundations of Software Engineering, ACM SigSoft, November 2000, San Diego, CA. [PDF]
P. Bucci, J. Hollingsworth, T. Long, and B. Weide, "Toys Are Us: Presenting Mathematical Concepts in CS1/CS2", in The 2000 Frontiers in Education, IEEE, October 2000, Kansas City, MO.
S. Pike, B. Weide, and J. Hollingsworth, "Checkmate: Cornering C++ Dynamic Memory Errors With Checked Pointers", in Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, ACM, March 2000, Austin, TX, pp. 352-356.
email: hollings@rose-hulman.edu
office: Moench F203
address: 5500 Wabash Avenue
Terre Haute, IN 47803
phone: 812-877-8482
URL: Dr. Holly
Last Updated: 29 September 2023