Craft, Richard L.; Funkhouser, Donald R.; Wyss, Gregory D. - 2008
Object-oriented analysis methods have been used in the computer science arena for a number of years to model the behavior of computer-based systems. This report documents how such methods can be applied to surety analysis. By embodying the causality and behavior of a system in a common...