Vienna Development Method (original) (raw)
Vienna Development Method (VDM) ist eine Methode zur Entwicklung von Computer-Programmen, die auf formalen Spezifikationen mit Hilfe der VDM-eigenen Spezifikationssprache Vienna Definition Language basiert. Es gibt eine objektorientierte Erweiterung, .
| Property | Value |
|---|---|
| dbo:abstract | Vienna Development Method (VDM) ist eine Methode zur Entwicklung von Computer-Programmen, die auf formalen Spezifikationen mit Hilfe der VDM-eigenen Spezifikationssprache Vienna Definition Language basiert. Es gibt eine objektorientierte Erweiterung, . (de) El Vienna Development Method (VDM), en español, «Método de Desarrollo de Viena» es un método para el desarrollo de programas informáticos, que se base en especificaciones formales con ayuda del idioma de especificación propio Vienna Definition Language. Hay una extensión con orientación de objetos, .VDM también es un término que se usa para indicar que alguien posee una voz de muerto. (es) La Vienna Development Method, abrégé par le sigle VDM, est un ensemble d'outils de développement informatique faisant appel à un grand formalisme. Une variante de la méthode VDM se nomme VDM++. Elle a été appliquée à divers domaines où la fiabilité et la sécurité des applications informatiques devaient être optimisées. Il s'agit principalement de l'aéronautique, le domaine spatial, les transports (exemple: trains automatiques, optimisation de la charge des navires). Peter Gorm Larsen, professeur à l'université d’Aarhus (Danemark) a publié plusieurs ouvrages et communications scientifiques relatives à ces applications. Plusieurs de ces expériences ont été cofinancées par la Commission des Communautés Européennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en ligne sur des sites hébergés par la Commission des Communautés Européennes. Il a consisté, entre autres, à appliquer les fondements de VDM++ à des expérimentations au CERN (Genève), à l'évitement des tours par les avions (Centre technique de la navigation aérienne de Toulouse), à l'optimisation des charges de navires en Grèce. (fr) The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in work done at the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science. (en) VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。 その仕様記述言語は1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。 (ja) Ві́денський ме́тод розро́бки (англ. Vienna Development Method, VDM) — набір технологій для моделювання комп'ютерних систем, аналізу створених моделей і переходу до деталізованого проектування та програмування. Один з найстаріших формальних методів, вплинув на розвиток багатьох інших, як Z, , та B. За його спиною стоять інструменти промислової якості, та стандарт ISO. Метод з'явився в результаті роботи віденської лабораторії IBM в середині 70-тих. Нотація та допоміжні інструменти з того часу постійно розвивались, і сьогодні метод застосовується до широкого кола задач. Має розширення VDM++, для об'єктно-орієнтованих систем. (uk) |
| 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://www.csk.com http://www.vdmbook.com 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 https://github.com/peterwvj/vdm-mode https://web.archive.org/web/20080828013815/http:/www.vdmportal.org/ |
| dbo:wikiPageID | 140583 (xsd:integer) |
| dbo:wikiPageLength | 40164 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1116670068 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:BASIC_programming_language dbr:Predicate_logic dbr:Prentice_Hall dbr:Propositional_calculus dbr:Enumerated_type dbr:META_II dbr:Denmark dbr:Denotational_semantics dbr:Algorithm dbr:Vienna dbr:Integrated_circuit dbr:Invariant_(computer_science) dbr:Iwanami_Shoten dbr:Compiler dbr:Compilers dbr:Mathematical_induction dbr:Cliff_Jones_(computer_scientist) dbr:Modula-2 dbr:Operational_semantics dbr:Tree_Meta dbr:Logic dbr:Calculus_of_communicating_systems dbr:Communicating_sequential_processes dbr:Compiler-compiler dbr:Computer_science dbr:Pascal_programming_language dbr:Pidgin_code dbr:Pitman_(publisher) dbr:Mathematical_notation dbr:CHILL dbc:Formal_specification_languages dbr:UK dbr:Data_structure dbr:John_Fitzgerald_(computer_scientist) dbr:Lecture_Notes_in_Computer_Science dbr:ALGOL dbr:Abstract_data_type dbr:Ada_(programming_language) dbr:Dansk_Datamatik_Center dbr:FORTRAN dbr:PL/I dbr:Formal_methods dbr:Formal_specification dbr:APL_programming_language dbr:Ada_programming_language dbr:International_Organization_for_Standardization dbr:Japan dbc:Formal_methods dbr:Abstraction_(computer_science) dbr:LaTeX dbr:Dines_Bjørner dbr:Meta-IV dbr:IBM dbr:Iff dbr:Integer dbr:Natural_number dbr:Object-oriented dbr:Operating_system dbr:Rational_number dbr:Real_number dbr:CSK_Holdings_Corporation dbr:System_of_systems dbr:Unifying_Theories_of_Programming dbr:IBM_Laboratory_Vienna dbr:Boolean_datatype dbr:Cellular_telephone dbr:Springer_Verlag dbr:Z_specification_language |
| dbp:wikiPageUsesTemplate | dbt:= dbt:Cite_book dbt:Further dbt:ISBN dbt:Mono dbt:Reflist dbt:Short_description dbt:Use_dmy_dates |
| dct:subject | dbc:Formal_specification_languages dbc:Formal_methods |
| gold:hypernym | dbr:Methods |
| rdf:type | dbo:Software yago:Ability105616246 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:ProgrammingLanguage106898352 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods yago:WikicatFormalSpecificationLanguages yago:WikicatProgrammingLanguages |
| rdfs:comment | Vienna Development Method (VDM) ist eine Methode zur Entwicklung von Computer-Programmen, die auf formalen Spezifikationen mit Hilfe der VDM-eigenen Spezifikationssprache Vienna Definition Language basiert. Es gibt eine objektorientierte Erweiterung, . (de) El Vienna Development Method (VDM), en español, «Método de Desarrollo de Viena» es un método para el desarrollo de programas informáticos, que se base en especificaciones formales con ayuda del idioma de especificación propio Vienna Definition Language. Hay una extensión con orientación de objetos, .VDM también es un término que se usa para indicar que alguien posee una voz de muerto. (es) VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。 その仕様記述言語は1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。 (ja) La Vienna Development Method, abrégé par le sigle VDM, est un ensemble d'outils de développement informatique faisant appel à un grand formalisme. Une variante de la méthode VDM se nomme VDM++. Elle a été appliquée à divers domaines où la fiabilité et la sécurité des applications informatiques devaient être optimisées. Il s'agit principalement de l'aéronautique, le domaine spatial, les transports (exemple: trains automatiques, optimisation de la charge des navires). Peter Gorm Larsen, professeur à l'université d’Aarhus (Danemark) a publié plusieurs ouvrages et communications scientifiques relatives à ces applications. Plusieurs de ces expériences ont été cofinancées par la Commission des Communautés Européennes. L'un des projets (Afrodite) a fait l'objet de publications disponibles en lign (fr) The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in work done at the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of c (en) Ві́денський ме́тод розро́бки (англ. Vienna Development Method, VDM) — набір технологій для моделювання комп'ютерних систем, аналізу створених моделей і переходу до деталізованого проектування та програмування. Один з найстаріших формальних методів, вплинув на розвиток багатьох інших, як Z, , та B. За його спиною стоять інструменти промислової якості, та стандарт ISO. Метод з'явився в результаті роботи віденської лабораторії IBM в середині 70-тих. Нотація та допоміжні інструменти з того часу постійно розвивались, і сьогодні метод застосовується до широкого кола задач. (uk) |
| rdfs:label | Vienna Development Method (de) Vienna Development Method (es) Vienna Development Method (fr) VDM (ja) Vienna Development Method (en) Віденський метод розробки (uk) |
| owl:sameAs | freebase:Vienna Development Method yago-res:Vienna Development Method 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 https://global.dbpedia.org/id/UWts |
| prov:wasDerivedFrom | wikipedia-en:Vienna_Development_Method?oldid=1116670068&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Vienna_Development_Method |
| is dbo:knownFor of | dbr:Cliff_Jones_(computer_scientist) dbr:Dines_Bjørner |
| is dbo:wikiPageDisambiguates of | dbr:VDM dbr:Vienna_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:VDM_specification_language dbr:Vienna_Definition_Language dbr:Vienna_Definition_Method dbr:VDM++ dbr:VDM-SL dbr:VDM_Specification_Language |
| is dbo:wikiPageWikiLink of | dbr:List_of_computer_scientists dbr:Meta-IV_(specification_language) dbr:List_of_University_of_Manchester_people dbr:Peter_Lucas_(computer_scientist) dbr:VDM_specification_language dbr:List_of_programming_language_researchers dbr:Cliff_Jones_(computer_scientist) dbr:Peek_(data_type_operation) dbr:Specification_language dbr:John_Fitzgerald_(computer_scientist) dbr:Dansk_Datamatik_Center dbr:Norsk_Data dbr:PL/I dbr:Formal_methods dbr:Formal_specification dbr:Gerhard_Chroust dbr:Tim_Denvir dbr:Reification_(computer_science) dbr:Dines_Bjørner dbr:National_Physical_Laboratory_(United_Kingdom) dbr:Message_Authenticator_Algorithm dbr:VDM dbr:Vienna_(disambiguation) dbr:Vienna_Definition_Language dbr:IBM_Laboratory_Vienna dbr:Pseudocode dbr:Vienna_Definition_Method dbr:VDM++ dbr:VDM-SL dbr:VDM_Specification_Language |
| is dbp:knownFor of | dbr:Cliff_Jones_(computer_scientist) dbr:Dines_Bjørner |
| is foaf:primaryTopic of | wikipedia-en:Vienna_Development_Method |