Matches in SemOpenAlex for { <https://semopenalex.org/work/W1775703967> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1775703967 abstract "In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to exploring Z specifications through animation, and illustrate the range of analyses that can be performed. We argue that, while a light weight approach does not give the same levels of assurance that an automated reasoning system would, it does give levels of assurance which are adequate for most projects and with significantly less overhead. We illustrate how animation can be used to perform verification using the example of a simple dependency management system." @default.
- W1775703967 created "2016-06-24" @default.
- W1775703967 creator A5008378418 @default.
- W1775703967 creator A5021922442 @default.
- W1775703967 creator A5073467972 @default.
- W1775703967 date "2002-11-27" @default.
- W1775703967 modified "2023-09-25" @default.
- W1775703967 title "Verifying model oriented specifications through animation" @default.
- W1775703967 cites W1541434994 @default.
- W1775703967 cites W1574829620 @default.
- W1775703967 cites W1576017956 @default.
- W1775703967 cites W1834347800 @default.
- W1775703967 cites W1841176484 @default.
- W1775703967 cites W1966978306 @default.
- W1775703967 cites W1982243747 @default.
- W1775703967 cites W1994096313 @default.
- W1775703967 cites W2072927547 @default.
- W1775703967 cites W2090792650 @default.
- W1775703967 cites W2123092342 @default.
- W1775703967 cites W2125853559 @default.
- W1775703967 cites W2142545871 @default.
- W1775703967 cites W2144973245 @default.
- W1775703967 cites W67477776 @default.
- W1775703967 doi "https://doi.org/10.1109/apsec.1998.733727" @default.
- W1775703967 hasPublicationYear "2002" @default.
- W1775703967 type Work @default.
- W1775703967 sameAs 1775703967 @default.
- W1775703967 citedByCount "7" @default.
- W1775703967 countsByYear W17757039672016 @default.
- W1775703967 crossrefType "proceedings-article" @default.
- W1775703967 hasAuthorship W1775703967A5008378418 @default.
- W1775703967 hasAuthorship W1775703967A5021922442 @default.
- W1775703967 hasAuthorship W1775703967A5073467972 @default.
- W1775703967 hasConcept C111472728 @default.
- W1775703967 hasConcept C115903868 @default.
- W1775703967 hasConcept C121684516 @default.
- W1775703967 hasConcept C127413603 @default.
- W1775703967 hasConcept C138885662 @default.
- W1775703967 hasConcept C146978453 @default.
- W1775703967 hasConcept C19768560 @default.
- W1775703967 hasConcept C199360897 @default.
- W1775703967 hasConcept C204323151 @default.
- W1775703967 hasConcept C2779960059 @default.
- W1775703967 hasConcept C2780586882 @default.
- W1775703967 hasConcept C41008148 @default.
- W1775703967 hasConcept C502989409 @default.
- W1775703967 hasConcept C69369342 @default.
- W1775703967 hasConceptScore W1775703967C111472728 @default.
- W1775703967 hasConceptScore W1775703967C115903868 @default.
- W1775703967 hasConceptScore W1775703967C121684516 @default.
- W1775703967 hasConceptScore W1775703967C127413603 @default.
- W1775703967 hasConceptScore W1775703967C138885662 @default.
- W1775703967 hasConceptScore W1775703967C146978453 @default.
- W1775703967 hasConceptScore W1775703967C19768560 @default.
- W1775703967 hasConceptScore W1775703967C199360897 @default.
- W1775703967 hasConceptScore W1775703967C204323151 @default.
- W1775703967 hasConceptScore W1775703967C2779960059 @default.
- W1775703967 hasConceptScore W1775703967C2780586882 @default.
- W1775703967 hasConceptScore W1775703967C41008148 @default.
- W1775703967 hasConceptScore W1775703967C502989409 @default.
- W1775703967 hasConceptScore W1775703967C69369342 @default.
- W1775703967 hasLocation W17757039671 @default.
- W1775703967 hasOpenAccess W1775703967 @default.
- W1775703967 hasPrimaryLocation W17757039671 @default.
- W1775703967 hasRelatedWork W1527862632 @default.
- W1775703967 hasRelatedWork W2008102628 @default.
- W1775703967 hasRelatedWork W2352331355 @default.
- W1775703967 hasRelatedWork W2356752606 @default.
- W1775703967 hasRelatedWork W2362894720 @default.
- W1775703967 hasRelatedWork W2367492307 @default.
- W1775703967 hasRelatedWork W2370579750 @default.
- W1775703967 hasRelatedWork W2388891502 @default.
- W1775703967 hasRelatedWork W3004910051 @default.
- W1775703967 hasRelatedWork W4214924096 @default.
- W1775703967 isParatext "false" @default.
- W1775703967 isRetracted "false" @default.
- W1775703967 magId "1775703967" @default.
- W1775703967 workType "article" @default.