Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145411968> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2145411968 abstract "The existing Z supporting tools focus on providing editing and syntax checking functionalities (Siddiqi et al., 1993). We develop VZ (Visual Z) visual programming environment for constructing Z specifications. The main advantage of such an environment is to allow the user to manipulate icons (glyphs) to generate a specification. Instead of remembering the set of Z symbols, the user can manipulate the visually understandable icons to develop the specification. Moreover, VZ is a well organized environment; various components of a specification are organized into different folders for easy storage and retrieval. Finally, VZ also supports validation of specification and basic logic proving, which are essential in developing correct specification." @default.
- W2145411968 created "2016-06-24" @default.
- W2145411968 creator A5021414279 @default.
- W2145411968 creator A5026210624 @default.
- W2145411968 creator A5089392643 @default.
- W2145411968 creator A5091608695 @default.
- W2145411968 date "2002-11-23" @default.
- W2145411968 modified "2023-09-26" @default.
- W2145411968 title "A visual programming environment for Z specifications" @default.
- W2145411968 cites W2116170170 @default.
- W2145411968 cites W2135275658 @default.
- W2145411968 doi "https://doi.org/10.1109/apsec.1997.640210" @default.
- W2145411968 hasPublicationYear "2002" @default.
- W2145411968 type Work @default.
- W2145411968 sameAs 2145411968 @default.
- W2145411968 citedByCount "0" @default.
- W2145411968 crossrefType "proceedings-article" @default.
- W2145411968 hasAuthorship W2145411968A5021414279 @default.
- W2145411968 hasAuthorship W2145411968A5026210624 @default.
- W2145411968 hasAuthorship W2145411968A5089392643 @default.
- W2145411968 hasAuthorship W2145411968A5091608695 @default.
- W2145411968 hasConcept C107457646 @default.
- W2145411968 hasConcept C115903868 @default.
- W2145411968 hasConcept C116253237 @default.
- W2145411968 hasConcept C120665830 @default.
- W2145411968 hasConcept C121332964 @default.
- W2145411968 hasConcept C128644962 @default.
- W2145411968 hasConcept C139968098 @default.
- W2145411968 hasConcept C154945302 @default.
- W2145411968 hasConcept C177264268 @default.
- W2145411968 hasConcept C192209626 @default.
- W2145411968 hasConcept C199360897 @default.
- W2145411968 hasConcept C41008148 @default.
- W2145411968 hasConcept C60048249 @default.
- W2145411968 hasConcept C90069079 @default.
- W2145411968 hasConceptScore W2145411968C107457646 @default.
- W2145411968 hasConceptScore W2145411968C115903868 @default.
- W2145411968 hasConceptScore W2145411968C116253237 @default.
- W2145411968 hasConceptScore W2145411968C120665830 @default.
- W2145411968 hasConceptScore W2145411968C121332964 @default.
- W2145411968 hasConceptScore W2145411968C128644962 @default.
- W2145411968 hasConceptScore W2145411968C139968098 @default.
- W2145411968 hasConceptScore W2145411968C154945302 @default.
- W2145411968 hasConceptScore W2145411968C177264268 @default.
- W2145411968 hasConceptScore W2145411968C192209626 @default.
- W2145411968 hasConceptScore W2145411968C199360897 @default.
- W2145411968 hasConceptScore W2145411968C41008148 @default.
- W2145411968 hasConceptScore W2145411968C60048249 @default.
- W2145411968 hasConceptScore W2145411968C90069079 @default.
- W2145411968 hasLocation W21454119681 @default.
- W2145411968 hasOpenAccess W2145411968 @default.
- W2145411968 hasPrimaryLocation W21454119681 @default.
- W2145411968 hasRelatedWork W120382465 @default.
- W2145411968 hasRelatedWork W1522041189 @default.
- W2145411968 hasRelatedWork W1606638166 @default.
- W2145411968 hasRelatedWork W1924502949 @default.
- W2145411968 hasRelatedWork W1975376848 @default.
- W2145411968 hasRelatedWork W1989493307 @default.
- W2145411968 hasRelatedWork W2050040003 @default.
- W2145411968 hasRelatedWork W2102132067 @default.
- W2145411968 hasRelatedWork W2113915276 @default.
- W2145411968 hasRelatedWork W2114217682 @default.
- W2145411968 hasRelatedWork W2128089903 @default.
- W2145411968 hasRelatedWork W2144314975 @default.
- W2145411968 hasRelatedWork W2149877217 @default.
- W2145411968 hasRelatedWork W2154582308 @default.
- W2145411968 hasRelatedWork W2159174738 @default.
- W2145411968 hasRelatedWork W2160596584 @default.
- W2145411968 hasRelatedWork W2404715444 @default.
- W2145411968 hasRelatedWork W2470250579 @default.
- W2145411968 hasRelatedWork W2100891079 @default.
- W2145411968 hasRelatedWork W279248610 @default.
- W2145411968 isParatext "false" @default.
- W2145411968 isRetracted "false" @default.
- W2145411968 magId "2145411968" @default.
- W2145411968 workType "article" @default.