Special feature: Componentbased software using resolve M Sitaraman, BW Weide Software Engineering Notes 19 (4), 21-67, 1994 | 227 | 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 | 79 | 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 | 79 | 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 | 65 | 1998 |
Software component design-for-reuse: A language-independent discipline applied to Ada JE Hollingsworth The Ohio State University, 1992 | 65 | 1992 |
Reverse engineering of legacy code exposed BW Weide, WD Heym, JE Hollingsworth Proceedings of the 17th international conference on Software engineering …, 1995 | 57 | 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 | 37 | 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 | 36 | 2000 |
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 | 32 | 2008 |
Contract-checking wrappers for C++ classes SH Edwards, M Sitaraman, BW Weide, E Hollingsworth IEEE Transactions on Software Engineering 30 (11), 794-810, 2004 | 30 | 2004 |
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 | 27 | 2015 |
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 | 27 | 2000 |
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 | 27 | 1994 |
Part III: Implementing components in RESOLVE P Bucci, JE Hollingsworth, J Krone, BW Weide ACM SIGSOFT Software Engineering Notes 19 (4), 40-51, 1994 | 27 | 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 | 27 | 1992 |
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 | 26 | 2012 |
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 | 25 | 2013 |
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 | 23 | 2012 |
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 | 21 | 2007 |
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 | 18 | 2000 |