Matches in SemOpenAlex for { <https://semopenalex.org/work/W1512697204> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1512697204 endingPage "1004" @default.
- W1512697204 startingPage "993" @default.
- W1512697204 abstract "We construct a representation of the institution of the algebraic specification language CASL in an institution called enriched CASL. Enriched CASL satisfies the amalgamation property, which fails in the CASL institution, as well as its converse. Thus, the previously suggested institution-independent semantics of architectural specifications is actually applicable to CASL. Moreover, a variety of results for institutions with amalgamation, such as computation of normal forms and theorem proving for structured specifications, can now be used for CASL." @default.
- W1512697204 created "2016-06-24" @default.
- W1512697204 creator A5040001719 @default.
- W1512697204 creator A5073765060 @default.
- W1512697204 creator A5087292234 @default.
- W1512697204 date "2001-01-01" @default.
- W1512697204 modified "2023-09-27" @default.
- W1512697204 title "Amalgamation in CASL via Enriched Signatures" @default.
- W1512697204 cites W1485204608 @default.
- W1512697204 cites W1519382205 @default.
- W1512697204 cites W1549492320 @default.
- W1512697204 cites W1554003903 @default.
- W1512697204 cites W1557649720 @default.
- W1512697204 cites W1571394659 @default.
- W1512697204 cites W1589324131 @default.
- W1512697204 cites W1603788080 @default.
- W1512697204 cites W1974190112 @default.
- W1512697204 cites W1996388638 @default.
- W1512697204 cites W1997753816 @default.
- W1512697204 cites W2010883554 @default.
- W1512697204 cites W2040125385 @default.
- W1512697204 cites W2071749035 @default.
- W1512697204 cites W2107674601 @default.
- W1512697204 cites W2132371811 @default.
- W1512697204 cites W2493333586 @default.
- W1512697204 cites W4256129919 @default.
- W1512697204 doi "https://doi.org/10.1007/3-540-48224-5_80" @default.
- W1512697204 hasPublicationYear "2001" @default.
- W1512697204 type Work @default.
- W1512697204 sameAs 1512697204 @default.
- W1512697204 citedByCount "6" @default.
- W1512697204 crossrefType "book-chapter" @default.
- W1512697204 hasAuthorship W1512697204A5040001719 @default.
- W1512697204 hasAuthorship W1512697204A5073765060 @default.
- W1512697204 hasAuthorship W1512697204A5087292234 @default.
- W1512697204 hasConcept C199360897 @default.
- W1512697204 hasConcept C41008148 @default.
- W1512697204 hasConceptScore W1512697204C199360897 @default.
- W1512697204 hasConceptScore W1512697204C41008148 @default.
- W1512697204 hasLocation W15126972041 @default.
- W1512697204 hasOpenAccess W1512697204 @default.
- W1512697204 hasPrimaryLocation W15126972041 @default.
- W1512697204 hasRelatedWork W1527862632 @default.
- W1512697204 hasRelatedWork W2112962394 @default.
- W1512697204 hasRelatedWork W2118300983 @default.
- W1512697204 hasRelatedWork W2135396778 @default.
- W1512697204 hasRelatedWork W2382501300 @default.
- W1512697204 hasRelatedWork W2740990710 @default.
- W1512697204 hasRelatedWork W3137189469 @default.
- W1512697204 hasRelatedWork W3162240892 @default.
- W1512697204 hasRelatedWork W4235530921 @default.
- W1512697204 hasRelatedWork W4243252198 @default.
- W1512697204 isParatext "false" @default.
- W1512697204 isRetracted "false" @default.
- W1512697204 magId "1512697204" @default.
- W1512697204 workType "book-chapter" @default.