Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090909307> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2090909307 abstract "Abstract This article describes a framework to formally model and analyse human behaviour. This is shown by a simple case study of a chocolate vending machine, which represents many aspects of human behaviour. The case study is modelled and analysed using the Maude rewrite system. This work extends a previous work by Basuki which attempts to model interactions between human and machine and analyse the possibility of errors occurring in the interactions. By redesigning the interface, it can be shown that certain kinds of error can be avoided for some users. This article overcomes the limitation of Basuki’s approach by incorporating many aspects of user behaviour into a single user model, and introduces a more natural approach to model human–computer interaction." @default.
- W2090909307 created "2016-06-24" @default.
- W2090909307 creator A5033910051 @default.
- W2090909307 creator A5043501779 @default.
- W2090909307 creator A5048782242 @default.
- W2090909307 creator A5067858494 @default.
- W2090909307 date "2009-12-01" @default.
- W2090909307 modified "2023-09-23" @default.
- W2090909307 title "Model-checking user behaviour using interacting components" @default.
- W2090909307 cites W1495552337 @default.
- W2090909307 cites W1544390302 @default.
- W2090909307 cites W1576770735 @default.
- W2090909307 cites W2023808162 @default.
- W2090909307 cites W2075346739 @default.
- W2090909307 cites W2123591057 @default.
- W2090909307 cites W2160384810 @default.
- W2090909307 cites W2163655454 @default.
- W2090909307 cites W2180809782 @default.
- W2090909307 cites W2205922636 @default.
- W2090909307 cites W4235761409 @default.
- W2090909307 cites W4253560352 @default.
- W2090909307 doi "https://doi.org/10.1007/s00165-008-0101-8" @default.
- W2090909307 hasPublicationYear "2009" @default.
- W2090909307 type Work @default.
- W2090909307 sameAs 2090909307 @default.
- W2090909307 citedByCount "15" @default.
- W2090909307 countsByYear W20909093072012 @default.
- W2090909307 countsByYear W20909093072013 @default.
- W2090909307 countsByYear W20909093072014 @default.
- W2090909307 countsByYear W20909093072015 @default.
- W2090909307 countsByYear W20909093072018 @default.
- W2090909307 countsByYear W20909093072020 @default.
- W2090909307 countsByYear W20909093072021 @default.
- W2090909307 countsByYear W20909093072023 @default.
- W2090909307 crossrefType "journal-article" @default.
- W2090909307 hasAuthorship W2090909307A5033910051 @default.
- W2090909307 hasAuthorship W2090909307A5043501779 @default.
- W2090909307 hasAuthorship W2090909307A5048782242 @default.
- W2090909307 hasAuthorship W2090909307A5067858494 @default.
- W2090909307 hasBestOaLocation W20909093071 @default.
- W2090909307 hasConcept C107457646 @default.
- W2090909307 hasConcept C111472728 @default.
- W2090909307 hasConcept C113843644 @default.
- W2090909307 hasConcept C127413603 @default.
- W2090909307 hasConcept C129307140 @default.
- W2090909307 hasConcept C138885662 @default.
- W2090909307 hasConcept C154945302 @default.
- W2090909307 hasConcept C157915830 @default.
- W2090909307 hasConcept C173608175 @default.
- W2090909307 hasConcept C18762648 @default.
- W2090909307 hasConcept C199360897 @default.
- W2090909307 hasConcept C24858836 @default.
- W2090909307 hasConcept C2780586882 @default.
- W2090909307 hasConcept C41008148 @default.
- W2090909307 hasConcept C78519656 @default.
- W2090909307 hasConcept C80444323 @default.
- W2090909307 hasConcept C89505385 @default.
- W2090909307 hasConceptScore W2090909307C107457646 @default.
- W2090909307 hasConceptScore W2090909307C111472728 @default.
- W2090909307 hasConceptScore W2090909307C113843644 @default.
- W2090909307 hasConceptScore W2090909307C127413603 @default.
- W2090909307 hasConceptScore W2090909307C129307140 @default.
- W2090909307 hasConceptScore W2090909307C138885662 @default.
- W2090909307 hasConceptScore W2090909307C154945302 @default.
- W2090909307 hasConceptScore W2090909307C157915830 @default.
- W2090909307 hasConceptScore W2090909307C173608175 @default.
- W2090909307 hasConceptScore W2090909307C18762648 @default.
- W2090909307 hasConceptScore W2090909307C199360897 @default.
- W2090909307 hasConceptScore W2090909307C24858836 @default.
- W2090909307 hasConceptScore W2090909307C2780586882 @default.
- W2090909307 hasConceptScore W2090909307C41008148 @default.
- W2090909307 hasConceptScore W2090909307C78519656 @default.
- W2090909307 hasConceptScore W2090909307C80444323 @default.
- W2090909307 hasConceptScore W2090909307C89505385 @default.
- W2090909307 hasIssue "6" @default.
- W2090909307 hasLocation W20909093071 @default.
- W2090909307 hasOpenAccess W2090909307 @default.
- W2090909307 hasPrimaryLocation W20909093071 @default.
- W2090909307 hasRelatedWork W1967474012 @default.
- W2090909307 hasRelatedWork W2100557470 @default.
- W2090909307 hasRelatedWork W2117543524 @default.
- W2090909307 hasRelatedWork W2154641962 @default.
- W2090909307 hasRelatedWork W2366067337 @default.
- W2090909307 hasRelatedWork W2378548130 @default.
- W2090909307 hasRelatedWork W3041171771 @default.
- W2090909307 hasRelatedWork W4246426965 @default.
- W2090909307 hasRelatedWork W4323536981 @default.
- W2090909307 hasRelatedWork W830599432 @default.
- W2090909307 hasVolume "21" @default.
- W2090909307 isParatext "false" @default.
- W2090909307 isRetracted "false" @default.
- W2090909307 magId "2090909307" @default.
- W2090909307 workType "article" @default.