Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Formal_specification> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- Formal_specification abstract "In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.".
- Formal_specification wikiPageExternalLink wiki?FormalSpecification.
- Formal_specification wikiPageExternalLink 9714.
- Formal_specification wikiPageID "2567707".
- Formal_specification wikiPageLength "11232".
- Formal_specification wikiPageOutDegree "41".
- Formal_specification wikiPageRevisionID "705424926".
- Formal_specification wikiPageWikiLink Abstract_machine_notation.
- Formal_specification wikiPageWikiLink Agile_software_development.
- Formal_specification wikiPageWikiLink Algebraic_specification.
- Formal_specification wikiPageWikiLink B-Method.
- Formal_specification wikiPageWikiLink Category:Formal_methods.
- Formal_specification wikiPageWikiLink Category:Formal_specification_languages.
- Formal_specification wikiPageWikiLink Communicating_sequential_processes.
- Formal_specification wikiPageWikiLink Computer_science.
- Formal_specification wikiPageWikiLink Divide_and_conquer_algorithms.
- Formal_specification wikiPageWikiLink Formal_methods.
- Formal_specification wikiPageWikiLink Formal_specification.
- Formal_specification wikiPageWikiLink Formal_verification.
- Formal_specification wikiPageWikiLink Implementation.
- Formal_specification wikiPageWikiLink Language_Of_Temporal_Ordering_Specification.
- Formal_specification wikiPageWikiLink Larch_family.
- Formal_specification wikiPageWikiLink Model-based_specification.
- Formal_specification wikiPageWikiLink OBJ_(programming_language).
- Formal_specification wikiPageWikiLink Paisley_(programming_language).
- Formal_specification wikiPageWikiLink Petri_net.
- Formal_specification wikiPageWikiLink Problem_domain.
- Formal_specification wikiPageWikiLink Quality_of_service.
- Formal_specification wikiPageWikiLink Refinement_(computing).
- Formal_specification wikiPageWikiLink Requirements_analysis.
- Formal_specification wikiPageWikiLink Software_engineering.
- Formal_specification wikiPageWikiLink Software_testing.
- Formal_specification wikiPageWikiLink Specification_(technical_standard).
- Formal_specification wikiPageWikiLink Specification_language.
- Formal_specification wikiPageWikiLink TLA+.
- Formal_specification wikiPageWikiLink Theorem.
- Formal_specification wikiPageWikiLink Verification_and_validation.
- Formal_specification wikiPageWikiLink Vienna_Development_Method.
- Formal_specification wikiPageWikiLink Web_service.
- Formal_specification wikiPageWikiLink Z_notation.
- Formal_specification wikiPageWikiLinkText "Formal specification".
- Formal_specification wikiPageWikiLinkText "Formal".
- Formal_specification wikiPageWikiLinkText "Software Tools".
- Formal_specification wikiPageWikiLinkText "formal specification".
- Formal_specification wikiPageWikiLinkText "formal".
- Formal_specification wikiPageWikiLinkText "formalization".
- Formal_specification wikiPageWikiLinkText "formally specifying".
- Formal_specification wikiPageWikiLinkText "software specification".
- Formal_specification wikiPageWikiLinkText "specification".
- Formal_specification wikiPageWikiLinkText "specifications".
- Formal_specification wikiPageWikiLinkText "specifying and verifying".
- Formal_specification wikiPageWikiLinkText "specification".
- Formal_specification wikiPageUsesTemplate Template:Reflist.
- Formal_specification subject Category:Formal_methods.
- Formal_specification subject Category:Formal_specification_languages.
- Formal_specification type Area.
- Formal_specification type Language.
- Formal_specification type Area.
- Formal_specification type Language.
- Formal_specification type Method.
- Formal_specification type Redirect.
- Formal_specification comment "In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.".
- Formal_specification label "Formal specification".
- Formal_specification sameAs Q1437424.
- Formal_specification sameAs Formale_Spezifikation.
- Formal_specification sameAs Especificación_formal.
- Formal_specification sameAs 形式仕様記述.
- Formal_specification sameAs Formali_specifikacija.
- Formal_specification sameAs Famaritana_manarakendrika.
- Formal_specification sameAs Especificação_formal.
- Formal_specification sameAs m.07nj98.
- Formal_specification sameAs Формальная_спецификация.
- Formal_specification sameAs Program_specification.
- Formal_specification sameAs Формальна_специфікація.
- Formal_specification sameAs Q1437424.
- Formal_specification wasDerivedFrom Formal_specification?oldid=705424926.
- Formal_specification isPrimaryTopicOf Formal_specification.