Matches in SemOpenAlex for { <https://semopenalex.org/work/W4376311> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4376311 abstract "An operation is executable if there is at least one information base in which its preconditions hold and such that the new information base obtained from applying its postconditions satisfies all the integrity constraints. A non-executable operation is useless since it may never be applied. Therefore, identifying non-executable operations and fixing up their definition is a relevant task that should be performed as early as possible in software development. We address this problem in the paper by proposing an algorithm to automatically compute the missing effects in postconditions that would ensure the executability of the operation." @default.
- W4376311 created "2016-06-24" @default.
- W4376311 creator A5017299319 @default.
- W4376311 creator A5062761960 @default.
- W4376311 creator A5085687963 @default.
- W4376311 date "2014-01-01" @default.
- W4376311 modified "2023-09-27" @default.
- W4376311 title "Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas" @default.
- W4376311 cites W138671001 @default.
- W4376311 cites W1565974405 @default.
- W4376311 cites W1590717998 @default.
- W4376311 cites W1607923221 @default.
- W4376311 cites W2009691504 @default.
- W4376311 cites W2026578047 @default.
- W4376311 cites W2041716394 @default.
- W4376311 cites W2043283603 @default.
- W4376311 cites W2053925071 @default.
- W4376311 cites W2178736915 @default.
- W4376311 doi "https://doi.org/10.1007/978-3-319-12206-9_19" @default.
- W4376311 hasPublicationYear "2014" @default.
- W4376311 type Work @default.
- W4376311 sameAs 4376311 @default.
- W4376311 citedByCount "4" @default.
- W4376311 countsByYear W43763112014 @default.
- W4376311 countsByYear W43763112015 @default.
- W4376311 countsByYear W43763112017 @default.
- W4376311 crossrefType "book-chapter" @default.
- W4376311 hasAuthorship W4376311A5017299319 @default.
- W4376311 hasAuthorship W4376311A5062761960 @default.
- W4376311 hasAuthorship W4376311A5085687963 @default.
- W4376311 hasConcept C115903868 @default.
- W4376311 hasConcept C134306372 @default.
- W4376311 hasConcept C145644426 @default.
- W4376311 hasConcept C160145156 @default.
- W4376311 hasConcept C162324750 @default.
- W4376311 hasConcept C187736073 @default.
- W4376311 hasConcept C199360897 @default.
- W4376311 hasConcept C2777904410 @default.
- W4376311 hasConcept C2780451532 @default.
- W4376311 hasConcept C33923547 @default.
- W4376311 hasConcept C41008148 @default.
- W4376311 hasConcept C42058472 @default.
- W4376311 hasConceptScore W4376311C115903868 @default.
- W4376311 hasConceptScore W4376311C134306372 @default.
- W4376311 hasConceptScore W4376311C145644426 @default.
- W4376311 hasConceptScore W4376311C160145156 @default.
- W4376311 hasConceptScore W4376311C162324750 @default.
- W4376311 hasConceptScore W4376311C187736073 @default.
- W4376311 hasConceptScore W4376311C199360897 @default.
- W4376311 hasConceptScore W4376311C2777904410 @default.
- W4376311 hasConceptScore W4376311C2780451532 @default.
- W4376311 hasConceptScore W4376311C33923547 @default.
- W4376311 hasConceptScore W4376311C41008148 @default.
- W4376311 hasConceptScore W4376311C42058472 @default.
- W4376311 hasLocation W43763111 @default.
- W4376311 hasOpenAccess W4376311 @default.
- W4376311 hasPrimaryLocation W43763111 @default.
- W4376311 hasRelatedWork W106034538 @default.
- W4376311 hasRelatedWork W133994996 @default.
- W4376311 hasRelatedWork W1485989547 @default.
- W4376311 hasRelatedWork W1525648839 @default.
- W4376311 hasRelatedWork W1529592550 @default.
- W4376311 hasRelatedWork W1532713898 @default.
- W4376311 hasRelatedWork W1592055490 @default.
- W4376311 hasRelatedWork W1996888673 @default.
- W4376311 hasRelatedWork W2295817058 @default.
- W4376311 hasRelatedWork W2308062611 @default.
- W4376311 hasRelatedWork W2406669637 @default.
- W4376311 hasRelatedWork W2463914977 @default.
- W4376311 hasRelatedWork W2743531196 @default.
- W4376311 hasRelatedWork W2868972122 @default.
- W4376311 hasRelatedWork W2897842245 @default.
- W4376311 hasRelatedWork W2949823849 @default.
- W4376311 hasRelatedWork W3021465650 @default.
- W4376311 hasRelatedWork W3196388292 @default.
- W4376311 hasRelatedWork W2319337025 @default.
- W4376311 hasRelatedWork W2521303110 @default.
- W4376311 isParatext "false" @default.
- W4376311 isRetracted "false" @default.
- W4376311 magId "4376311" @default.
- W4376311 workType "book-chapter" @default.