RSRG: Publications


Most of our recent papers are accessible from here. Publications are listed in reverse chronological order.

Quick Access by Year

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 pre-1990

Publications

2014

Hoffman, D., Tagore, A., Zaccai, D., and Weide, B.W., "Providing Early Warnings of Specification Problems", NASA Formal Methods 6th International Symposium, Springer LNCS 8430, May 2014, 92-97. [PDF]

Zaccai,D., Tagore, A., Hoffman, D., Kirschenbaum, J., Bainazarov, Z., Friedman, H.M., Pearl, D.K., and Weide, B.W., "Syrus: Providing Practice Problems in Discrete Mathematics With Instant Feedback", Proceedings of the 45th SIGCSE Technical Symposium on Computer Science Education, ACM Press, March 2014, 61-66. [PDF]

Sitaraman, M., and Weide., B.W., "Special Session: 'Hands-On' Tutorial: Teaching Software Correctness with RESOLVE", Proceedings of the 45th SIGCSE Technical Symposium on Computer Science Education, ACM Press, March 2014, 625-626. [PDF]

2013

Kulczycki, G., Sitaraman, M., Krone, J., Hollingsworth, J.E., Ogden, W.F., Weide, B.W., Bucci, P., Cook, C.T., Drachova, S., Durkee, B., Harton, H., Heym, W., Hoffman, D., Smith, H., Sun, Y., Tagore, A., Yasmin, N., and Zaccai, D., "A Language for Building Verified Software Components", Proceedings 2013 International Conference on Software Reuse, June 2013, 308-314. [PDF]

Tagore, A., and Weide, B.W., "Automatically Detecting Inconsistencies in Program Specifications", NASA Formal Methods 5th International Symposium, Springer LNCS 7871, May 2013, 261-275. [PDF]

Peddi, S.P., "Poster Abstract: Real-Time Adaptive Signaling for Isolated Intersections", Proceedings 2013 IEEE/ACM Fourth International Conference on Cyber-Physical Systems, ACM, April 2013, 256; Best Poster Award. [PDF]

2012

Tagore, A., Zaccai, D., and Weide, B.W., "Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study", NASA Formal Methods 4th International Symposium, Springer LNCS 7226, April 2012, 195-209. [PDF]

2011

Weide, B.W., "Software Verification with Towers of Abstractions", in Neil Tennant, ed., Foundational Adventures: Essays in Honor of Harvey M. Friedman, Templeton Press (Online) and College Publications, London, 2011, 36 pp. [PDF]

Pavlic, T.P., Sivilotti, P.A.G., Weide, A.D., and Weide, B.W., Comments on "Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified", Technical Report, Department of Computer Science and Engineering, The Ohio State University, OSU-CISRC-7/11-TR22, July 2011, 4 pp. [PDF]

Klebanov, V., Muller, P., Shankar, N., Leavens, G.T., Wustholz, V., Alkassar, E., Arthan, R., Bronish, D., Chapman, R., Cohen, E., Hillebrand, M., Jacobs, B., Leino, K.R.M., Monahan, R., Piessens, F., Polikaropva, N., Ridge, T., Smans, J., Tobies, S., Tuerk, T., Ulbrich, M., and Weiss, B., "The 1st Verified Software Competition: Experience Report", FM 2011: Formal Methods (Proceedings 17th International Symposium on Formal Methods), Springer LNCS 6664, June 2011, 154-168; Best Paper Award. [PDF]

Sitaraman, M., Adcock, B., Avigad, J., Bronish, D., Bucci, B., Frazier, D., Friedman, H.M., Harton, Heym, W., Kirschenbaum, J., Krone, J., Smith, H., and Weide, B.W., "Building a Push-Button RESOLVE Verifier: Progress and Challenges", Formal Aspects of Computing 23, 5 (2011), 607-626. [PDF]

Tagore, A., Zaccai, D., and Weide, B.W., To Expand or Not to Expand: Automatically Verifying Software Specified with Complex Mathematical Definitions, Technical Report OSU-CISRC-5/11-TR18, Department of Computer Science and Engineering, The Ohio State University, May 2011 (revised September 2011), 15 pp. [PDF]

Bronish, D., and Smith, H., "Robust, Generic, Modularly-Verified Map: A Software Verification Challenge Problem", Proceedings PLPV '11: 5th ACM Workshop on Programming Languages Meets Program Verification, January 2011, 27-30. [PDF]

2010

Kirschenbaum, J., and Weide, B.W., "Restrictions: Help in Documenting Client Code Under a Verified Software Paradigm", Proceedings International Workshop on Specification and Verification of Component-Based Software (SAVCBS 2010), November 2010. http://www.eecs.ucf.edu/SAVCBS/2010/AcceptedPapers/kirschenbaum-savcbs2010.pdf. [PDF]

Bronish, D., Kirschenbaum, J. and Tagore, A., "A Benchmark- and Competition-Based Approach to Software Engineering Research", Proceedings FSE/SDP Workshop on the Future of Software Engineering Research, November 2010, 43-45. [PDF]

Bronish, D. and Weide, B.W., "A Review of Verification Benchmark Solutions Using Dafny", Proceedings of VSTTE 2010 (Verified Software: Theories, Tools, and Experiments) Workshops, August 2010. [PDF]

2009

Pike, S., Heym, W.D., Adcock, B., Bronish, D., Kirschenbaum, J., and Weide, B.W., "Traditional Assignment Considered Harmful", Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, ACM, New York, 2009, 909-916. [PDF]

Kirschenbaum, J., Adcock B., Bronish, D., Smith, H., Harton, H., Sitaraman M., and Weide, B.W., "Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?", Proceedings 11th International Conference on Software Reuse, Springer LNCS 5791, September 2009, 31-40. [PDF]

2008

Kirschenbaum, J., Adcock, B., Bronish, D., Bucci, P., and Weide, B.W., "Adapting Isabelle Theories to Help Verify Code That Uses Abstract Data Types", Proceedings 7th International Workshop on Specification and Verification of Component-Based Software (SAVCBS 2008), November 2008, 67-74. http://www.cs.iastate.edu/~leavens/SAVCBS/2008/SAVCBS08-proceedings.pdf. [PDF]

Weide, B.W., Sitaraman, M., Harton, H.K., Adcock, B., Bucci, P., Bronish, D., Heym, W.D., Kirschenbaum, J., and Frazier, D., "Incremental Benchmarks for Software Verification Tools and Techniques", Proceedings of VSTTE 2008 (Verified Software: Theories, Tools, and Experiments), Springer LNCS 5295, October 2008, 84-98. [PDF]

Kirschenbaum, J., Harton, H.K., and Sitaraman, M., "A Case Study in Automated, Modular, and Full Functional Verification", Proceedings of AFM '08: Third Workshop on Automated Formal Methods, ACM Press, July 2008, 53-58. [PDF]

Bronish, D., Kirschenbaum, J., Adcock, B. and Weide, B.W. On Soundness of Verification for Software with Functional Semantics and Abstract Data Types, Technical Report, Department of Computer Science and Engineering, The Ohio State University, OSU-CISRC-5/08-TR26, May 2008, 15 pp. [PDF]

2007

Adcock, B., Bucci, P., Heym, W.D., Hollingsworth, J.E., Long, T.J., and Weide, B.W., "Which Pointer Errors Do Students Make?", Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, ACM Press, March 2007, 9-13. [PDF]

2006

Krone, J., Sitaraman, M., and Ogden, W.F., "Performance Analysis Based Upon Complete Profiles", Proceedings of SAVCBS 2006: FSE Workshop on Specification and Verification of Component-Based Systems,  Portland, OR, Nov. 2006, 3-10. http://www.cs.iastate.edu/~leavens/SAVCBS/2006/SAVCBS06-proceedings.pdf. [PDF]

Weide, B.W., "SAVCBS 2006 Challenge: Specification of Iterators", Proceedings of SAVCBS 2006: FSE Workshop on Specification and Verification of Component-Based Systems,  Portland, OR, Nov. 2006, 75-77. http://www.cs.iastate.edu/~leavens/SAVCBS/2006/SAVCBS06-proceedings.pdf. [PDF]

Hollingsworth, J.E., and Weide, B.W., "Some Preliminary Rules of Engagement for Java", Proceedings of Resolve Workshop 2006, Virginia Tech, Blacksburg, VA, 2006, http://people.cs.vt.edu/~edwards/Resolve-2006-papers/Hollingsworth-Weide.html.

2005

Buehrer, G.T., Weide, B.W., and Sivilotti, P.A.G., "Using Parse Tree Validation to Prevent SQL Injection Attacks", FSE/ESEC International Workshop on Software Engineering and Middleware, ACM Press, Sept. 2005, 106-113. [PDF]

Kulczycki, G.W., Sitaraman, M., Weide, B.W., and Rountev, A., "A Specification-Based Approach to Reasoning About Pointers", Proceedings of SAVCBS '05: FSE Workshop on Specification and Verification of Component-Based Systems,  Lisbon, Portugal, 2005, 55-62. http://www.cs.iastate.edu/~leavens/SAVCBS/2005/SAVCBS05.pdf. [PDF]

Weide, B.W., Bucci, P., Heym, W.D., Sitaraman, M., and Rizzoni, G., "Issues in Performance Certification for High-Level Automotive Control Software", ICSE 2005 Workshop on Software Engineering for Automotive Systems (ACM SIGSOFT Software Engineering Notes 30 (4), July 2005), ACM Press, 2005, 1-6. [PDF]

Saiedian, H., and Weide, B.W., "The New Context for Software Engineering Education and Training", Journal of Systems and Software 74, 2 (15 January 2005), 109-111; guest editors' introduction to special issue of journal.

back to top

2004

Edwards, S.H., Sitaraman, M., Weide, B.W., and Hollingsworth, J.E., "Contract-Checking Wrappers for C++ Classes", IEEE Transactions on Software Engineering 30, 11 (November 2004), 794-810. [PDF]

Kumar, S., Weide, B.W., Sivilotti, P.A.G., Sridhar, N., Hallstrom, J.O., and Pike, S.M., "Encapsulating Concurrency as an Approach to Unification", FSE Workshop on Specification and Verification of Component-Based Systems, October 2004, http://www.cs.iastate.edu/~leavens/SAVCBS/2004/papers. [PDF]

Sitaraman, M., Gandi, D.P., Kuechlin, W., Sinz, C., and Weide, B.W., "DEET for Component-Based Software", FSE Workshop on Specification and Verification of Component-Based Systems, October 2004, http://www.cs.iastate.edu/~leavens/SAVCBS/2004/papers. [PDF]

Bohn, C.A., Sivilotti, P.A.G., and Weide, B.W., "Designing the Control of a UAV Fleet with Model Checking", in Grundel, D., Murphey, R., and Pardalos, P.M., eds., Theory and Algorithms for Cooperative Systems, World Scientific Press, 2004, 27-44.

Pike, S.M., and Sivilotti, P.A.G., "Dining Philosophers with Crash Locality 1", Proceedings 24th International Conference on Distributed Computing Systems, IEEE, May 2004, 22-29. [PDF]

Sivilotti, P.A.G., and Weide, B.W., "Research, Teaching, and Service: The Miniconference Model for CS Graduate Seminar Courses", Proceedings 2004 SIGCSE Technical Symposium on Computer Science Education, ACM, March 2004, 487-491. [PDF]

Howe, E., Thornton, M., and Weide, B.W., "Components-First Approaches to CS1/CS2: Principles and Practice", Proceedings 2004 SIGCSE Technical Symposium on Computer Science Education, ACM, March 2004, 291-295. [PDF]

back to top

2003

Bohn, C.A., Sivilotti, P.A.G., and Weide, B.W., "Using a Model Checker to Find a Hidden Evader", Workshop on Agent/Swarm Programming '03, October 2003, 1-7.

Krone, J., and Ogden, W.F., "Abstract OO Big O", FSE Workshop on Specification and Verification of Component-Based Systems, September 2003, http://www.cs.iastate.edu/~leavens/SAVCBS/2003/papers. [PDF]

Sridhar, N., and Weide, B.W., "Reasoning About Parameterized Components with Dynamic Binding", FSE Workshop on Specification and Verification of Component-Based Systems, September 2003, http://www.cs.iastate.edu/~leavens/SAVCBS/2003/papers. [PDF]

Sridhar, N., Pike, S.M., and Weide, B.W., "Dynamic Module Replacement in Distributed Protocols", Proceedings 23rd International Conference on Distributed Computing Systems, IEEE, May 2003, 620-627. [PDF]

Sridhar, N., and Hallstrom, J.O., "Generating Configurable Containers for Component-Based Software", Proceedings 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, May 2003, 61-66, http://www.csse.monash.edu.au/~hws/cgi-bin/CSBE6. [PDF]

Weide, B.W., Ogden, W.F., and Sitaraman, M., "Expressiveness Issues in Compositional Performance Reasoning", Proceedings 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, May 2003, 85-90, http://www.csse.monash.edu.au/~hws/cgi-bin/CSBE6. [PDF]

back to top

2002

Kulczycki, G.W., Sitaraman, M., Ogden, W.F., and Leavens, G., Reasoning About Procedure Calls with Repeated Arguments and the Reference-Value Distinction, Technical Report #02-13, Dept. of Computer Science, Iowa State University, Ames, IA, 2002. [PDF]

Sridhar, N., and Sivilotti, P.A.G., "Lazy Snapshots", Proceedings 14th IASTED International Conference on Parallel and Distributed Computing Systems, ACTA Press, 2002, 96-101. [PDF]

Edwards, S.H., ed., Proceedings of the RESOLVE Workshop 2002, technical report TR-02-11, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, June 2002, http://people.cs.vt.edu/~edwards/RESOLVE2002/proceedings.  (Several papers are by RSRG members.  For a complete listing, consult the on-line proceedings.)

Pike, S.M., and Sridhar, N., "Early-Reply Components: Concurrent Execution with Sequential Reasoning", in C. Gacek, ed., Software Reuse: Methods, Techniques, and Tools (Proceedings Seventh International Conference on Software Reuse), Springer-Verlag LNCS 2319, 2002, 309-326. [PDF]

Sridhar, N., Weide, B.W., and Bucci, P., "Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies", in C. Gacek, ed., Software Reuse: Methods, Techniques, and Tools (Proceedings Seventh International Conference on Software Reuse), Springer-Verlag LNCS 2319, 2002, 309-326. [PDF]

Hallstrom, J.O., Pike, S.M., and Sridhar, N., "Iterators Reconsidered", Proceedings 5th ICSE Workshop on Component-Based Software Engineering, 2002, http://www.sei.cmu.edu/pacc/CBSE5/CBSE5-Proceedings.html. [PDF]

Sitaraman, M., Long, T.J., Weide, B.W., Harner, J., and Wang, C., "Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation", Computer Science Education 12, 1-2 (2002), 11-36. [CSE abstract]

Bucci, P., Heym, W., Long, T.J., and Weide, B.W., "Algorithms and Object-Oriented Programming: Bridging the Gap", Proceedings 33rd SIGCSE Technical Symposium on Computer Science Education, ACM Press, 2002, 302-306. [PDF]

back to top

2001

Weide, B.W., "Component-Based Systems", in Marciniak, J.J., ed., Encyclopedia of Software Engineering, John Wiley and Sons, 2001, 9 pp. [ESE abstract] [PDF]

Weide, B.W., and Heym, W.D., "Specification and Verification with References", Proceedings OOPSLA Workshop on Specification and Verification of Component-Based Systems, October 2001, http://www.cs.iastate.edu/~leavens/SAVCBS/papers-2001. [PDF]

Sitaraman, M., Long, T.J., Weide, B.W., Harner, J., and Wang, C., "A Formal Approach to Component-Based Software Engineering: Education and Evaluation,"Proceedings 2001 International Conference on Software Engineering, IEEE, 2001, 601-609. [PDF]

Pike, S.M., "Binary Trees: A Challenge Problem For Separating Concerns", Proceedings of the ICSE 2001 Workshop on Advanced Separation of Concerns in Software Engineering, IEEE, 99-101, May 2001, http://www.research.ibm.com/hyperspace/workshops/icse2001/papers-index.htm. [PDF]

Weide, B.W., "'Modular Regression Testing': Connections to Component-Based Software," Proceeedings Fourth ICSE Workshop on Component-Based Software Engineering, IEEE, May 2001, 47-51 [PDF]; this is a revised version of a paper that appeared in Proceedings 9th Annual Workshop on Software Reuse, Austin, TX, January 1999, 6 pp. [HTML]

Bucci, P., Long, T.J., and Weide, B.W., "Do We Really Teach Abstraction?", Proceedings 32nd SIGCSE Technical Symposium on Computer Science Education, ACM, 2001, 26-30. [PDF]

back to top

2000

Hollingsworth, J.E., Blankenship, L., and Weide, B.W., "Experience Report: Using RESOLVE/C++ for Commercial Software," Proceedings ACM SIGSOFT Eighth International Symposium on the Foundations of Software Engineering, ACM Press, 2000, 11-19. [PDF]

Bucci, P., Long, T.J., Weide, B.W., and Hollingsworth, J.E., "Toys Are Us: Presenting Mathematical Concepts in CS1/CS2," Proceedings 30th ASEE/IEEE Frontiers in Education Conference, Volume 2 IEEE Computer Society Press, October 2000, 18-21. [PDF]

Sivilotti, P.A.G., Pike, S.M, and Sridhar, N., "A New Distributed Resource Allocation Algorithm with Optimal Failure Locality", Proceedings 12th IASTED International Conference on Parallel and Distributed Computing Systems, vol. 2, IASTED/ACTA Press, 2000, 524-529. [PDF] [Corrigendum]

Sitaraman, M., Atkinson, S., Kulczycki, G., Weide, B.W., Long, T.J., Bucci, P., Heym, W.D., Pike, S., and Hollingsworth, J.E., "Reasoning About Software-Component Behavior," in Frakes, W.B., ed., Software Reuse: Advances in Software Reusability (Proceedings Sixth International Conference on Software Reuse), Springer-Verlag LNCS 1844, 2000, 266-283. [PDF]

Sitaraman, M., Weide, B.W., Long. T.J., and Ogden, W.F., "A Data Abstraction Alternative to Data Structure/Algorithm Modularization," in Jazayeri, M., Loos, R.G.K., and Musser, D.R., eds., Generic Programming, Springer-Verlag LNCS 1766, 2000, 102-113. [PDF]

Gibson, D.S., Weide, B.W., Pike, S.M., and Edwards, S.H., "Toward a Normative Theory for Component-Based System Design and Analysis," in Leavens, G., and Sitaraman, M., eds., Foundations of Component-Based Systems, Cambridge University Press, 2000, 211-230. [Book Table of Contents]

Pike, S.M., Weide, B.W., and Hollingsworth, J.E., "Checkmate: Cornering C++ Dynamic Memory Errors With Checked Pointers," Proceedings 31st SIGCSE Technical Symposium on Computer Science Education, ACM, March 2000,352-356. [PDF]

back to top

1999

Long, T.J., Weide, B.W., Bucci, P., and Sitaraman, M.,"Client View First: An Exodus From Implementation-Biased Teaching," Proceedings 30th SIGCSE Technical Symposium on Computer Science Education, ACM, March 1999, 136-140. [PDF]

Weide, B.W., "'Modular Regression Testing': Connections to Component-Based Software," Proceedings 9th Annual Workshop on Software Reuse, Austin, TX, January 1999, 6 pp [HTML]; a revised version appears in Proceeedings Fourth ICSE Workshop on Component-Based Software Engineering, IEEE, May 2001, 47-51. [PDF]

back to top

1998

Bucci, P., Long, T.J., and Weide, B.W., "Teaching Software Architecture Principles in CS1/CS2," Proceedings 3rd International Software Architecture Workshop, ACM, November 1998, 9-12. [PDF]

Edwards, S.H., Shakir, G., Sitaraman, M., Weide, B.W., and Hollingsworth, J.E., "A Framework for Detecting Interface Violations in Component-Based Software," Proceedings 5th International Conference on Software Reuse, IEEE, June 1998, 46-55. [PDF]

Long, T.J., Weide, B.W., Bucci, P., Gibson, D.S., Hollingsworth, J.E., Sitaraman, M., and Edwards, S.H., "Providing Intellectual Focus to CS1/CS2," Proceedings 29th SIGCSE Technical Symposium on Computer Science Education, ACM, February 1998,252-256. [PDF]

back to top

1997

Edwards, S.H., and Weide, B.W., eds., "WISR8: 8th Annual Workshop on Software Reuse Summary and Working Group Reports," ACM SIGSOFT Software Engineering Notes 22, 5 (September 1997), 17-32.

Gibson, D.S., and Weide, B.W., "Semantic Spaces for Specifications and Templates," Proceedings Workshop on Foundations of Component-Based Systems, Zurich, Switzerland, September 1997, 111-120. [HTML]

Long, T.J., and Weide, B.W., "Weaving Software Engineering Into the Fabric of CS1 and CS2," Proceedings 4th International Workshop on Software Engineering Education, Boston, MA, May 1997, 66-69.

Bucci, P., "Conceptual Program Editors", Proceedings of the Eighth Workshop on Software Reuse, Columbus, OH, March 1997. [HTML]

Sitaraman, M., Weide, B.W., and Ogden, W.F., "On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations," IEEE Transactions on Software Engineering 23, 3 (March 1997), 157-170. [PDF]

Edwards, S.H., Gibson, D.S., Weide, B.W., and Zhupanov, S., "Software Component Relationships," Proceedings 8th Annual Workshop on Software Reuse, Columbus, OH, March 1997, 6 pp. [HTML]

Edwards, S.H., "Representation Inheritance: A Safe Form of 'White Box' Code Inheritance," IEEE Transactions on Software Engineering 23, 2 (February 1997), 83-92. [PDF]

Bucci, P., Conceptual Program Editors: Design and Formal Specification, Ph.D. thesis, Dept. of Computer Science and Engineering, The Ohio State University, Columbus,OH, 1997. [Abstract]

back to top

1996

Edwards, S.H., Modeling Modular Software Structure for Human Understanding, Technical report OSU-CISRC-6/96-TR34, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, June, 1996. [PDF]

Weide, B.W., Edwards, S.H., Heym, W.D., Long, T.J., and Ogden, W.F., "Characterizing Observability and Controllability of Software Components," in M. Sitaraman, ed., Proceedings 4th International Conference on Software Reuse, IEEE, 1996, 62-71. [PDF]

back to top

1995

Heym, W.D., Computer Program Verification: Improvements for Human Reasoning, Ph.D. dissertation, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, December 1995, 294 pp. [PDF]

Bucci, P., "A Program Editor to Promote Reuse", Proceedings of the Seventh Workshop on Software Reuse, St. Charles, IL, September 1995. [HTML]

Weide, B.W., "Where is Software Headed? Challenges of Software Design and the Undergraduate Computing Curriculum," Computer 28, 8 (August 1995), 31-32. [PDF]

Hollingsworth, J.E., and Weide, B.W., "One Architecture Does Not Fit All: Micro-Architecture Is As Important As Macro-Architecture," Proceedings 7th Annual Workshop on Software Reuse, St. Charles, IL, August 1995, 5 pp. [HTML]

Weide, B.W., Heym, W.D., and Hollingsworth, J.E., "Reverse Engineering of Legacy Code Exposed," Proceedings 17th International Conference on Software Engineering, ACM, Seattle, WA, April 1995, 327-331. [PDF]

Zweben, S.H., Edwards, S.H., Weide, B.W., and Hollingsworth, J.E., "The Effects of Layering and Encapsulation on Software Development Cost and Quality," IEEE Transactions on Software Engineering 21, 3 (March 1995), 200-208. [PDF]

Edwards, S.H., A Formal Model of Software Subsystems, Ph.D. thesis, Dept. of Computer Science and Engineering, The Ohio State University, Columbus, OH, 1995. [PDF; 11 files]

back to top

1994

Weide, B.W., "Educating Software Engineers: Position Statement," Proceedings TRI-Ada '94, ACM, Baltimore, MD, November 1994, p. 225.

Sitaraman, M., "On Tight Performance Specification of Object-Oriented Components", Proceedings of the Third International Conference on Software Reuse, IEEE, Nov 1994, 149-157. [PDF]

Sitaraman, M., and Weide, B.W., "Component-Based Software Using RESOLVE," Software Engineering Notes 19, 4 (October 1994), 21-22. [PDF]

Ogden, W.F., Sitaraman, M., Weide, B.W., and Zweben, S.H., "The RESOLVE Framework and Discipline- A Research Synopsis," Software Engineering Notes 19, 4 (October 1994), 23-28. [PDF]

Edwards, S.H., Heym, W.D., Long, T.J., Sitaraman, M., and Weide, B.W., "Specifying Components in RESOLVE," Software Engineering Notes 19, 4 (October 1994), 29-39. [PDF]

Bucci, P., Hollingsworth, J.E., Krone, J., and Weide, B.W., "Implementing Components in RESOLVE," Software Engineering Notes 19, 4 (October 1994), 40-52. [PDF]

Hollingsworth, J.E., Sreerama, S., Weide, B.W., and Zhupanov, S., "RESOLVE Components in Ada and C++," Software Engineering Notes 19, 4 (October 1994), 53-63. [PDF]

Weide, B.W., Heym, W.D., and Hollingsworth, J.E., Reverse Engineering of Legacy Code is Intractable, technical report, Department of Computer and Information Science, The Ohio State University, OSU-CISRC-10/94-TR55, October 1994, 18 pp. [PDF]

Weide, B.W., Ogden, W.F., and Sitaraman, M., "Recasting Algorithms to Encourage Reuse," IEEE Software 11, 5 (September 1994), 80-88. [PDF] [corrected figures]

Heym, W.D., Long, T.J., Ogden, W.F., and Weide, B.W., Mathematical Foundations and Notation of RESOLVE, technical report, Department of Computer and Information Science, The Ohio State University, OSU-CISRC-8/94-TR45, August 1994, 21 pp. [PDF]

Weide, B.W., Edwards, S.H., Harms, D.E., and Lamb, D.A., "Design and Specification of Iterators Using the Swapping Paradigm," IEEE Transactions on Software Engineering 20, 8 (August 1994), 631-643. [PDF]

Ernst, G.W., Hookway, R.J., and Ogden, W.F., "Modular Verification of Data Abstractions with Shared Realizations", IEEE Transactions on Software Engineering 20, 4 (Apr 1994), 288-207. [PDF]

back to top

1993

Weide, B.W., Heym, W.D., and Ogden, W.F., "Procedure Calls and Local Certifiability of Component Correctness," Proceedings 6th Annual Workshop on Software Reuse, Owego, NY, November 1993, 5 pp. [PS]

Hollingsworth., J.E., "Uncontrolled Reference Semantics Thwart Local Certifiability", in L. Latour, ed., Proceedings of the Sixth Annual Workshop on Software Reuse, Nov 1993.

Hopkins, J.E., and Sitaraman, M., "Software Quality is Inversely Proportional to Potential Local Verification Effort", in, L. Latour, ed., Proceedings of the Sixth Annual Workshop on Software Reuse, Nov 1993. [PS]

Edwards, S.H., "Inheritance: One Mechanism, Many Conflicting Uses", in L. Latour, ed., Proceedings of the Sixth Annual Workshop on Software Reuse, Nov 1993. [PS]

Sitaraman, M., Welch, L.R., and Harms, D.E., "On Specification of Reusable Software Components", International Journal of Software Engineering and Knowledge Engineering 3, 2 (June 1993), 207-229.

Edwards, S.H., "Common Interface Models for Reusable Software", International Journal of Software Engineering and Knowledge Engineering 3, 2 (June 1993), 193-206.

back to top

1992

Hollingsworth, J.E., Software Component Design-for-Reuse: A Language Independent Discipline Applied to Ada. Ph.D. thesis, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, 1992. (If you obtain this document electronically, please read the file README.txt in the document's directory, then take all the files.) [PDF; 12 files]

Zweben, S.H., Heym, W.D., and Kimmich, J., "Systematic Testing of Data Abstractions Based on Software Specifications", Journal of Software Testing, Verification, and Reliability 4, 1 (1992), 39-55.

Weide, B.W., and Hollingsworth, J.E.,"Scalability of Reuse Technology to Large Systems Requires Local Certifiability," Proceedings 5th Annual Workshop on Software Reuse, Palo Alto, CA, October 1992, 7 pp. [PS]

Edwards, S.H., "Toward a Model of Reusable Software Subsystems", in L. Latour, S. Philbrick and M. Stevens, eds., Proceedings of the Fifth Annual Workshop on Software Reuse, Oct 1992. [PDF]

Sitaraman, M., "A Uniform Treatment of Reusability of Software Engineering Assets", in L. Latour, S. Philbrick, and M. Stevens, editors, Proceedings of the Fifth Annual Workshop on Software Reuse, Oct 1992. [PDF] [missing Figure 1] [missing Figure 2] [missing Figure 3].

Sitaraman, M., "Performance-Parameterized Reusable Software Components", International Journal of Software Engineering and Knowledge Engineering 4, 2 (October 1992), 567-587.

Sitaraman, M., "A Class of Programming Language Mechanisms to Facilitate Multiple Implementations of the Same Specification", Proceedings of the 1992 IEEE International Conference on Computer Languages, San Francisco, CA, Apr 1992, 172-181. [PDF]

Klingler, J.W., Andrews, L.T., Vaughan, C.L., Behrendt, B.C., and Weide, B.W., "An Image Processing Software Development Environment Based on Dataflow, Reusability and Visual Programming," Proceedings of 7th Electronic Imaging West, Pasadena, CA, February 1990, 961-966; see also "A Visual Programming System for Development of Image Processing Applications," Journal of Electronic Imaging 1, 2 (April 1992), 192-202.

Hollingsworth, J.E., and Weide, B.W., "Engineering 'Unbounded' Reusable Ada Generics," Proceedings 10th Annual National Conference on Ada Technology, Arlington, VA, February 1992, 82-97. [PDF]

back to top

1991

Ernst, G.W., Hookway, R.J., Menegay, J.A., and Ogden, W.F., "Modular Verification of Ada Generics", Computer Language 16, 3/4 (1991), 259-280.

Hollingsworth, J.E., Weide, B.W., and Zweben, S.H., "Confessions of Some Used-Program Clients," Proceedings 4th Annual Workshop on Software Reuse, Herndon, VA, November 1991, 6 pp. [PS]

Edwards, S.H., "Common Interface Models are Necessary to Support Composability", in L. Latour, S. Philbrick, and C. Bhavsar, eds, Proceedings of the Fourth Annual Workshop on Software Reuse, Nov 1991. [PS]

Sitaraman, M., "Inheritance for Software Reuse: The Good, The Bad and The Ugly", in L. Latour, S. Philbrick, and C. Bhavsar, eds, Proceedings of the Fourth Annual Workshop on Software Reuse, Nov 1991. [PS]

Weide, B.W., Ogden, W.F., and Zweben, S.H., "Reusable Software Components," in Advances in Computers, vol. 33, M.C.Yovits, ed., Academic Press, 1991, 1-65. [PDF]

Hollingsworth, J.E., Weide, B.W., and Zweben, S.H., "Abstraction Leaks in Ada (Extended Abstract)," Proceedings 14th Minnowbrook Workshop on Software Engineering, Syracuse University, July 1991, 1 page.

Harms, D.E., and Weide, B.W., "Copying and Swapping: Influences on the Design of Reusable Software Components," IEEE Transactions on Software Engineering 17, 5 (May 1991), 424-435. [PDF]

Stovsky, M.P., and Weide, B.W., "Access Control Strategies for Coordinating Teams of Software Engineers," International Journal of Software Engineering and Knowledge Engineering 1, 1 (March 1991), 57-73.

back to top

1990

Weide, B.W., Software Reuse Through Data Structures and Algorithms, AT&T Kelly Education and Training Center, Middletown, NJ, 1986 (first edition), 1988 (second edition), 1990 (third edition), 408 pp.

Harms, D.E., The Influence of Software Reuse on Programming Language Design, Ph.D. thesis, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, 1990. [PDF; 8 files]

Sitaraman, M., Mechanisms and Methods for Performance Tuning of Reusable Software Components, Ph.D. thesis, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, 1990.

Welch, L., and Weide, B.W., "Avoiding Deadlock When Mapping Reusable Software Components onto the ARC Parallel Processor," Proceedings of the ISSM International Conference on Parallel and Distributed Computing and Systems, October 1990.

Welch, L., and Weide, B.W., "Mapping Reusable Software Components onto the ARC Parallel Processor," Proceedings Frontiers '90: Third Symposium on Massively Parallel Computing, IEEE, October 1990, 499-502. [PDF]

Edwards, S.H., An Approach for Constructing Reusable Software Components in Ada, IDA Paper P-2378, Institute for Defense Analyses, Alexandria, VA, Sep 1990.

Edwards, S.H., "The 3C Model of Reusable Software Components", Proceedings of the Third Annual Workshop: Methods and Tools for Reuse, Jun 1990.

Muralidharan, S., and Weide, B.W., "Reusable Software Component = Formal Specification + Object Code: Some Implications", Proceedings of the Third Annual Workshop: Methods and Tools for Reuse, Jun 1990.

Stovsky, M., and Weide, B.W., "The Role of Traditional Engineering Design Techniques in Software Engineering," Proceedings Second International Conference on Software Engineering and Knowledge Engineering, KSI, Chicago, June 1990, 84-89.

Edwards, S.H., "Ada and RESOLVE: Toward More Reusable Ada Components", in J. Baldo, Jr., editor, Reuse in Practice Workshop Summary, Apr 1990, IDA Document D-754, Institute for Defense Analyses, Alexandria, VA, 141-149.

Welch, L., and Weide, B.W., "Architectural Support for Efficient Execution of Reusable Software Components," Proceedings Fifth Distributed Memory Computing Conference, IEEE, Charleston, SC, April 1990, 1082-1087. [PDF]

Muralidharan, S., and Weide, B.W., "Should Data Abstraction Be Violated to Enhance Software Reuse?", Proceedings of the 8th Annual National Conference on Ada Technology, ANCOST, Inc., Atlanta, GA, Mar 1990, 515-524.

back to top

1989

Hegazy, W.A., The Requirements of Testing a Class of Reusable Software Components, Ph.D. thesis, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, 1989.

Edwards, S.H., "A Conceptual Model for Reusable Components", Workshop on Language Issues for Reuse: Ada for the 90's, Sept 1989.

Harms, D.E., and Weide, B.W., Efficient Initialization and Finalization of Data Structures: Why and How, technical report, Dept. of Computer and Information Science, The Ohio State University, OSU-CISRC-3/89-TR11, March 1989, 33 pp.

back to top

1988

Krone, J. The Role of Verification in Software Reusability. Ph.D. thesis, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, 1988.

Muralidharan, S., and Weide, B.W., On Distributing Programs Built from Reusable Software Components, technical report, Dept. of Computer and Information Science, The Ohio State University, OSU-CISRC-11/88-TR36, November 1988, 32 pp.

Stovsky, M.P., and Weide, B.W., "Building Interprocess Communication Models Using STILE," Proceedings 21st Hawaii International Conference on Systems Sciences, January 1988, Vol. 2, 639-647 [PDF]; reprinted in E.P. Glinert, ed., Visual Programming Environments: Paradigms and Systems, IEEE Press, 1990, 566-574.

back to top

1986

Stovsky, M.P., and Weide, B.W., "STILE: A Graphical Design and Development Environment (Extended Abstract)," Digest of Papers of COMPCON '87, IEEE, San Francisco, Feb. 1987, 247-250; full paper available as technical report, Department of Computer and Information Science, The Ohio State University, Columbus, Ohio, OSU-CISRC-86TR1BWW, October 1986, 31 pp.

Weide, B.W., OWL Programming in C, technical report, Department of Computer and Information Science, The Ohio State University, Columbus, Ohio, OSU-CISRC-TR-86-9, March 1986, 43 pp.

Taneja, S., and Weide, B.W., "Graphical Description and Run-Time Environments for Real-Time Software," ACM Computer Science Conference, ACM, Cincinnati, Ohio, February 1986, 205-211. [PDF]

Weide, B.W., A New ADT and Its Applications in Implementing 'Linked' Structures, technical report, Department of Computer and Information Science, The Ohio State University, Columbus, Ohio, OSU-CISRC-TR-86-3, January 1986, 33 pp.

Weide, B.W., A Catalog of OWL Conceptual Modules, technical report, Department of Computer and Information Science, The Ohio State University, Columbus, Ohio, OSU-CISRC-TR-86-2, January 1986, 37 pp.

Weide, B.W., Design and Specification of Abstract Data Types Using OWL, technical report, Department of Computer and Information Science, The Ohio State University, Columbus, Ohio, OSU-CISRC-TR-86-1, January 1986, 22 pp.

back to top

1985

Ernst, G.W., Menegay, J.A., Hookway, R.J., and Ogden, W.F., Semantics of Programming Languages for Modular Verification. Technical Report CES-85-4, Computer Engineering and Science Department, Case Western Reserve University, Oct 1985.

back to top

1984

Weide, B.W., Computer-Based Support for Design with Standard Modules: Proposed Studies, technical memorandum, AT&T Bell Laboratories, Columbus, Ohio, 55212-841109.01IM, November 1984, 18 pp.

Weide, B.W., Functional Classification and Retrieval of Component Information for Design, technical memorandum, AT&T Bell Laboratories, Columbus, Ohio, 55212-841230.01TM, December 1984, 15 pp.

back to top

1983

Weide, B.W., Graphical Programming of Process Control Software Using STILE: A Progress Report and Future Directions,technical memorandum, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, September 1983, 18 pp.

back to top

1982

Ernst, G.W., Navlakha, J.K., and Ogden, W.F., "Verification of Programs with Procedure-Type Parameters", Acta Informatica 18, (1982), 149-169.

Weide, B.W., Brown, M.E., Alegria, J.A.S., and Meyer, G.R., "A Graphical Interconnection Language and Its Application to Concurrent and Real-Time Programming," Proceedings 20th Annual Allerton Conference on Communication, Control, and Computing, University of Illinois, Urbana-Champaign, IL, October 1982, 567-576.


Bruce W. Weide