Selected Publications

1. Hartman, John, and B. Chandrasekaran, "Functional Representation and Understanding of Software: Technology and Application," Proceedings 5th Annual Dual-Use Technologies & Applications Conference, IEEE and Rome Lab, Utica, NY, May 22-25, 1995, 462-467. (Abstract) (Full Text Postscript-2M)
2. B. Chandrasekaran, "Functional representations: A brief historical perspective," Applied Artificial Intelligence, special issue on functional reasoning, 8:173-197, 1994.
3. B. Chandrasekaran, "Functional representation and causal processes," in Advances in Computers, Vol. 38, Academic Press, 1994, pp. 73-143.
4. 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.
5. Weide, B.W., Ogden, W.F., and Sitaraman, M., "Recasting Algorithms to Encourage Reuse", IEEE Software 11, 5 (September 1994), 80-88.
6. 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.
7. 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.
8. Bucci, P., Hollingsworth, J.E., Krone, J., and Weide, B.W., "Implementing Components in RESOLVE", Software Engineering Notes 19, 4 (October 1994), 40-52.
9. Hollingsworth, J.E., Sreerama, S., Weide, B.W., and Zhupanov, S., "RESOLVE Components in Ada and C++", Software Engineering Notes 19, 4 (Oct. 1994), 53-63.
10. Edwards, S.H., "Annotated Bibliography of RESOLVE Research", Software Engineering Notes 19, 4 (October 1994), 64-67.
11. Edwards, S.H., A Formal Model of Software Subsystems, Ph.D. thesis and technical report, Department of Computer and Information Science, The Ohio State University, OSU-CISRC-3/95-TR14, March 1995, 233 pp.
12. 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.
13. 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.
14. Weide, B.W., and Hollingsworth, J.E., On Local Certifiability of Software Components, technical report, Department of Computer and Information Science, The Ohio State University, OSU-CISRC-1/94-TR04, January 1994, 11 pp.
15. 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 (April 1994), 288-307.
16. Weide, B.W., "Educating Software Engineers: Position Statement," Proceedings TRI-Ada '94, ACM, Baltimore, MD, November 1994, p. 225.
17. Hollingsworth, J.E., and Weide, B.W., Micro-Architecture vs. Macro-Architecture, technical report, Department of Computer and Information Science, The Ohio State University, OSU- CISRC-11/94-TR57, November 1994, 5 pp.
18. Edwards, S.H., "Streams: A Pattern for `Pull-Driven' Processing", Chapter 21 of Pattern Languages of Program Design, ed. by J.O. Coplien and D.C. Schmidt, Addison-Wesley, 1995.