Matches in SemOpenAlex for { <https://semopenalex.org/work/W1879422552> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1879422552 endingPage "253" @default.
- W1879422552 startingPage "241" @default.
- W1879422552 abstract "The paper reflects on why formal methods are quite often not used in projects that better rely on their potential. The expressive density might not be the least among them. To allow users focussed reading, the concept of specification slicing and specification chunking is introduced. An initial evaluation shows that reduction in size obtainable varies, they can be marked with larger specifications though." @default.
- W1879422552 created "2016-06-24" @default.
- W1879422552 creator A5055185571 @default.
- W1879422552 creator A5079951536 @default.
- W1879422552 date "2003-01-01" @default.
- W1879422552 modified "2023-10-16" @default.
- W1879422552 title "Demand-Driven Specification Partitioning" @default.
- W1879422552 cites W1971991620 @default.
- W1879422552 cites W1991604845 @default.
- W1879422552 cites W2073806869 @default.
- W1879422552 cites W2112463731 @default.
- W1879422552 cites W2126798794 @default.
- W1879422552 cites W2160119094 @default.
- W1879422552 doi "https://doi.org/10.1007/978-3-540-45213-3_30" @default.
- W1879422552 hasPublicationYear "2003" @default.
- W1879422552 type Work @default.
- W1879422552 sameAs 1879422552 @default.
- W1879422552 citedByCount "8" @default.
- W1879422552 countsByYear W18794225522013 @default.
- W1879422552 crossrefType "book-chapter" @default.
- W1879422552 hasAuthorship W1879422552A5055185571 @default.
- W1879422552 hasAuthorship W1879422552A5079951536 @default.
- W1879422552 hasConcept C111335779 @default.
- W1879422552 hasConcept C116253237 @default.
- W1879422552 hasConcept C136764020 @default.
- W1879422552 hasConcept C154945302 @default.
- W1879422552 hasConcept C199360897 @default.
- W1879422552 hasConcept C203357204 @default.
- W1879422552 hasConcept C2524010 @default.
- W1879422552 hasConcept C2776190703 @default.
- W1879422552 hasConcept C33923547 @default.
- W1879422552 hasConcept C41008148 @default.
- W1879422552 hasConcept C75606506 @default.
- W1879422552 hasConcept C80444323 @default.
- W1879422552 hasConceptScore W1879422552C111335779 @default.
- W1879422552 hasConceptScore W1879422552C116253237 @default.
- W1879422552 hasConceptScore W1879422552C136764020 @default.
- W1879422552 hasConceptScore W1879422552C154945302 @default.
- W1879422552 hasConceptScore W1879422552C199360897 @default.
- W1879422552 hasConceptScore W1879422552C203357204 @default.
- W1879422552 hasConceptScore W1879422552C2524010 @default.
- W1879422552 hasConceptScore W1879422552C2776190703 @default.
- W1879422552 hasConceptScore W1879422552C33923547 @default.
- W1879422552 hasConceptScore W1879422552C41008148 @default.
- W1879422552 hasConceptScore W1879422552C75606506 @default.
- W1879422552 hasConceptScore W1879422552C80444323 @default.
- W1879422552 hasLocation W18794225521 @default.
- W1879422552 hasOpenAccess W1879422552 @default.
- W1879422552 hasPrimaryLocation W18794225521 @default.
- W1879422552 hasRelatedWork W1544097700 @default.
- W1879422552 hasRelatedWork W1922520186 @default.
- W1879422552 hasRelatedWork W1950421680 @default.
- W1879422552 hasRelatedWork W1999356246 @default.
- W1879422552 hasRelatedWork W2034589735 @default.
- W1879422552 hasRelatedWork W2045204345 @default.
- W1879422552 hasRelatedWork W2049993111 @default.
- W1879422552 hasRelatedWork W2145025660 @default.
- W1879422552 hasRelatedWork W2171674700 @default.
- W1879422552 hasRelatedWork W1903167137 @default.
- W1879422552 isParatext "false" @default.
- W1879422552 isRetracted "false" @default.
- W1879422552 magId "1879422552" @default.
- W1879422552 workType "book-chapter" @default.