Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5153278> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Q5153278 subject Q8466135.
- Q5153278 abstract "The Common Algebraic Specification Language (CASL) is a general-purpose specification languagebased on first-order logic with induction. Partial functionsand subsorting are also supported.CASL has been designed by CoFI, the Common Framework Initiative, with the aim to subsume many existing specification languages.CASL comprises four levels: basic specifications, for the specification of single software modules, structured specifications, for the modular specification of modules, architectural specifications, for the prescription of the structure of implementations, specification libraries, for storing specifications distributed over the Internet.The four levels are orthogonal to each other. In particular, it is possible to use CASL structured and architectural specifications and libraries with logics other than CASL. For this purpose, the logic has to be formalized as an institution. This feature is also used by the CASL extensions.".
- Q5153278 wikiPageExternalLink www.cofi.info.
- Q5153278 wikiPageExternalLink index_e.htm.
- Q5153278 wikiPageExternalLink CASL.
- Q5153278 wikiPageWikiLink Q1120460.
- Q5153278 wikiPageWikiLink Q1209840.
- Q5153278 wikiPageWikiLink Q1414548.
- Q5153278 wikiPageWikiLink Q1644136.
- Q5153278 wikiPageWikiLink Q1756942.
- Q5153278 wikiPageWikiLink Q178377.
- Q5153278 wikiPageWikiLink Q210841.
- Q5153278 wikiPageWikiLink Q21608541.
- Q5153278 wikiPageWikiLink Q245962.
- Q5153278 wikiPageWikiLink Q2713292.
- Q5153278 wikiPageWikiLink Q3062935.
- Q5153278 wikiPageWikiLink Q3487828.
- Q5153278 wikiPageWikiLink Q4055684.
- Q5153278 wikiPageWikiLink Q4724019.
- Q5153278 wikiPageWikiLink Q6041045.
- Q5153278 wikiPageWikiLink Q75.
- Q5153278 wikiPageWikiLink Q781833.
- Q5153278 wikiPageWikiLink Q8466135.
- Q5153278 wikiPageWikiLink Q846636.
- Q5153278 type Language.
- Q5153278 type Language.
- Q5153278 type ProgrammingLanguage.
- Q5153278 type Thing.
- Q5153278 type Q315.
- Q5153278 type Q34770.
- Q5153278 type Q9143.
- Q5153278 comment "The Common Algebraic Specification Language (CASL) is a general-purpose specification languagebased on first-order logic with induction.".
- Q5153278 label "Common Algebraic Specification Language".
- Q5153278 homepage www.cofi.info.