Matches in SemOpenAlex for { <https://semopenalex.org/work/W1587758416> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1587758416 endingPage "324" @default.
- W1587758416 startingPage "311" @default.
- W1587758416 abstract "We review the main components of a Deductive Conceptual Model (DCM) of an IS, and introduce a logic-based language for its specification.We then present a new, formal method for the derivation of transaction specifications implied by a given DCM. The method is based on the SLDNF proof procedure, and can be implemented easily in Prolog environments.The method requires the development of an Internal Events Model (IEM). We present such a model, point out how can it be automatically obtained and discuss its use in transaction derivation." @default.
- W1587758416 created "2016-06-24" @default.
- W1587758416 creator A5037805380 @default.
- W1587758416 creator A5032083800 @default.
- W1587758416 date "1994-01-01" @default.
- W1587758416 modified "2023-09-27" @default.
- W1587758416 title "Deriving transaction specifications from Deductive Conceptual Models of information systems" @default.
- W1587758416 cites W1965055931 @default.
- W1587758416 cites W1985819576 @default.
- W1587758416 cites W2037035101 @default.
- W1587758416 cites W2072443175 @default.
- W1587758416 cites W2079814255 @default.
- W1587758416 cites W2092842298 @default.
- W1587758416 doi "https://doi.org/10.1007/3-540-58113-8_179" @default.
- W1587758416 hasPublicationYear "1994" @default.
- W1587758416 type Work @default.
- W1587758416 sameAs 1587758416 @default.
- W1587758416 citedByCount "4" @default.
- W1587758416 countsByYear W15877584162017 @default.
- W1587758416 crossrefType "book-chapter" @default.
- W1587758416 hasAuthorship W1587758416A5032083800 @default.
- W1587758416 hasAuthorship W1587758416A5037805380 @default.
- W1587758416 hasBestOaLocation W15877584161 @default.
- W1587758416 hasConcept C115903868 @default.
- W1587758416 hasConcept C199360897 @default.
- W1587758416 hasConcept C41008148 @default.
- W1587758416 hasConcept C75949130 @default.
- W1587758416 hasConcept C80444323 @default.
- W1587758416 hasConcept C81721847 @default.
- W1587758416 hasConceptScore W1587758416C115903868 @default.
- W1587758416 hasConceptScore W1587758416C199360897 @default.
- W1587758416 hasConceptScore W1587758416C41008148 @default.
- W1587758416 hasConceptScore W1587758416C75949130 @default.
- W1587758416 hasConceptScore W1587758416C80444323 @default.
- W1587758416 hasConceptScore W1587758416C81721847 @default.
- W1587758416 hasLocation W15877584161 @default.
- W1587758416 hasLocation W15877584162 @default.
- W1587758416 hasOpenAccess W1587758416 @default.
- W1587758416 hasPrimaryLocation W15877584161 @default.
- W1587758416 hasRelatedWork W1536968357 @default.
- W1587758416 hasRelatedWork W1548535723 @default.
- W1587758416 hasRelatedWork W1552983112 @default.
- W1587758416 hasRelatedWork W1597062518 @default.
- W1587758416 hasRelatedWork W1608659702 @default.
- W1587758416 hasRelatedWork W1966978306 @default.
- W1587758416 hasRelatedWork W2088007073 @default.
- W1587758416 hasRelatedWork W2112962394 @default.
- W1587758416 hasRelatedWork W2953307851 @default.
- W1587758416 hasRelatedWork W2473250120 @default.
- W1587758416 isParatext "false" @default.
- W1587758416 isRetracted "false" @default.
- W1587758416 magId "1587758416" @default.
- W1587758416 workType "book-chapter" @default.