Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Formal_specification> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items 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 wikiPageRevisionID "603750173".
- Formal_specification hasPhotoCollection Formal_specification.
- Formal_specification subject Category:Formal_methods.
- Formal_specification subject Category:Formal_specification_languages.
- Formal_specification type Ability105616246.
- Formal_specification type Abstraction100002137.
- Formal_specification type Cognition100023271.
- Formal_specification type Communication100033020.
- Formal_specification type FormalMethods.
- Formal_specification type FormalSpecificationLanguages.
- Formal_specification type Know-how105616786.
- Formal_specification type Language106282651.
- Formal_specification type Method105660268.
- Formal_specification type PsychologicalFeature100023100.
- 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 "Especificación formal".
- Formal_specification label "Especificação formal".
- Formal_specification label "Formal specification".
- Formal_specification label "Formale Spezifikation".
- Formal_specification label "Формальная спецификация".
- Formal_specification label "形式仕様記述".
- Formal_specification sameAs Formale_Spezifikation.
- Formal_specification sameAs Especificación_formal.
- Formal_specification sameAs 形式仕様記述.
- Formal_specification sameAs Especificação_formal.
- Formal_specification sameAs m.07nj98.
- Formal_specification sameAs Q1437424.
- Formal_specification sameAs Q1437424.
- Formal_specification sameAs Formal_specification.
- Formal_specification wasDerivedFrom Formal_specification?oldid=603750173.
- Formal_specification isPrimaryTopicOf Formal_specification.