Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015333075> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2015333075 endingPage "27" @default.
- W2015333075 startingPage "18" @default.
- W2015333075 abstract "Program slicing is a well-known technique that has been used in a variety of software engineering areas, such as comprehension, understanding, maintenance, debugging, testing, reuse, metrics, etc. This paper discusses how the formal specification language Z schema calculus may be used to specify program slicing. General aspects of program slicing are considered, i.e. dependence graphs and program slicing algorithms. This formalization could help in the correct understanding of program slicing and also the correct application of a desired slicing regime in a rigorous way." @default.
- W2015333075 created "2016-06-24" @default.
- W2015333075 creator A5059447445 @default.
- W2015333075 date "2006-12-01" @default.
- W2015333075 modified "2023-09-24" @default.
- W2015333075 title "Formal specification of program slicing" @default.
- W2015333075 cites W1516713969 @default.
- W2015333075 cites W2006802414 @default.
- W2015333075 cites W2050280527 @default.
- W2015333075 cites W2092483417 @default.
- W2015333075 cites W2099148960 @default.
- W2015333075 cites W2144344516 @default.
- W2015333075 cites W2147088720 @default.
- W2015333075 cites W2156528699 @default.
- W2015333075 cites W3004322318 @default.
- W2015333075 cites W4248866631 @default.
- W2015333075 doi "https://doi.org/10.1145/1229493.1229497" @default.
- W2015333075 hasPublicationYear "2006" @default.
- W2015333075 type Work @default.
- W2015333075 sameAs 2015333075 @default.
- W2015333075 citedByCount "1" @default.
- W2015333075 countsByYear W20153330752013 @default.
- W2015333075 crossrefType "journal-article" @default.
- W2015333075 hasAuthorship W2015333075A5059447445 @default.
- W2015333075 hasConcept C115903868 @default.
- W2015333075 hasConcept C136764020 @default.
- W2015333075 hasConcept C149091818 @default.
- W2015333075 hasConcept C168065819 @default.
- W2015333075 hasConcept C18903297 @default.
- W2015333075 hasConcept C199360897 @default.
- W2015333075 hasConcept C206588197 @default.
- W2015333075 hasConcept C23123220 @default.
- W2015333075 hasConcept C2776190703 @default.
- W2015333075 hasConcept C2777561058 @default.
- W2015333075 hasConcept C2777904410 @default.
- W2015333075 hasConcept C41008148 @default.
- W2015333075 hasConcept C52146309 @default.
- W2015333075 hasConcept C86803240 @default.
- W2015333075 hasConcept C91071405 @default.
- W2015333075 hasConceptScore W2015333075C115903868 @default.
- W2015333075 hasConceptScore W2015333075C136764020 @default.
- W2015333075 hasConceptScore W2015333075C149091818 @default.
- W2015333075 hasConceptScore W2015333075C168065819 @default.
- W2015333075 hasConceptScore W2015333075C18903297 @default.
- W2015333075 hasConceptScore W2015333075C199360897 @default.
- W2015333075 hasConceptScore W2015333075C206588197 @default.
- W2015333075 hasConceptScore W2015333075C23123220 @default.
- W2015333075 hasConceptScore W2015333075C2776190703 @default.
- W2015333075 hasConceptScore W2015333075C2777561058 @default.
- W2015333075 hasConceptScore W2015333075C2777904410 @default.
- W2015333075 hasConceptScore W2015333075C41008148 @default.
- W2015333075 hasConceptScore W2015333075C52146309 @default.
- W2015333075 hasConceptScore W2015333075C86803240 @default.
- W2015333075 hasConceptScore W2015333075C91071405 @default.
- W2015333075 hasIssue "12" @default.
- W2015333075 hasLocation W20153330751 @default.
- W2015333075 hasOpenAccess W2015333075 @default.
- W2015333075 hasPrimaryLocation W20153330751 @default.
- W2015333075 hasRelatedWork W1489262808 @default.
- W2015333075 hasRelatedWork W1536968357 @default.
- W2015333075 hasRelatedWork W2007121005 @default.
- W2015333075 hasRelatedWork W2015333075 @default.
- W2015333075 hasRelatedWork W2042825714 @default.
- W2015333075 hasRelatedWork W2099080307 @default.
- W2015333075 hasRelatedWork W2160648913 @default.
- W2015333075 hasRelatedWork W2274522686 @default.
- W2015333075 hasRelatedWork W2359249452 @default.
- W2015333075 hasRelatedWork W2769961808 @default.
- W2015333075 hasVolume "41" @default.
- W2015333075 isParatext "false" @default.
- W2015333075 isRetracted "false" @default.
- W2015333075 magId "2015333075" @default.
- W2015333075 workType "article" @default.