Follow
Joseph Hollingsworth
Joseph Hollingsworth
Professor of Computer Science & Software Engineering, Rose-Hulman Institute of Technology
Verified email at rose-hulman.edu - Homepage
Title
Cited by
Cited by
Year
Component-based software using RESOLVE
M Sitariman, B Weide
ACM SIGSOFT Software Engineering Notes 19 (4), 21-22, 1994
2141994
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
802000
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
771995
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
671998
Software component design-for-reuse: A language-independent discipline applied to Ada
JE Hollingsworth
The Ohio State University, 1992
671992
Reverse engineering of legacy code exposed
BW Weide, WD Heym, JE Hollingsworth
Proceedings of the 17th international conference on Software engineering …, 1995
561995
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
381998
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
362000
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
322008
Contract-checking wrappers for C++ classes
SH Edwards, M Sitaraman, BW Weide, E Hollingsworth
IEEE Transactions on Software Engineering 30 (11), 794-810, 2004
312004
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
281994
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
272000
Part III: implementing components in RESOLVE
P Bucci, JE Hollingsworth, J Krone, BW Weide
ACM SIGSOFT Software Engineering Notes 19 (4), 40-51, 1994
271994
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
271992
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
262012
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
252015
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
252013
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
232012
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
212007
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
182000
The system can't perform the operation now. Try again later.
Articles 1–20