Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566330105> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1566330105 abstract "This paper introduces an integrated Z support tool, Z User Studio (ZUS), which was developed by the Formal Methods Research Group of Shanghai University. ZUS is an interactive, single-user tool, running under MS-Windows and NT It supports the production of well-formed Z specifications by providing facilities for building, editing, checking and viewing Z specification documents. It displays the Z constructs and symbols, as they would appear in most popular book on Z ZUS has two modes for editing specifications, text-based editor and graphical editor. The graphical editor provides a hierarchical structure directory for every current Z specification. ZUS implements a computer aided test cases generator (TCG)." @default.
- W1566330105 created "2016-06-24" @default.
- W1566330105 creator A5024666305 @default.
- W1566330105 creator A5027475930 @default.
- W1566330105 creator A5056904789 @default.
- W1566330105 creator A5078511168 @default.
- W1566330105 creator A5080864656 @default.
- W1566330105 date "2005-08-25" @default.
- W1566330105 modified "2023-09-26" @default.
- W1566330105 title "Z User Studio: An integrated support tool for Z specifications" @default.
- W1566330105 cites W1545230025 @default.
- W1566330105 cites W1787500456 @default.
- W1566330105 cites W1967480707 @default.
- W1566330105 cites W2005281904 @default.
- W1566330105 cites W2144973245 @default.
- W1566330105 cites W2146972408 @default.
- W1566330105 cites W2161222901 @default.
- W1566330105 doi "https://doi.org/10.1109/apsec.2001.991512" @default.
- W1566330105 hasPublicationYear "2005" @default.
- W1566330105 type Work @default.
- W1566330105 sameAs 1566330105 @default.
- W1566330105 citedByCount "6" @default.
- W1566330105 countsByYear W15663301052014 @default.
- W1566330105 crossrefType "proceedings-article" @default.
- W1566330105 hasAuthorship W1566330105A5024666305 @default.
- W1566330105 hasAuthorship W1566330105A5027475930 @default.
- W1566330105 hasAuthorship W1566330105A5056904789 @default.
- W1566330105 hasAuthorship W1566330105A5078511168 @default.
- W1566330105 hasAuthorship W1566330105A5080864656 @default.
- W1566330105 hasConcept C111919701 @default.
- W1566330105 hasConcept C115903868 @default.
- W1566330105 hasConcept C116253237 @default.
- W1566330105 hasConcept C121332964 @default.
- W1566330105 hasConcept C163258240 @default.
- W1566330105 hasConcept C199360897 @default.
- W1566330105 hasConcept C2777683733 @default.
- W1566330105 hasConcept C2780992000 @default.
- W1566330105 hasConcept C41008148 @default.
- W1566330105 hasConcept C45012715 @default.
- W1566330105 hasConcept C62520636 @default.
- W1566330105 hasConcept C76155785 @default.
- W1566330105 hasConceptScore W1566330105C111919701 @default.
- W1566330105 hasConceptScore W1566330105C115903868 @default.
- W1566330105 hasConceptScore W1566330105C116253237 @default.
- W1566330105 hasConceptScore W1566330105C121332964 @default.
- W1566330105 hasConceptScore W1566330105C163258240 @default.
- W1566330105 hasConceptScore W1566330105C199360897 @default.
- W1566330105 hasConceptScore W1566330105C2777683733 @default.
- W1566330105 hasConceptScore W1566330105C2780992000 @default.
- W1566330105 hasConceptScore W1566330105C41008148 @default.
- W1566330105 hasConceptScore W1566330105C45012715 @default.
- W1566330105 hasConceptScore W1566330105C62520636 @default.
- W1566330105 hasConceptScore W1566330105C76155785 @default.
- W1566330105 hasLocation W15663301051 @default.
- W1566330105 hasOpenAccess W1566330105 @default.
- W1566330105 hasPrimaryLocation W15663301051 @default.
- W1566330105 hasRelatedWork W1520695936 @default.
- W1566330105 hasRelatedWork W2004614638 @default.
- W1566330105 hasRelatedWork W2021698704 @default.
- W1566330105 hasRelatedWork W2088840194 @default.
- W1566330105 hasRelatedWork W2103166590 @default.
- W1566330105 hasRelatedWork W2186507099 @default.
- W1566330105 hasRelatedWork W2204603098 @default.
- W1566330105 hasRelatedWork W2353527401 @default.
- W1566330105 hasRelatedWork W2557691199 @default.
- W1566330105 hasRelatedWork W26459979 @default.
- W1566330105 hasRelatedWork W2682277659 @default.
- W1566330105 hasRelatedWork W2963029588 @default.
- W1566330105 hasRelatedWork W3021620664 @default.
- W1566330105 hasRelatedWork W3031065179 @default.
- W1566330105 hasRelatedWork W3150709702 @default.
- W1566330105 hasRelatedWork W594084523 @default.
- W1566330105 hasRelatedWork W2135398718 @default.
- W1566330105 hasRelatedWork W2928146793 @default.
- W1566330105 hasRelatedWork W2957281004 @default.
- W1566330105 hasRelatedWork W321345268 @default.
- W1566330105 isParatext "false" @default.
- W1566330105 isRetracted "false" @default.
- W1566330105 magId "1566330105" @default.
- W1566330105 workType "article" @default.