Joseph E. Hollingsworth

According to our database, Joseph E. Hollingsworth authored at least 40 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Network Visualization and Assessment of Student Reasoning About Conditionals.

Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

Visualization of Students' Solutions as a Sequential Network.

Nathan Hurtig, Joseph E. Hollingsworth, Olga Scrivner

Proceedings of the IEEE Global Engineering Education Conference, 2022

2021

Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum.

Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Yu-Shan Sun, Jiadi Wang, Gloria J. Washington

Informatics Educ., 2021

Automated Analysis of Student Verbalizations in Online Learning Environments.

Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Murali Sitaraman, Eileen T. Kraemer, Gloria J. Washington

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.

Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

2020

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

Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth

Proceedings of the ECSEE '20: European Conference on Software Engineering Education, 2020

2019

Engaging in Logical Code Reasoning with an Activity-Based Online Tool.

Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman

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.

Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth

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.

Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman

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.

Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth

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.

Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar

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).

John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.

Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman

ACM Trans. Comput. Educ., 2015

Evaluation of Formal Reasoning Abilities Using a Concept Inventory.

Joseph E. Hollingsworth, Murali Sitaraman

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

2014

Special session: engaging mathematical reasoning exercises.

Joseph E. Hollingsworth, Murali Sitaraman

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2013

Engaging mathematical reasoning exercises.

Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide

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).

Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

A Language for Building Verified Software Components.

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

Specification and reasoning in SE projects using a Web IDE.

Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.

Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone

Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012

The Location Linking Concept: A Basis for Verification of Code Using Pointers.

Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Teaching mathematical reasoning across the curriculum.

Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).

Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

A systematic approach to teaching abstraction and mathematical modeling.

Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques.

Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman

Proceedings of the 50th Annual Southeast Regional Conference, 2012

2008

Developing a common format for sharing programming assignments.

Stephen H. Edwards, Jürgen Börstler, Lillian N. Cassel, Mark S. Hall, Joseph E. Hollingsworth

ACM SIGCSE Bull., 2008

Teaching query writing: an informed instruction approach.

Joseph E. Hollingsworth

Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

2007

Which pointer errors do students make?

Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2004

Contract-Checking Wrappers for C++ Classes.

Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth

IEEE Trans. Software Eng., 2004

2001

Identifying an appropriate view of software components for undergraduate education.

Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

2000

Experience report: using RESOLVE/C++ for commercial software.

Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Checkmate: cornering C++ dynamic memory errors with checked pointers.

Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth

Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

Reasoning about Software-Component Behavior.

Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1998

Providing intellectual focus to CS1/CS2.

Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

A framework for detecting interface violations in component-based software.

Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth

Proceedings of the Fifth International Conference on Software Reuse, 1998

1995

The Effects of Layering and Encapsulation on Software Development Cost and Quality.

Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth

IEEE Trans. Software Eng., 1995

Reverse Engineering of Legacy Code Exposed.

Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Part IV: RESOLVE components in Ada and C++.

Joseph E. Hollingsworth, Sethu Sreerama, Bruce W. Weide, Sergey Zhupanov

ACM SIGSOFT Softw. Eng. Notes, 1994

Part III: implementing components in RESOLVE.

Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1994

What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?

Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994