Joseph E. Hollingsworth

Affiliations:
  • Rose-Hulman Institute of Technology, Terre Haute, IN, USA
  • Indiana University Southeast, New Albany, IN, USA (former)


According to our database1, Joseph E. Hollingsworth authored at least 38 papers between 1994 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum.
Informatics Educ., 2021

Automated Analysis of Student Verbalizations in Online Learning Environments.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties.
Proceedings of the ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Virtual Event, Germany, June 26, 2021

2020
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.
Proceedings of the ECSEE '20: European Conference on Software Engineering Education, 2020

2019
Engaging in Logical Code Reasoning with an Activity-Based Online Tool.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

2018
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning.
Proceedings of the 3rd European Conference of Software Engineering Education, 2018

2017
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.
Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016
Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only).
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.
ACM Trans. Comput. Educ., 2015

Evaluation of Formal Reasoning Abilities Using a Concept Inventory.
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

2014
Special session: engaging mathematical reasoning exercises.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2013
Engaging mathematical reasoning exercises.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013


Specification and reasoning in SE projects using a Web IDE.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.
Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012
The Location Linking Concept: A Basis for Verification of Code Using Pointers.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Teaching mathematical reasoning across the curriculum.
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

A systematic approach to teaching abstraction and mathematical modeling.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques.
Proceedings of the 50th Annual Southeast Regional Conference, 2012

2008
Developing a common format for sharing programming assignments.
ACM SIGCSE Bull., 2008

Teaching query writing: an informed instruction approach.
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

2007
Which pointer errors do students make?
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2004
Contract-Checking Wrappers for C++ Classes.
IEEE Trans. Software Eng., 2004

2001
Identifying an appropriate view of software components for undergraduate education.
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

2000
Experience report: using RESOLVE/C++ for commercial software.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Checkmate: cornering C++ dynamic memory errors with checked pointers.
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

Reasoning about Software-Component Behavior.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1998
Providing intellectual focus to CS1/CS2.
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

A framework for detecting interface violations in component-based software.
Proceedings of the Fifth International Conference on Software Reuse, 1998

1995
The Effects of Layering and Encapsulation on Software Development Cost and Quality.
IEEE Trans. Software Eng., 1995

Reverse Engineering of Legacy Code Exposed.
Proceedings of the 17th International Conference on Software Engineering, 1995

1994
Part IV: RESOLVE components in Ada and C++.
ACM SIGSOFT Softw. Eng. Notes, 1994

Part III: implementing components in RESOLVE.
ACM SIGSOFT Softw. Eng. Notes, 1994

What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?
Proceedings of the 1994 Conference on TRI-Ada 1994, 1994


  Loading...