Gary T. Leavens
Gary T. Leavens Professor Ph.D., Electrical Engineering & Computer Science Massachusetts Institute of Technology, 1989 Email Phone Office HEC-329 Phone (407) 823-4758 E-mail Gary.Leavens@ucf.edu Homepage http://www.cs.ucf.edu/~leavens Research page ARGIS Research Research Interests Formal Methods in Software Engineering Specification of OO software components Design of JML (see jmlspecs.org). Theory of behavioral subtyping and specification inheritance.…