About: Vienna Development Method

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

Formal software development method

Property	Value
dbo:description	formal software development method (en) Methode zur Entwicklung von Programmiersprachen mittels Metasprachen (de) Método para el desarrollo de programas informáticos (es) Méthode formelle de développement de systèmes informatiques (fr)
dbo:wikiPageExternalLink	http://www.compass-research.eu/approach.html http://ftp.npl.co.uk/pub/latex/macros/vdm-sl/README http://www.adelard.com/web/hnav/services/SoftwareTools/SpecBox/index.html http://www.ifad.dk/ http://www.overturetool.org/ http://www.vdmportal.org/twiki/pub/Main/WebHome/tutorial1.pdf http://www.vdmtools.jp/en/modules/tinyd2/index.php%3Fid=2 http://hopl.murdoch.edu.au/showlanguage2.prx%3Fexp=598 http://www.csr.ncl.ac.uk/vdm/ssdvdm.pdf.zip http://ftp.npl.co.uk/pub/latex/macros/vdm-sl/ http://www.vdmtools.jp/en http://www.csk.com http://www.vdmbook.com https://web.archive.org/web/20080828013815/http:/www.vdmportal.org/ https://github.com/peterwvj/vdm-mode
dbo:wikiPageWikiLink	dbr:CSK_Holdings_Corporation dbr:CHILL dbr:Pitman_(publisher) dbr:Denmark dbr:Japan dbr:Vienna dbr:Predicate_logic dbr:Ada_(programming_language) dbr:Algorithm dbr:Compiler dbr:Computer_science dbr:Iwanami_Shoten dbr:LaTeX dbr:Logic dbr:Modula-2 dbr:Operating_system dbr:Abstract_data_type dbr:IBM dbr:Integer dbr:International_Organization_for_Standardization dbr:PL/I dbr:Real_number dbr:Natural_number dbr:Propositional_calculus dbr:Denotational_semantics dbr:Integrated_circuit dbr:Prentice_Hall dbr:IBM_Laboratory_Vienna dbr:John_Fitzgerald_(computer_scientist) dbr:Dines_Bjørner dbr:Formal_specification dbr:Formal_methods dbr:META_II dbr:Mathematical_induction dbr:Lecture_Notes_in_Computer_Science dbr:System_of_systems dbr:Communicating_sequential_processes dbr:Calculus_of_communicating_systems dbr:Cliff_Jones_(computer_scientist) dbr:Data_structure dbr:Abstraction_(computer_science) dbr:Rational_number dbr:Enumerated_type dbr:Unifying_Theories_of_Programming dbr:ALGOL dbr:Dansk_Datamatik_Center dbr:Mathematical_notation dbr:Cambridge_University_Press dbr:Operational_semantics dbr:Invariant_(computer_science) dbr:Compiler-compiler dbr:Pidgin_code dbc:Formal_methods dbc:Formal_specification_languages dbr:APL_programming_language dbr:Cellular_telephone dbr:Compilers dbr:Ada_programming_language dbr:FORTRAN dbr:Springer_Verlag dbr:UK dbr:BASIC_programming_language dbr:Pascal_programming_language dbr:Iff dbr:Meta-IV dbr:Tree_Meta dbr:Boolean_datatype dbr:Z_specification_language dbr:Object-oriented
dbp:date	2008-11-19 (xsd:date) 2009-05-19 (xsd:date) 2011-07-07 (xsd:date) 2011-07-17 (xsd:date) 2020-02-19 (xsd:date)
dbp:url	https://web.archive.org/web/20200219205126/http:/www.compass-research.eu/approach.html https://web.archive.org/web/20081119145552/http:/www.vdmportal.org/twiki/pub/Main/WebHome/tutorial1.pdf https://web.archive.org/web/20090519011520/http:/hopl.murdoch.edu.au/showlanguage2.prx%3Fexp=598 https://web.archive.org/web/20110707083149/http:/www.adelard.com/web/hnav/services/SoftwareTools/SpecBox/index.html https://web.archive.org/web/20110717084413/http:/www.csr.ncl.ac.uk/vdm/ssdvdm.pdf.zip
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Further dbt:ISBN dbt:Mono dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Webarchive
dct:subject	dbc:Formal_methods dbc:Formal_specification_languages
gold:hypernym	dbr:Methods
rdfs:label	Vienna Development Method (en) Vienna Development Method (de) Vienna Development Method (es) Vienna Development Method (fr) VDM (ja) Віденський метод розробки (uk)
owl:sameAs	wikidata:Vienna Development Method dbpedia-de:Vienna Development Method dbpedia-es:Vienna Development Method dbpedia-fr:Vienna Development Method dbpedia-ja:Vienna Development Method dbpedia-uk:Vienna Development Method dbpedia-global:Vienna Development Method freebase:Vienna Development Method yago-res:Vienna Development Method
prov:wasDerivedFrom	wikipedia-en:Vienna_Development_Method?oldid=1305089896&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Vienna_Development_Method
is dbo:knownFor of	dbr:Peter_Lucas_(computer_scientist) dbr:Dines_Bjørner dbr:Cliff_Jones_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:VDM dbr:Vienna_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Vienna_Definition_Language dbr:Vienna_Definition_Language dbr:Vienna_Definition_Method dbr:VDM++ dbr:VDM-SL dbr:VDM_Specification_Language dbr:VDM_specification_language
is dbo:wikiPageWikiLink of	dbr:VDM dbr:List_of_University_of_Manchester_people dbr:List_of_computer_scientists dbr:List_of_programming_language_researchers dbr:Peter_Lucas_(computer_scientist) dbr:Norsk_Data dbr:PL/I dbr:National_Physical_Laboratory_(United_Kingdom) dbr:IBM_Laboratory_Vienna dbr:John_Fitzgerald_(computer_scientist) dbr:Dines_Bjørner dbr:Formal_specification dbr:Formal_methods dbr:Specification_language dbr:Cliff_Jones_(computer_scientist) dbr:Gerhard_Chroust dbr:Vienna_(disambiguation) dbr:Message_Authenticator_Algorithm dbr:Reification_(computer_science) dbr:Dansk_Datamatik_Center dbr:Tim_Denvir dbr:Pseudocode dbr:Peek_(data_type_operation) dbr:Meta-IV_(specification_language) dbr:Vienna_Definition_Language dbr:Vienna_Definition_Method dbr:VDM++ dbr:VDM-SL dbr:VDM_Specification_Language dbr:VDM_specification_language
is dbp:knownFor of	dbr:Peter_Lucas_(computer_scientist) dbr:Dines_Bjørner dbr:Cliff_Jones_(computer_scientist)
is foaf:primaryTopic of	wikipedia-en:Vienna_Development_Method