Donald Bren School of Information and Computer Sciences

Work on software design processes (e.g., automatic programming, programming methodology) demands that we have available more explicit information about design problems and their possible solutions than is now available. We are developing and exploring the use of a method – design rationalization -- intended to aid in the discovery and codification of such information. The method is described, illustrated, and discussed in this paper. The results of applying it to three largo pieces of software are reported.