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

Daniel Jackson (born 1963) is a professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the book Software Abstractions: Logic, Language, and Analysis.

Property Value
dbo:abstract
  • Daniel N. Jackson (* 1963) ist Professor für Informatik am Massachusetts Institute of Technology (MIT). Er ist die Triebfeder hinter der Modellierungssprache Alloy und dem Alloy Analyzer. Daniel Jacksons wichtigstes Buch ist Software Abstractions: Logic, Language and Analysis. (de)
  • دانييل جاكسون (بالإنجليزية: Daniel Jackson)‏ هو عالم حاسوب ومصور ومهندس أمريكي، ولد في 1963. (ar)
  • Daniel Jackson (born 1963) is a professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the book Software Abstractions: Logic, Language, and Analysis. (en)
dbo:almaMater
dbo:doctoralAdvisor
dbo:knownFor
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 21018561 (xsd:integer)
dbo:wikiPageLength
  • 7356 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1064704712 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:doctoralAdvisor
dbp:knownFor
  • Lightweight formal methods, and the Alloy specification language (en)
dbp:name
  • Daniel Jackson (en)
dbp:occupation
  • Computer scientist (en)
dbp:wikiPageUsesTemplate
dbp:workInstitution
dcterms:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs:comment
  • Daniel N. Jackson (* 1963) ist Professor für Informatik am Massachusetts Institute of Technology (MIT). Er ist die Triebfeder hinter der Modellierungssprache Alloy und dem Alloy Analyzer. Daniel Jacksons wichtigstes Buch ist Software Abstractions: Logic, Language and Analysis. (de)
  • دانييل جاكسون (بالإنجليزية: Daniel Jackson)‏ هو عالم حاسوب ومصور ومهندس أمريكي، ولد في 1963. (ar)
  • Daniel Jackson (born 1963) is a professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the book Software Abstractions: Logic, Language, and Analysis. (en)
rdfs:label
  • دانييل جاكسون (ar)
  • Daniel Jackson (Informatiker) (de)
  • Daniel Jackson (computer scientist) (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
foaf:name
  • Daniel Jackson (en)
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is dbp:doctoralStudents of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License