Matches in SemOpenAlex for { <https://semopenalex.org/work/W75396477> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W75396477 endingPage "523" @default.
- W75396477 startingPage "510" @default.
- W75396477 abstract "This article presents Z Browser — Microsoft Windows based tool which helps novices starting to learn Z, even those with little knowledge of Z, to easier comprehend Z specifications. First, Z Browser and its integrated help facility for the Z notation (Z Help) is described. Further, we describe the tests which we carried out in order to find out how much Z Browser reduces the time needed for comprehension of Z specifications and if the quality of comprehension is better. For Z Help, we designed a graphical representation of data types of Z language and the operations on them.KeywordsGraphical RepresentationFormal MethodPhone NumberMathematical BackgroundNovice UserThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W75396477 created "2016-06-24" @default.
- W75396477 creator A5008930027 @default.
- W75396477 creator A5013720586 @default.
- W75396477 creator A5028717112 @default.
- W75396477 creator A5035646957 @default.
- W75396477 date "1995-01-01" @default.
- W75396477 modified "2023-09-25" @default.
- W75396477 title "Z Browser — Tool for visualisation of Z specifications" @default.
- W75396477 cites W2129410399 @default.
- W75396477 cites W63754642 @default.
- W75396477 cites W75234988 @default.
- W75396477 doi "https://doi.org/10.1007/3-540-60271-2_142" @default.
- W75396477 hasPublicationYear "1995" @default.
- W75396477 type Work @default.
- W75396477 sameAs 75396477 @default.
- W75396477 citedByCount "6" @default.
- W75396477 crossrefType "book-chapter" @default.
- W75396477 hasAuthorship W75396477A5008930027 @default.
- W75396477 hasAuthorship W75396477A5013720586 @default.
- W75396477 hasAuthorship W75396477A5028717112 @default.
- W75396477 hasAuthorship W75396477A5035646957 @default.
- W75396477 hasConcept C107457646 @default.
- W75396477 hasConcept C115903868 @default.
- W75396477 hasConcept C136764020 @default.
- W75396477 hasConcept C154945302 @default.
- W75396477 hasConcept C17744445 @default.
- W75396477 hasConcept C199360897 @default.
- W75396477 hasConcept C199539241 @default.
- W75396477 hasConcept C2776359362 @default.
- W75396477 hasConcept C33923547 @default.
- W75396477 hasConcept C36464697 @default.
- W75396477 hasConcept C41008148 @default.
- W75396477 hasConcept C45357846 @default.
- W75396477 hasConcept C511192102 @default.
- W75396477 hasConcept C94375191 @default.
- W75396477 hasConcept C94625758 @default.
- W75396477 hasConceptScore W75396477C107457646 @default.
- W75396477 hasConceptScore W75396477C115903868 @default.
- W75396477 hasConceptScore W75396477C136764020 @default.
- W75396477 hasConceptScore W75396477C154945302 @default.
- W75396477 hasConceptScore W75396477C17744445 @default.
- W75396477 hasConceptScore W75396477C199360897 @default.
- W75396477 hasConceptScore W75396477C199539241 @default.
- W75396477 hasConceptScore W75396477C2776359362 @default.
- W75396477 hasConceptScore W75396477C33923547 @default.
- W75396477 hasConceptScore W75396477C36464697 @default.
- W75396477 hasConceptScore W75396477C41008148 @default.
- W75396477 hasConceptScore W75396477C45357846 @default.
- W75396477 hasConceptScore W75396477C511192102 @default.
- W75396477 hasConceptScore W75396477C94375191 @default.
- W75396477 hasConceptScore W75396477C94625758 @default.
- W75396477 hasLocation W753964771 @default.
- W75396477 hasOpenAccess W75396477 @default.
- W75396477 hasPrimaryLocation W753964771 @default.
- W75396477 hasRelatedWork W134345249 @default.
- W75396477 hasRelatedWork W1514909652 @default.
- W75396477 hasRelatedWork W1555517819 @default.
- W75396477 hasRelatedWork W184489130 @default.
- W75396477 hasRelatedWork W2002211526 @default.
- W75396477 hasRelatedWork W2012314431 @default.
- W75396477 hasRelatedWork W2020945561 @default.
- W75396477 hasRelatedWork W2088295819 @default.
- W75396477 hasRelatedWork W2114909485 @default.
- W75396477 hasRelatedWork W2132461282 @default.
- W75396477 hasRelatedWork W2132511317 @default.
- W75396477 hasRelatedWork W2140649312 @default.
- W75396477 hasRelatedWork W2285030816 @default.
- W75396477 hasRelatedWork W2337930028 @default.
- W75396477 hasRelatedWork W2619199030 @default.
- W75396477 hasRelatedWork W2898764833 @default.
- W75396477 hasRelatedWork W3180179400 @default.
- W75396477 hasRelatedWork W347009149 @default.
- W75396477 hasRelatedWork W35665244 @default.
- W75396477 hasRelatedWork W978310845 @default.
- W75396477 isParatext "false" @default.
- W75396477 isRetracted "false" @default.
- W75396477 magId "75396477" @default.
- W75396477 workType "book-chapter" @default.