What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? - Murali Sitaraman; Michael B. Feldman; Gary Ford 001; William B. Frakes; Joseph E. Hollingsworth; David F. McAllister; Bruce W. Weide (TRI-Ada, 1994)

Part III: implementing components in RESOLVE. - Paolo Bucci; Joseph E. Hollingsworth; Joan Krone; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 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)

Reverse Engineering of Legacy Code Exposed. - Bruce W. Weide; Wayne D. Heym; Joseph E. Hollingsworth (ICSE, 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)

A framework for detecting interface violations in component-based software. - Stephen H. Edwards; Gulam Shakir; Murali Sitaraman; Bruce W. Weide; Joe Hollingsworth (ICSR, 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 (SIGCSE, 1998)

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 (ICSR, 2000)

Checkmate: cornering C++ dynamic memory errors with checked pointers. - Scott M. Pike; Bruce W. Weide; Joseph E. Hollingsworth (SIGCSE, 2000)

Experience report: using RESOLVE/C++ for commercial software. - Joseph E. Hollingsworth; Lori Blankenship; Bruce W. Weide (SIGSOFT FSE, 2000)

Identifying an appropriate view of software components for undergraduate education. - Allen S. Parrish; Joe Hollingsworth; Peter M. Maurer; Benjamin Shults; Bruce W. Weide (SIGCSE, 2001)

Contract-Checking Wrappers for C++ Classes. - Stephen H. Edwards; Murali Sitaraman; Bruce W. Weide; Joseph E. Hollingsworth (IEEE Trans. Software Eng., 2004)

Which pointer errors do students make? - Bruce M. Adcock; Paolo Bucci; Wayne D. Heym; Joseph E. Hollingsworth; Timothy J. Long; Bruce W. Weide (SIGCSE, 2007)

Teaching query writing: an informed instruction approach. - Joseph E. Hollingsworth (ITiCSE, 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)

Making mathematical reasoning fun: tool-assisted, collaborative techniques. - Jason O. Hallstrom; Joe Hollingsworth; Joan Krone; Murali Sitaraman (ACM Southeast Regional Conference, 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 (ITiCSE, 2012)

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). - Jason O. Hallstrom; Joe Hollingsworth; Joan Krone; Murali Sitaraman (SIGCSE, 2012)

Teaching mathematical reasoning across the curriculum. - Joan Krone; Doug Baldwin; Jeffrey C. Carver; Joseph E. Hollingsworth; Amruth N. Kumar; Murali Sitaraman (SIGCSE, 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 (VSTTE, 2012)

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques. - Jason O. Hallstrom; Murali Sitaraman; Joe Hollingsworth; Joan Krone (ACM Southeast Regional Conference, 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 (CSEE&T, 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; et al. (ICSR, 2013)

Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). - Jason O. Hallstrom; Joseph E. Hollingsworth; Joan Krone; Murali Sitaraman (SIGCSE, 2013)

Engaging mathematical reasoning exercises. - Joseph E. Hollingsworth; Joan Krone; Jason O. Hallstrom; Murali Sitaraman; Bruce W. Weide (SIGCSE, 2013)

A hybrid approach to applying mathematical reasoning in computer science courses. - Joan Krone; Joe Hollingsworth (J. Comput. Sci. Coll., 2013)

Special session: engaging mathematical reasoning exercises. - Joseph E. Hollingsworth; Murali Sitaraman (SIGCSE, 2014)

Evaluation of Formal Reasoning Abilities Using a Concept Inventory. - Joseph E. Hollingsworth; Murali Sitaraman (FMSEE&T@FM, 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)

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 (SIGCSE, 2016)

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 (CSEE&T, 2017)

An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning. - Eileen T. Kraemer; Murali Sitaraman; Joseph E. Hollingsworth (ECSEE, 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 (ITiCSE, 2018)

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 (SIGCSE, 2019)

Engaging in Logical Code Reasoning with an Activity-Based Online Tool. - Joseph E. Hollingsworth; Eileen T. Kraemer; Murali Sitaraman (SIGCSE, 2019)

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 (ECSEE, 2020)

Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. - Megan Fowler; Eileen T. Kraemer; Murali Sitaraman; Joseph E. Hollingsworth (ITiCSE (1), 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 (SIGCSE, 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)

Visualization of Students' Solutions as a Sequential Network. - Nathan Hurtig; Joseph E. Hollingsworth; Olga Scrivner (EDUCON, 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 (ITiCSE (1), 2022)