I am a "distributed" member of the Resolve/Reusable Software Research Group (RSRG) based at Ohio State University's Computer and Information Science Department.
RSRG's charter is to explore all aspects of reusable software "component engineering." We see advances here as being necessary in any successful attack on the problems of programmer productivity and, especially, software quality. Our approach involves a broad look at several related subareas: formal specification of functionality, modular certification of correctness and efficiency of implementation, design of programming languages and systems, and adaptation of our RESOLVE technology to practice in Ada and C++.
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.
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", to appear in ITiCSE 2012 : 17th Annual Conference on Innovation and Technology in Computer Science Education, 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., 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= 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: 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: 01/20/13