Skip to search formSkip to main contentSkip to account menu

Gary T. Leavens

Gary T. Leavens is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
La verificacion formal de algoritmos, impartida en los estudios de Ingenieria Informatica como parte de las asignaturas de… 
2008
2008
A variety of dynamic aspect-oriented language constructs are proposed in recent literature with corresponding, compelling use… 
2008
2008
The topics on aspects, dependencies and interactions are among the key remaining challenges to be tackled by the Aspect-Oriented… 
Review
2007
Review
2007
JML, the Java Modeling Language, is the lingua franca of researchers working on specification and verification techniques and… 
2006
2006
Software needs to grow up and become responsible for itself and its own future by participating in its own installation and… 
2006
2006
Software needs to grow up and become responsible for itself and its own future by participating in its own installation and… 
2005
2005
A method of a class in an object-oriented (OO) program often must implement collaborating behaviors that require multiple inter… 
Review
1996
Review
1996
Underspeci cation is a good way to deal with partial functions in speci cation and reasoning. However, when underspeci cation is… 
1992
1992
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…