Joseph E. Hollingsworth

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 13

Top Topics

Software Engineering

Symbolic Reasoning

Special Session

Top Venues

Publications

Nathan Hurtig, Joseph E. Hollingsworth, Olga Scrivner
Visualization of Students' Solutions as a Sequential Network. EDUCON (2022)
Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom
Network Visualization and Assessment of Student Reasoning About Conditionals. ITiCSE (1) (2022)
Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth
Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. ITiCSE (2021)
Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Yu-Shan Sun, Jiadi Wang, Gloria J. Washington
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum. Informatics Educ. 20 (4) (2021)
Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Gloria J. Washington
Automated Analysis of Student Verbalizations in Online Learning Environments. SETE (2021)
Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Murali Sitaraman, Eileen T. Kraemer, Gloria J. Washington
Automated Analysis of Student Verbalizations in Online Learning Environments. SIGCSE (2021)
Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. ECSEE (2020)
Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman
Engaging in Logical Code Reasoning with an Activity-Based Online Tool. SIGCSE (2019)
Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth
Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. SIGCSE (2019)
Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth
An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning. ECSEE (2018)
Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. ITiCSE (2018)
Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T (2017)
John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). SIGCSE (2016)
Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Comput. Educ. 15 (3) (2015)
Joseph E. Hollingsworth, Murali Sitaraman
Evaluation of Formal Reasoning Abilities Using a Concept Inventory. FMSEE&T@FM (2015)
Joseph E. Hollingsworth, Murali Sitaraman
Special session: engaging mathematical reasoning exercises. SIGCSE (2014)
Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). SIGCSE (2013)
Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide
Engaging mathematical reasoning exercises. SIGCSE (2013)
Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth
Specification and reasoning in SE projects using a Web IDE. CSEE&T (2013)
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
A Language for Building Verified Software Components. ICSR (2013)
Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman
Teaching mathematical reasoning across the curriculum. SIGCSE (2012)
Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman
A systematic approach to teaching abstraction and mathematical modeling. ITiCSE (2012)
Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth
The Location Linking Concept: A Basis for Verification of Code Using Pointers. VSTTE (2012)
Stephen H. Edwards, Jürgen Börstler, Lillian N. Cassel, Mark S. Hall, Joseph E. Hollingsworth
Developing a common format for sharing programming assignments. ACM SIGCSE Bull. 40 (4) (2008)
Joseph E. Hollingsworth
Teaching query writing: an informed instruction approach. ITiCSE (2008)
Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide
Which pointer errors do students make? SIGCSE (2007)
Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth
Contract-Checking Wrappers for C++ Classes. IEEE Trans. Software Eng. 30 (11) (2004)
Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide
Experience report: using RESOLVE/C++ for commercial software. SIGSOFT FSE (2000)
Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth
Checkmate: cornering C++ dynamic memory errors with checked pointers. SIGCSE (2000)
Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth
Reasoning about Software-Component Behavior. ICSR (2000)
Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards
Providing intellectual focus to CS1/CS2. SIGCSE (1998)
Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth
The Effects of Layering and Encapsulation on Software Development Cost and Quality. IEEE Trans. Software Eng. 21 (3) (1995)
Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth
Reverse Engineering of Legacy Code Exposed. ICSE (1995)
Joseph E. Hollingsworth, Sethu Sreerama, Bruce W. Weide, Sergey Zhupanov
Part IV: RESOLVE components in Ada and C++. ACM SIGSOFT Softw. Eng. Notes 19 (4) (1994)
Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide
Part III: implementing components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19 (4) (1994)
Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide
What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? TRI-Ada (1994)