About: Vienna Development Method

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

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 http://www.csk.com http://www.vdmbook.com https://github.com/peterwvj/vdm-mode https://web.archive.org/web/20080828013815/http:/www.vdmportal.org/ 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/modules/tinyd2/index.php%3Fid=2
dbo:wikiPageWikiLink	dbr:Calculus_of_communicating_systems dbr:Enumerated_type dbr:Communicating_sequential_processes dbr:LaTeX dbr:Compiler dbr:CHILL dbr:Formal_specification dbr:Formal_methods dbc:Formal_methods dbr:Integer dbr:Real_number dbr:Cambridge_University_Press dbr:Propositional_calculus dbr:Lecture_Notes_in_Computer_Science dbr:Cliff_Jones_(computer_scientist) dbr:Dines_Bjørner dbr:Denmark dbr:Japan dbr:Logic dbr:Vienna dbr:Iwanami_Shoten dbr:Mathematical_notation dbr:Abstract_data_type dbr:Compiler-compiler dbr:Denotational_semantics dbr:Pidgin_code dbr:Algorithm dbr:International_Organization_for_Standardization dbr:Operating_system dbr:Data_structure dbr:Mathematical_induction dbr:Rational_number dbr:META_II dbr:Computer_science dbr:IBM dbr:Integrated_circuit dbr:ALGOL dbr:Unifying_Theories_of_Programming dbr:Boolean_datatype dbr:Ada_(programming_language) dbr:Operational_semantics dbr:Prentice_Hall dbc:Formal_specification_languages dbr:Abstraction_(computer_science) dbr:PL/I dbr:Invariant_(computer_science) dbr:Natural_number dbr:Modula-2 dbr:System_of_systems dbr:Cellular_telephone dbr:John_Fitzgerald_(computer_scientist) dbr:BASIC_programming_language dbr:Pascal_programming_language dbr:Pitman_(publisher) dbr:Ada_programming_language dbr:UK dbr:Object-oriented dbr:IBM_Laboratory_Vienna dbr:CSK_Holdings_Corporation dbr:Dansk_Datamatik_Center dbr:Predicate_logic dbr:Springer_Verlag dbr:Iff dbr:APL_programming_language dbr:Compilers dbr:FORTRAN dbr:Meta-IV dbr:Tree_Meta dbr:Z_specification_language
dbp:date	2020-02-19 (xsd:date)
dbp:url	https://web.archive.org/web/20200219205126/http:/www.compass-research.eu/approach.html
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Use_dmy_dates dbt:Further dbt:ISBN dbt:Mono dbt:Webarchive dbt:Short_description
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) VDM (ja) Vienna Development Method (fr) Віденський метод розробки (uk)
owl:sameAs	freebase:Vienna Development Method yago-res:Vienna Development Method wikidata:Vienna Development Method dbpedia-de:Vienna Development Method dbpedia-fr:Vienna Development Method dbpedia-ja:Vienna Development Method dbpedia-es:Vienna Development Method dbpedia-uk:Vienna Development Method dbpedia-global:Vienna Development Method dbr:Vienna Development Method
prov:wasDerivedFrom	wikipedia-en:Vienna_Development_Method?oldid=1236341340&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Vienna_Development_Method
is dbo:knownFor of	dbr:Cliff_Jones_(computer_scientist) dbr:Dines_Bjørner dbr:Peter_Lucas_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:VDM dbr:Vienna_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Vienna_Definition_Language dbr:Vienna_Definition_Language dbr:VDM++ dbr:VDM-SL dbr:VDM_Specification_Language dbr:VDM_specification_language dbr:Vienna_Definition_Method
is dbo:wikiPageWikiLink of	dbr:Reification_(computer_science) dbr:Formal_specification dbr:Formal_methods dbr:Gerhard_Chroust dbr:Cliff_Jones_(computer_scientist) dbr:Dines_Bjørner dbr:VDM dbr:Vienna_(disambiguation) dbr:Specification_language dbr:Message_Authenticator_Algorithm dbr:National_Physical_Laboratory_(United_Kingdom) dbr:Pseudocode dbr:Norsk_Data dbr:PL/I dbr:List_of_University_of_Manchester_people dbr:List_of_programming_language_researchers dbr:Meta-IV_(specification_language) dbr:Peek_(data_type_operation) dbr:List_of_computer_scientists dbr:John_Fitzgerald_(computer_scientist) dbr:Peter_Lucas_(computer_scientist) dbr:Tim_Denvir dbr:IBM_Laboratory_Vienna dbr:Dansk_Datamatik_Center dbr:Vienna_Definition_Language dbr:VDM++ dbr:VDM-SL dbr:VDM_Specification_Language dbr:VDM_specification_language dbr:Vienna_Definition_Method
is dbp:knownFor of	dbr:Cliff_Jones_(computer_scientist) dbr:Dines_Bjørner dbr:Peter_Lucas_(computer_scientist)
is foaf:primaryTopic of	wikipedia-en:Vienna_Development_Method