Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743226384> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2743226384 abstract "Graphical user interfaces are important components of today's software. User interfaces often require checking correctness of user interactions. In web applications such checks can be a part of the JavaScript code. User interfaces in web applications can evolve, some elements can be removed and new elements can be added. To check JavaScript code covers all possible incorrect scenarios in user interactions in web application, constraint programming is used. We use the MiniZinc constraint modelling language to model incorrect user behaviour and to convert JavaScript code into a constraint model. Then we perform an equivalence check to find deviations in JavaScript code. The approach was applied to design user interface of an industrial software product." @default.
- W2743226384 created "2017-08-17" @default.
- W2743226384 creator A5027382151 @default.
- W2743226384 creator A5057648356 @default.
- W2743226384 creator A5060845780 @default.
- W2743226384 date "2017-07-01" @default.
- W2743226384 modified "2023-09-27" @default.
- W2743226384 title "Modelling and Verification of User Interactions Using Constraint Programming" @default.
- W2743226384 cites W1494840099 @default.
- W2743226384 cites W1554426544 @default.
- W2743226384 cites W1663101133 @default.
- W2743226384 cites W2016321606 @default.
- W2743226384 cites W2031279738 @default.
- W2743226384 cites W2103393476 @default.
- W2743226384 cites W2159875930 @default.
- W2743226384 cites W2217210231 @default.
- W2743226384 cites W3147914313 @default.
- W2743226384 doi "https://doi.org/10.1109/qrs-c.2017.92" @default.
- W2743226384 hasPublicationYear "2017" @default.
- W2743226384 type Work @default.
- W2743226384 sameAs 2743226384 @default.
- W2743226384 citedByCount "0" @default.
- W2743226384 crossrefType "proceedings-article" @default.
- W2743226384 hasAuthorship W2743226384A5027382151 @default.
- W2743226384 hasAuthorship W2743226384A5057648356 @default.
- W2743226384 hasAuthorship W2743226384A5060845780 @default.
- W2743226384 hasConcept C103048170 @default.
- W2743226384 hasConcept C105795698 @default.
- W2743226384 hasConcept C115903868 @default.
- W2743226384 hasConcept C118643609 @default.
- W2743226384 hasConcept C136764020 @default.
- W2743226384 hasConcept C137631369 @default.
- W2743226384 hasConcept C138885662 @default.
- W2743226384 hasConcept C173404611 @default.
- W2743226384 hasConcept C198240166 @default.
- W2743226384 hasConcept C199360897 @default.
- W2743226384 hasConcept C2780069185 @default.
- W2743226384 hasConcept C33923547 @default.
- W2743226384 hasConcept C37789001 @default.
- W2743226384 hasConcept C41008148 @default.
- W2743226384 hasConcept C41895202 @default.
- W2743226384 hasConcept C544833334 @default.
- W2743226384 hasConcept C55439883 @default.
- W2743226384 hasConcept C89505385 @default.
- W2743226384 hasConceptScore W2743226384C103048170 @default.
- W2743226384 hasConceptScore W2743226384C105795698 @default.
- W2743226384 hasConceptScore W2743226384C115903868 @default.
- W2743226384 hasConceptScore W2743226384C118643609 @default.
- W2743226384 hasConceptScore W2743226384C136764020 @default.
- W2743226384 hasConceptScore W2743226384C137631369 @default.
- W2743226384 hasConceptScore W2743226384C138885662 @default.
- W2743226384 hasConceptScore W2743226384C173404611 @default.
- W2743226384 hasConceptScore W2743226384C198240166 @default.
- W2743226384 hasConceptScore W2743226384C199360897 @default.
- W2743226384 hasConceptScore W2743226384C2780069185 @default.
- W2743226384 hasConceptScore W2743226384C33923547 @default.
- W2743226384 hasConceptScore W2743226384C37789001 @default.
- W2743226384 hasConceptScore W2743226384C41008148 @default.
- W2743226384 hasConceptScore W2743226384C41895202 @default.
- W2743226384 hasConceptScore W2743226384C544833334 @default.
- W2743226384 hasConceptScore W2743226384C55439883 @default.
- W2743226384 hasConceptScore W2743226384C89505385 @default.
- W2743226384 hasLocation W27432263841 @default.
- W2743226384 hasOpenAccess W2743226384 @default.
- W2743226384 hasPrimaryLocation W27432263841 @default.
- W2743226384 hasRelatedWork W1587887560 @default.
- W2743226384 hasRelatedWork W1932222618 @default.
- W2743226384 hasRelatedWork W1979973791 @default.
- W2743226384 hasRelatedWork W1984435122 @default.
- W2743226384 hasRelatedWork W2022137742 @default.
- W2743226384 hasRelatedWork W2036555448 @default.
- W2743226384 hasRelatedWork W2043170271 @default.
- W2743226384 hasRelatedWork W2052304461 @default.
- W2743226384 hasRelatedWork W2080544868 @default.
- W2743226384 hasRelatedWork W2088955025 @default.
- W2743226384 hasRelatedWork W2108547941 @default.
- W2743226384 hasRelatedWork W2113321615 @default.
- W2743226384 hasRelatedWork W2120489669 @default.
- W2743226384 hasRelatedWork W2128849103 @default.
- W2743226384 hasRelatedWork W2142420920 @default.
- W2743226384 hasRelatedWork W2167363148 @default.
- W2743226384 hasRelatedWork W2312760909 @default.
- W2743226384 hasRelatedWork W2743407310 @default.
- W2743226384 hasRelatedWork W3009783210 @default.
- W2743226384 hasRelatedWork W2151418386 @default.
- W2743226384 isParatext "false" @default.
- W2743226384 isRetracted "false" @default.
- W2743226384 magId "2743226384" @default.
- W2743226384 workType "article" @default.