{
  "http://fr.dbpedia.org/resource/Langage_de_sp\u00E9cification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] } ,
  "http://fr.dbpedia.org/resource/M\u00E9thodes_d'analyse_et_de_conception" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] } ,
  "http://fr.dbpedia.org/resource/VDM" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] } ,
  "http://fr.dbpedia.org/resource/Vienna_Development_Method" : { "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Vienna Development Method" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Vienna Development Method" , "lang" : "en" } ,
      { "type" : "literal", "value" : "VDM" , "lang" : "ja" } ,
      { "type" : "literal", "value" : "Vienna Development Method" , "lang" : "es" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#comment" : [ { "type" : "literal", "value" : "La Vienna Development Method, abr\u00E9g\u00E9 par le sigle VDM, est un ensemble d'outils de d\u00E9veloppement informatique faisant appel \u00E0 un grand formalisme. Une variante de la m\u00E9thode VDM se nomme VDM++. Elle a \u00E9t\u00E9 appliqu\u00E9e \u00E0 divers domaines o\u00F9 la fiabilit\u00E9 et la s\u00E9curit\u00E9 des applications informatiques devaient \u00EAtre optimis\u00E9es. Il s'agit principalement de l'a\u00E9ronautique, le domaine spatial, les transports (exemple: trains automatiques, optimisation de la charge des navires). Peter Gorm Larsen, professeur \u00E0 l'universit\u00E9 d\u2019Aarhus (Danemark) a publi\u00E9 plusieurs ouvrages et communications scientifiques relatives \u00E0 ces applications. Plusieurs de ces exp\u00E9riences ont \u00E9t\u00E9 cofinanc\u00E9es par la Commission des Communaut\u00E9s Europ\u00E9ennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en lign" , "lang" : "fr" } ] ,
    "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ,
      { "type" : "uri", "value" : "http://ja.dbpedia.org/resource/VDM" } ,
      { "type" : "uri", "value" : "http://g.co/kg/m/011jsl" } ,
      { "type" : "uri", "value" : "http://de.dbpedia.org/resource/Vienna_Development_Method" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Vienna_Development_Method" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q1478998" } ,
      { "type" : "uri", "value" : "http://ma-graph.org/entity/87835815" } ,
      { "type" : "uri", "value" : "http://uk.dbpedia.org/resource/\u0412\u0456\u0434\u0435\u043D\u0441\u044C\u043A\u0438\u0439_\u043C\u0435\u0442\u043E\u0434_\u0440\u043E\u0437\u0440\u043E\u0431\u043A\u0438" } ,
      { "type" : "uri", "value" : "http://es.dbpedia.org/resource/Vienna_Development_Method" } ] ,
    "http://dbpedia.org/ontology/wikiPageID" : [ { "type" : "literal", "value" : 1590647 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/wikiPageRevisionID" : [ { "type" : "literal", "value" : 109350027 , "datatype" : "http://www.w3.org/2001/XMLSchema#integer" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/M\u00E9thode_formelle_(informatique)" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Sigle" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Gen\u00E8ve" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Gr\u00E8ce" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/D\u00E9veloppement_de_logiciel" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:D\u00E9veloppement_logiciel" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Organisation_europ\u00E9enne_pour_la_recherche_nucl\u00E9aire" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Universit\u00E9_d'Aarhus" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:M\u00E9thode_formelle" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Danemark" } ] ,
    "http://dbpedia.org/ontology/wikiPageLength" : [ { "type" : "literal", "value" : "1394" , "datatype" : "http://www.w3.org/2001/XMLSchema#nonNegativeInteger" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:M\u00E9thode_formelle" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Cat\u00E9gorie:D\u00E9veloppement_logiciel" } ] ,
    "http://fr.dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Langue_de_titre" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Voir_homonymes" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:\u00C9bauche" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Mod\u00E8le:Portail" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://fr.wikipedia.org/wiki/Vienna_Development_Method?oldid=109350027&ns=0" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://fr.wikipedia.org/wiki/Vienna_Development_Method" } ] ,
    "http://dbpedia.org/ontology/abstract" : [ { "type" : "literal", "value" : "La Vienna Development Method, abr\u00E9g\u00E9 par le sigle VDM, est un ensemble d'outils de d\u00E9veloppement informatique faisant appel \u00E0 un grand formalisme. Une variante de la m\u00E9thode VDM se nomme VDM++. Elle a \u00E9t\u00E9 appliqu\u00E9e \u00E0 divers domaines o\u00F9 la fiabilit\u00E9 et la s\u00E9curit\u00E9 des applications informatiques devaient \u00EAtre optimis\u00E9es. Il s'agit principalement de l'a\u00E9ronautique, le domaine spatial, les transports (exemple: trains automatiques, optimisation de la charge des navires). Peter Gorm Larsen, professeur \u00E0 l'universit\u00E9 d\u2019Aarhus (Danemark) a publi\u00E9 plusieurs ouvrages et communications scientifiques relatives \u00E0 ces applications. Plusieurs de ces exp\u00E9riences ont \u00E9t\u00E9 cofinanc\u00E9es par la Commission des Communaut\u00E9s Europ\u00E9ennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en ligne sur des sites h\u00E9berg\u00E9s par la Commission des Communaut\u00E9s Europ\u00E9ennes. Il a consist\u00E9, entre autres, \u00E0 appliquer les fondements de VDM++ \u00E0 des exp\u00E9rimentations au CERN (Gen\u00E8ve), \u00E0 l'\u00E9vitement des tours par les avions (Centre technique de la navigation a\u00E9rienne de Toulouse), \u00E0 l'optimisation des charges de navires en Gr\u00E8ce. \n* Portail de l\u2019informatique" , "lang" : "fr" } ] } ,
  "http://fr.dbpedia.org/tag/JaFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] } ,
  "http://fr.dbpedia.org/resource/VDM_(informatique)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] } ,
  "http://fr.dbpedia.org/tag/EsFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] } ,
  "http://fr.dbpedia.org/tag/EnFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] } ,
  "http://fr.wikipedia.org/wiki/Vienna_Development_Method" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] } ,
  "http://fr.dbpedia.org/tag/WdtFrResource" : { "http://www.w3.org/ns/oa#hasTarget" : [ { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Vienna_Development_Method" } ] }
}