Matches in SemOpenAlex for { <https://semopenalex.org/work/W1480162392> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1480162392 endingPage "204" @default.
- W1480162392 startingPage "201" @default.
- W1480162392 abstract "The lack of existing solutions makes it really hard to understand formal specification languages since the application domain for representations is useful for the purpose of carrying out certain software engineering operations such as slicing and the computation of program metrics.A Z specification dependence graph is presented in this letter. It draws on the strengths of a range of earlier works and adapts them, if necessary, to the Z language." @default.
- W1480162392 created "2016-06-24" @default.
- W1480162392 creator A5034586149 @default.
- W1480162392 creator A5045542958 @default.
- W1480162392 date "2005-01-01" @default.
- W1480162392 modified "2023-09-23" @default.
- W1480162392 title "THE Z SPECIFICATION DEPENDENCE GRAPH" @default.
- W1480162392 hasPublicationYear "2005" @default.
- W1480162392 type Work @default.
- W1480162392 sameAs 1480162392 @default.
- W1480162392 citedByCount "0" @default.
- W1480162392 crossrefType "journal-article" @default.
- W1480162392 hasAuthorship W1480162392A5034586149 @default.
- W1480162392 hasAuthorship W1480162392A5045542958 @default.
- W1480162392 hasConcept C115903868 @default.
- W1480162392 hasConcept C116253237 @default.
- W1480162392 hasConcept C132525143 @default.
- W1480162392 hasConcept C135257023 @default.
- W1480162392 hasConcept C136764020 @default.
- W1480162392 hasConcept C199360897 @default.
- W1480162392 hasConcept C201677973 @default.
- W1480162392 hasConcept C2776190703 @default.
- W1480162392 hasConcept C2777904410 @default.
- W1480162392 hasConcept C41008148 @default.
- W1480162392 hasConcept C80444323 @default.
- W1480162392 hasConcept C91071405 @default.
- W1480162392 hasConceptScore W1480162392C115903868 @default.
- W1480162392 hasConceptScore W1480162392C116253237 @default.
- W1480162392 hasConceptScore W1480162392C132525143 @default.
- W1480162392 hasConceptScore W1480162392C135257023 @default.
- W1480162392 hasConceptScore W1480162392C136764020 @default.
- W1480162392 hasConceptScore W1480162392C199360897 @default.
- W1480162392 hasConceptScore W1480162392C201677973 @default.
- W1480162392 hasConceptScore W1480162392C2776190703 @default.
- W1480162392 hasConceptScore W1480162392C2777904410 @default.
- W1480162392 hasConceptScore W1480162392C41008148 @default.
- W1480162392 hasConceptScore W1480162392C80444323 @default.
- W1480162392 hasConceptScore W1480162392C91071405 @default.
- W1480162392 hasIssue "2" @default.
- W1480162392 hasLocation W14801623921 @default.
- W1480162392 hasOpenAccess W1480162392 @default.
- W1480162392 hasPrimaryLocation W14801623921 @default.
- W1480162392 hasRelatedWork W148357932 @default.
- W1480162392 hasRelatedWork W1502422810 @default.
- W1480162392 hasRelatedWork W1570314198 @default.
- W1480162392 hasRelatedWork W1573407221 @default.
- W1480162392 hasRelatedWork W1854891796 @default.
- W1480162392 hasRelatedWork W1882262276 @default.
- W1480162392 hasRelatedWork W1887303420 @default.
- W1480162392 hasRelatedWork W1964340568 @default.
- W1480162392 hasRelatedWork W1965412645 @default.
- W1480162392 hasRelatedWork W1967402469 @default.
- W1480162392 hasRelatedWork W2060978629 @default.
- W1480162392 hasRelatedWork W2105141177 @default.
- W1480162392 hasRelatedWork W2114091485 @default.
- W1480162392 hasRelatedWork W2140655530 @default.
- W1480162392 hasRelatedWork W2161796320 @default.
- W1480162392 hasRelatedWork W2162519285 @default.
- W1480162392 hasRelatedWork W2531161032 @default.
- W1480162392 hasRelatedWork W2969573567 @default.
- W1480162392 hasRelatedWork W61053291 @default.
- W1480162392 hasRelatedWork W283654250 @default.
- W1480162392 hasVolume "22" @default.
- W1480162392 isParatext "false" @default.
- W1480162392 isRetracted "false" @default.
- W1480162392 magId "1480162392" @default.
- W1480162392 workType "article" @default.