Joe Hollingsworth
Professor of Computer Science

Dr. Holly

Research Program
Computer Science Education
Recent Grants
Selected Publications
Other Activities
Contact Information
IU Southeast CSCI Homepage
IU Southeast Informatics
IU Southeast Homepage
Indiana University Homepage

Research Program

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.

Computer Science Education

At IU Southeast I recently/currently teach:

My research background in component engineering heavily influences both of these courses. Students who pass through both have a good grounding in the RESOLVE/C++ approach to software engineering.

Since Spring 1996 I have been using the WWW to augment the face-to-face meeting between professor and students in CSCI A247, C251, C343 and C455; Informatics I201 and I308, with a virtual meeting place. Each class has its own Web page where I post the syllabus, lab assignments, etc., along with up-to-date information to help students where they seem to be struggling the most.

Recent/Teaching Grants

Recent Publications & Presentations

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= [PDF]

Edwards, S. H., Börstler, 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= 

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.

Other Activities

Contact Information

    office: Life Science 108
   address: 4201 Grant Line Road
            New Albany, IN  47150
     phone: 812-941-2425
       FAX: 812-941-2637
       URL: Dr. Holly

Last Updated: 11/11/13