Gary T. Leavens - Gary T. Leavens

Tento životopis živé osoby příliš spoléhá na Reference na primární zdroje. Pomozte prosím přidáním sekundární nebo terciární zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. (Duben 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Gary T. Leavens^[1] je profesor z počítačová věda na Fakultě elektrotechniky a informatiky, University of Central Florida ve Spojených státech. Jeho nejznámější práce je na behaviorálním rozhraní specifikační jazyky (BISLs) jako např Modřín / Smalltalk, Modřín / C ++, a JML. Od roku 1989 do roku 2007 byl a profesor z Počítačová věda na Iowská státní univerzita.

Je také předsedou programu pro rok 2009 OOPSLA.

Reference