Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088211491> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2088211491 endingPage "111" @default.
- W2088211491 startingPage "73" @default.
- W2088211491 abstract "When building large specifications from requirements, the structure of the specification becomes a central problem: the specification language should allow a decomposition that closely reflects the structure of requirements. In this paper, we propose a decomposition into defaults (general rules) and exceptions to these general rules that fits the requirements found in some application domains. It is complementary, and builds upon, the modular decomposition proposed by the algebraic specification school. Its definition is based on abstract model theory, leading to the definition of default institutions ." @default.
- W2088211491 created "2016-06-24" @default.
- W2088211491 creator A5040108036 @default.
- W2088211491 date "1993-04-01" @default.
- W2088211491 modified "2023-09-30" @default.
- W2088211491 title "Exceptions for algebraic specifications: on the meaning of “but”" @default.
- W2088211491 cites W1977378431 @default.
- W2088211491 cites W1998363560 @default.
- W2088211491 cites W1998691016 @default.
- W2088211491 cites W2004301675 @default.
- W2088211491 cites W2004306067 @default.
- W2088211491 cites W2005984922 @default.
- W2088211491 cites W2007975299 @default.
- W2088211491 cites W2010883554 @default.
- W2088211491 cites W2039303449 @default.
- W2088211491 cites W2078508369 @default.
- W2088211491 cites W2080142817 @default.
- W2088211491 cites W2123685312 @default.
- W2088211491 cites W2155322595 @default.
- W2088211491 cites W2164786747 @default.
- W2088211491 cites W2945259913 @default.
- W2088211491 doi "https://doi.org/10.1016/0167-6423(93)90023-i" @default.
- W2088211491 hasPublicationYear "1993" @default.
- W2088211491 type Work @default.
- W2088211491 sameAs 2088211491 @default.
- W2088211491 citedByCount "13" @default.
- W2088211491 countsByYear W20882114912014 @default.
- W2088211491 countsByYear W20882114912017 @default.
- W2088211491 crossrefType "journal-article" @default.
- W2088211491 hasAuthorship W2088211491A5040108036 @default.
- W2088211491 hasBestOaLocation W20882114911 @default.
- W2088211491 hasConcept C101468663 @default.
- W2088211491 hasConcept C116253237 @default.
- W2088211491 hasConcept C124681953 @default.
- W2088211491 hasConcept C134306372 @default.
- W2088211491 hasConcept C136119220 @default.
- W2088211491 hasConcept C15744967 @default.
- W2088211491 hasConcept C18903297 @default.
- W2088211491 hasConcept C199360897 @default.
- W2088211491 hasConcept C201677973 @default.
- W2088211491 hasConcept C202444582 @default.
- W2088211491 hasConcept C2777691520 @default.
- W2088211491 hasConcept C2780876879 @default.
- W2088211491 hasConcept C33923547 @default.
- W2088211491 hasConcept C41008148 @default.
- W2088211491 hasConcept C542102704 @default.
- W2088211491 hasConcept C80444323 @default.
- W2088211491 hasConcept C86803240 @default.
- W2088211491 hasConcept C9376300 @default.
- W2088211491 hasConceptScore W2088211491C101468663 @default.
- W2088211491 hasConceptScore W2088211491C116253237 @default.
- W2088211491 hasConceptScore W2088211491C124681953 @default.
- W2088211491 hasConceptScore W2088211491C134306372 @default.
- W2088211491 hasConceptScore W2088211491C136119220 @default.
- W2088211491 hasConceptScore W2088211491C15744967 @default.
- W2088211491 hasConceptScore W2088211491C18903297 @default.
- W2088211491 hasConceptScore W2088211491C199360897 @default.
- W2088211491 hasConceptScore W2088211491C201677973 @default.
- W2088211491 hasConceptScore W2088211491C202444582 @default.
- W2088211491 hasConceptScore W2088211491C2777691520 @default.
- W2088211491 hasConceptScore W2088211491C2780876879 @default.
- W2088211491 hasConceptScore W2088211491C33923547 @default.
- W2088211491 hasConceptScore W2088211491C41008148 @default.
- W2088211491 hasConceptScore W2088211491C542102704 @default.
- W2088211491 hasConceptScore W2088211491C80444323 @default.
- W2088211491 hasConceptScore W2088211491C86803240 @default.
- W2088211491 hasConceptScore W2088211491C9376300 @default.
- W2088211491 hasIssue "1-2" @default.
- W2088211491 hasLocation W20882114911 @default.
- W2088211491 hasOpenAccess W2088211491 @default.
- W2088211491 hasPrimaryLocation W20882114911 @default.
- W2088211491 hasRelatedWork W1563875108 @default.
- W2088211491 hasRelatedWork W1575869532 @default.
- W2088211491 hasRelatedWork W1577073218 @default.
- W2088211491 hasRelatedWork W2026649631 @default.
- W2088211491 hasRelatedWork W2044781466 @default.
- W2088211491 hasRelatedWork W2045910943 @default.
- W2088211491 hasRelatedWork W2071986313 @default.
- W2088211491 hasRelatedWork W2104169671 @default.
- W2088211491 hasRelatedWork W26484180 @default.
- W2088211491 hasRelatedWork W2522372746 @default.
- W2088211491 hasVolume "20" @default.
- W2088211491 isParatext "false" @default.
- W2088211491 isRetracted "false" @default.
- W2088211491 magId "2088211491" @default.
- W2088211491 workType "article" @default.