Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Assertion_definition_language> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Assertion_definition_language abstract "The Assertion Definition Language (ADL) is a specification language providing a formal grammar to specify behaviour and interfaces for computer software. ADL uses function pre- and postconditions to specify interfaces and is designed to provide an intermediary between informal English language specifications and formal programmatic test specifications. Tool support exists both to convert ADL specifications into natural language, and to generate test systems against which implementation code can be verified.ADL is developed cooperatively by The Open Group and SunTest of Sun Microsystems.".
- Assertion_definition_language wikiPageExternalLink about.
- Assertion_definition_language wikiPageID "9233578".
- Assertion_definition_language wikiPageLength "878".
- Assertion_definition_language wikiPageOutDegree "10".
- Assertion_definition_language wikiPageRevisionID "691370099".
- Assertion_definition_language wikiPageWikiLink Category:Formal_specification_languages.
- Assertion_definition_language wikiPageWikiLink Formal_methods.
- Assertion_definition_language wikiPageWikiLink Formal_specification.
- Assertion_definition_language wikiPageWikiLink Postcondition.
- Assertion_definition_language wikiPageWikiLink Precondition.
- Assertion_definition_language wikiPageWikiLink Software.
- Assertion_definition_language wikiPageWikiLink Specification_language.
- Assertion_definition_language wikiPageWikiLink SunTest.
- Assertion_definition_language wikiPageWikiLink Sun_Microsystems.
- Assertion_definition_language wikiPageWikiLink The_Open_Group.
- Assertion_definition_language wikiPageWikiLinkText "Assertion definition language".
- Assertion_definition_language wikiPageUsesTemplate Template:Compu-lang-stub.
- Assertion_definition_language wikiPageUsesTemplate Template:One_source.
- Assertion_definition_language subject Category:Formal_specification_languages.
- Assertion_definition_language hypernym Language.
- Assertion_definition_language type Language.
- Assertion_definition_language type ProgrammingLanguage.
- Assertion_definition_language type Language.
- Assertion_definition_language type Language.
- Assertion_definition_language type Thing.
- Assertion_definition_language type Q315.
- Assertion_definition_language type Q34770.
- Assertion_definition_language type Q9143.
- Assertion_definition_language comment "The Assertion Definition Language (ADL) is a specification language providing a formal grammar to specify behaviour and interfaces for computer software. ADL uses function pre- and postconditions to specify interfaces and is designed to provide an intermediary between informal English language specifications and formal programmatic test specifications.".
- Assertion_definition_language label "Assertion definition language".
- Assertion_definition_language sameAs Q4808749.
- Assertion_definition_language sameAs m.02813px.
- Assertion_definition_language sameAs Q4808749.
- Assertion_definition_language wasDerivedFrom Assertion_definition_language?oldid=691370099.
- Assertion_definition_language isPrimaryTopicOf Assertion_definition_language.