Joseph Hollingsworth
Joseph Hollingsworth
Associate Professor of Computer Science & Software Engineering, Rose-Hulman Institute of Technology
Verified email at - Homepage
Cited by
Cited by
Component-based software using RESOLVE
M Sitariman, B Weide
ACM SIGSOFT Software Engineering Notes 19 (4), 21-22, 1994
Reasoning about software-component behavior
M Sitaraman, S Atkinson, G Kulczycki, BW Weide, TJ Long, P Bucci, ...
Software Reuse: Advances in Software Reusability: 6th International …, 2000
The effects of layering and encapsulation on software development cost and quality
SH Zweben, SH Edwards, BW Weide, JE Hollingsworth
IEEE Transactions on software engineering 21 (3), 200-208, 1995
A framework for detecting interface violations in component-based software
SH Edwards, G Shakir, M Sitaraman, BW Weide, J Hollingsworth
Proceedings. Fifth International Conference on Software Reuse (Cat. No …, 1998
Software component design-for-reuse: A language-independent discipline applied to Ada
JE Hollingsworth
The Ohio State University, 1992
Reverse engineering of legacy code exposed
BW Weide, WD Heym, JE Hollingsworth
Proceedings of the 17th international conference on Software engineering …, 1995
Providing intellectual focus to CS1/CS2
TJ Long, BW Weide, P Bucci, DS Gibson, J Hollingsworth, M Sitaraman, ...
Proceedings of the twenty-ninth SIGCSE technical symposium on Computer …, 1998
Experience report: Using RESOLVE/C++ for commercial software
JE Hollingsworth, L Blankenship, BW Weide
Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000
Contract-checking wrappers for C++ classes
SH Edwards, M Sitaraman, BW Weide, E Hollingsworth
IEEE Transactions on Software Engineering 30 (11), 794-810, 2004
Developing a common format for sharing programming assignments
SH Edwards, J Börstler, LN Cassel, MS Hall, J Hollingsworth
ACM SIGCSE Bulletin 40 (4), 167-182, 2008
Checkmate: cornering C++ dynamic memory errors with checked pointers
SM Pike, BW Weide, JE Hollingsworth
Proceedings of the thirty-first SIGCSE technical Symposium on Computer …, 2000
Part III: implementing components in RESOLVE
P Bucci, JE Hollingsworth, J Krone, BW Weide
ACM SIGSOFT Software Engineering Notes 19 (4), 40-51, 1994
Part IV: RESOLVE components in Ada and C++
JE Hollingsworth, S Sreerama, BW Weide, S Zhupanov
ACM SIGSOFT Software Engineering Notes 19 (4), 52-63, 1994
Scalability of R euse Technology to Large Systems R equires Local Certifiability
BW Weide, JE Hollingsworth
P rocee d in g so f the 5, 1992
Specification and reasoning in SE projects using a Web IDE
CT Cook, SV Drachova-Strang, YS Sun, M Sitaraman, JC Carver, ...
2013 26th International Conference on Software Engineering Education and …, 2013
A systematic approach to teaching abstraction and mathematical modeling
CT Cook, S Drachova, JO Hallstrom, JE Hollingsworth, DP Jacobs, ...
Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012
Teaching mathematical reasoning principles for software correctness and its assessment
SV Drachova, JO Hallstrom, JE Hollingsworth, J Krone, R Pak, ...
ACM Transactions on Computing Education (TOCE) 15 (3), 1-22, 2015
The location linking concept: A basis for verification of code using pointers
G Kulczycki, H Smith, H Harton, M Sitaraman, WF Ogden, ...
Verified Software: Theories, Tools, Experiments: 4th International …, 2012
Toys are us: Presenting mathematical concepts in CS1/CS2
P Bucci, TJ Long, BW Weide, J Hollingsworth
30th Annual Frontiers in Education Conference. Building on A Century of …, 2000
Which pointer errors do students make?
B Adcock, P Bucci, WD Heym, JE Hollingsworth, T Long, BW Weide
Proceedings of the 38th SIGCSE technical symposium on Computer science …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20