About: Gary T. Leavens

An Entity of Type: person, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Gary T. Leavens is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best-known work is on behavioral interface specification languages (BISLs) such as , , and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University. He is also the Program Chair for 2009 OOPSLA.

Property	Value
dbo:abstract	Gary T. Leavens is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best-known work is on behavioral interface specification languages (BISLs) such as , , and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University. He is also the Program Chair for 2009 OOPSLA. (en)
dbo:wikiPageID	21871772 (xsd:integer)
dbo:wikiPageLength	945 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1086424722 (xsd:integer)
dbo:wikiPageWikiLink	dbr:University_of_Central_Florida dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:Computer_Science dbr:Computer_science dbr:Professor dbr:Specification_language dbc:American_computer_scientists dbc:University_of_Central_Florida_faculty dbr:Iowa_State_University dbr:Java_Modeling_Language dbr:OOPSLA dbr:Larch/C++ dbr:Larch/Smalltalk
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Short_description dbt:BLP_primary_sources dbt:Compu-scientist-stub
dcterms:subject	dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:American_computer_scientists dbc:University_of_Central_Florida_faculty
gold:hypernym	dbr:Professor
schema:sameAs	http://viaf.org/viaf/7618936
rdf:type	owl:Thing dbo:Person yago:WikicatAmericanComputerScientists yago:WikicatLivingPeople yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553
rdfs:comment	Gary T. Leavens is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best-known work is on behavioral interface specification languages (BISLs) such as , , and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University. He is also the Program Chair for 2009 OOPSLA. (en)
rdfs:label	Gary T. Leavens (en)
owl:sameAs	freebase:Gary T. Leavens yago-res:Gary T. Leavens http://viaf.org/viaf/7618936 http://d-nb.info/gnd/142071609 https://dblp.org/pid/66/2755 https://orcid.org/0000-0003-3271-3921 wikidata:Gary T. Leavens http://data.bibliotheken.nl/id/thes/p200798138 https://global.dbpedia.org/id/4k93M
prov:wasDerivedFrom	wikipedia-en:Gary_T._Leavens?oldid=1086424722&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Gary_T._Leavens
is dbo:wikiPageDisambiguates of	dbr:Leavens
is dbo:wikiPageRedirects of	dbr:Gary_Leavens
is dbo:wikiPageWikiLink of	dbr:List_of_University_of_Central_Florida_faculty_and_administrators dbr:Gary_Leavens dbr:Java_Modeling_Language dbr:OOPSLA dbr:IFIP_Working_Group_2.3 dbr:Leavens
is foaf:primaryTopic of	wikipedia-en:Gary_T._Leavens

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

About: Gary T. Leavens

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.