DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Vienna_Development_Method> ?p ?o }

• Vienna_Development_Method abstract "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 IBM's Vienna Laboratory 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.".
• Vienna_Development_Method wikiPageExternalLink showlanguage2.prx?exp=598.
• Vienna_Development_Method wikiPageExternalLink index.html.
• Vienna_Development_Method wikiPageExternalLink approach.html.
• Vienna_Development_Method wikiPageExternalLink www.csk.com.
• Vienna_Development_Method wikiPageExternalLink ssdvdm.pdf.zip.
• Vienna_Development_Method wikiPageExternalLink www.ifad.dk.
• Vienna_Development_Method wikiPageExternalLink www.overturetool.org.
• Vienna_Development_Method wikiPageExternalLink www.vdmbook.com.
• Vienna_Development_Method wikiPageExternalLink www.vdmportal.org.
• Vienna_Development_Method wikiPageExternalLink tutorial1.pdf.
• Vienna_Development_Method wikiPageExternalLink en.
• Vienna_Development_Method wikiPageExternalLink index.php?id=2.
• Vienna_Development_Method wikiPageID "140583".
• Vienna_Development_Method wikiPageLength "39190".
• Vienna_Development_Method wikiPageOutDegree "79".
• Vienna_Development_Method wikiPageRevisionID "674066297".
• Vienna_Development_Method wikiPageWikiLink ALGOL.
• Vienna_Development_Method wikiPageWikiLink APL_(programming_language).
• Vienna_Development_Method wikiPageWikiLink APL_programming_language.
• Vienna_Development_Method wikiPageWikiLink Abstract_data_type.
• Vienna_Development_Method wikiPageWikiLink Abstraction_(computer_science).
• Vienna_Development_Method wikiPageWikiLink Ada_(programming_language).
• Vienna_Development_Method wikiPageWikiLink Ada_programming_language.
• Vienna_Development_Method wikiPageWikiLink Algorithm.
• Vienna_Development_Method wikiPageWikiLink BASIC.
• Vienna_Development_Method wikiPageWikiLink BASIC_programming_language.
• Vienna_Development_Method wikiPageWikiLink Boolean_data_type.
• Vienna_Development_Method wikiPageWikiLink Boolean_datatype.
• Vienna_Development_Method wikiPageWikiLink CHILL.
• Vienna_Development_Method wikiPageWikiLink CSK_Holdings_Corporation.
• Vienna_Development_Method wikiPageWikiLink CSP.
• Vienna_Development_Method wikiPageWikiLink Calculus_of_communicating_systems.
• Vienna_Development_Method wikiPageWikiLink Cambridge_University_Press.
• Vienna_Development_Method wikiPageWikiLink Category:Formal_methods.
• Vienna_Development_Method wikiPageWikiLink Category:Formal_specification_languages.
• Vienna_Development_Method wikiPageWikiLink Cellular_telephone.
• Vienna_Development_Method wikiPageWikiLink Cliff_Jones_(computer_scientist).
• Vienna_Development_Method wikiPageWikiLink Compiler.
• Vienna_Development_Method wikiPageWikiLink Compiler-compiler.
• Vienna_Development_Method wikiPageWikiLink Compilers.
• Vienna_Development_Method wikiPageWikiLink Computer_science.
• Vienna_Development_Method wikiPageWikiLink Data_structure.
• Vienna_Development_Method wikiPageWikiLink Denmark.
• Vienna_Development_Method wikiPageWikiLink Denotational_semantics.
• Vienna_Development_Method wikiPageWikiLink Dines_Bjørner.
• Vienna_Development_Method wikiPageWikiLink Enumerated_type.
• Vienna_Development_Method wikiPageWikiLink FORTRAN.
• Vienna_Development_Method wikiPageWikiLink Formal_methods.
• Vienna_Development_Method wikiPageWikiLink Formal_specification.
• Vienna_Development_Method wikiPageWikiLink Fortran.
• Vienna_Development_Method wikiPageWikiLink IBM.
• Vienna_Development_Method wikiPageWikiLink If_and_only_if.
• Vienna_Development_Method wikiPageWikiLink Iff.
• Vienna_Development_Method wikiPageWikiLink Integer.
• Vienna_Development_Method wikiPageWikiLink Integrated_circuit.
• Vienna_Development_Method wikiPageWikiLink International_Organization_for_Standardization.
• Vienna_Development_Method wikiPageWikiLink Invariant_(computer_science).
• Vienna_Development_Method wikiPageWikiLink Iwanami_Shoten.
• Vienna_Development_Method wikiPageWikiLink Iwanami_Shoten,_Publishers.
• Vienna_Development_Method wikiPageWikiLink Japan.
• Vienna_Development_Method wikiPageWikiLink John_Fitzgerald_(computer_scientist).
• Vienna_Development_Method wikiPageWikiLink LaTeX.
• Vienna_Development_Method wikiPageWikiLink Logic.
• Vienna_Development_Method wikiPageWikiLink META_II.
• Vienna_Development_Method wikiPageWikiLink Mathematical_induction.
• Vienna_Development_Method wikiPageWikiLink Mathematical_notation.
• Vienna_Development_Method wikiPageWikiLink Meta-II.
• Vienna_Development_Method wikiPageWikiLink Meta-IV.
• Vienna_Development_Method wikiPageWikiLink Meta-IV_(specification_language).
• Vienna_Development_Method wikiPageWikiLink Mobile_phone.
• Vienna_Development_Method wikiPageWikiLink Modula-2.
• Vienna_Development_Method wikiPageWikiLink Natural_number.
• Vienna_Development_Method wikiPageWikiLink Object-oriented.
• Vienna_Development_Method wikiPageWikiLink Object-oriented_programming.
• Vienna_Development_Method wikiPageWikiLink Operating_system.
• Vienna_Development_Method wikiPageWikiLink Operational_semantics.
• Vienna_Development_Method wikiPageWikiLink I.
• Vienna_Development_Method wikiPageWikiLink Pascal_(programming_language).
• Vienna_Development_Method wikiPageWikiLink Pascal_programming_language.
• Vienna_Development_Method wikiPageWikiLink Pidgin_code.
• Vienna_Development_Method wikiPageWikiLink Pitman_(publisher).
• Vienna_Development_Method wikiPageWikiLink Predicate_logic.
• Vienna_Development_Method wikiPageWikiLink Prentice_Hall.
• Vienna_Development_Method wikiPageWikiLink Propositional_calculus.
• Vienna_Development_Method wikiPageWikiLink Rational_number.
• Vienna_Development_Method wikiPageWikiLink Real_number.
• Vienna_Development_Method wikiPageWikiLink Springer_Science+Business_Media.
• Vienna_Development_Method wikiPageWikiLink Springer_Verlag.
• Vienna_Development_Method wikiPageWikiLink System_of_systems.
• Vienna_Development_Method wikiPageWikiLink TREE-META.
• Vienna_Development_Method wikiPageWikiLink Tree_Meta.
• Vienna_Development_Method wikiPageWikiLink UK.
• Vienna_Development_Method wikiPageWikiLink Unifying_Theories_of_Programming.
• Vienna_Development_Method wikiPageWikiLink United_Kingdom.
• Vienna_Development_Method wikiPageWikiLink Vienna.
• Vienna_Development_Method wikiPageWikiLink Z_notation.
• Vienna_Development_Method wikiPageWikiLink Z_specification_language.
• Vienna_Development_Method wikiPageWikiLinkText "VDM".
• Vienna_Development_Method wikiPageWikiLinkText "VDM-SL".

• next