Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170388521> ?p ?o ?g. }
- W2170388521 abstract "The paper at hand introduces a new formal approach to user interface modeling. This approach is mainly motivated by a lack of formal methods for modeling interaction logic of interactive user interfaces. Based on formal methods, various verification, alidation, transformation and reconfiguration techniques can be applied directly to user interfaces in the context of adaptation as well as usability issues. To address these points, we introduce a new modeling language called FILL, which has been developed specifically for modeling interaction logic and can be easily transformed to reference nets, a special form of Petri nets offering a formal semantics for FILL. Finally, we present several case studies we are working on to identify the impact of user interface reconfiguration on the control of complex processes." @default.
- W2170388521 created "2016-06-24" @default.
- W2170388521 creator A5049613948 @default.
- W2170388521 creator A5079841264 @default.
- W2170388521 date "2010-11-01" @default.
- W2170388521 modified "2023-09-27" @default.
- W2170388521 title "Formal Modeling and Reconfiguration of User Interfaces" @default.
- W2170388521 cites W117181701 @default.
- W2170388521 cites W1488034598 @default.
- W2170388521 cites W1497206309 @default.
- W2170388521 cites W1528027857 @default.
- W2170388521 cites W1534077052 @default.
- W2170388521 cites W1544136785 @default.
- W2170388521 cites W1561267729 @default.
- W2170388521 cites W1965240572 @default.
- W2170388521 cites W1985081562 @default.
- W2170388521 cites W1987873033 @default.
- W2170388521 cites W1999698448 @default.
- W2170388521 cites W2028363264 @default.
- W2170388521 cites W2032321091 @default.
- W2170388521 cites W2042659035 @default.
- W2170388521 cites W2067130140 @default.
- W2170388521 cites W2080503249 @default.
- W2170388521 cites W2091059876 @default.
- W2170388521 cites W2097220692 @default.
- W2170388521 cites W2099482242 @default.
- W2170388521 cites W2134096395 @default.
- W2170388521 cites W2137728971 @default.
- W2170388521 cites W2166948286 @default.
- W2170388521 cites W2342091124 @default.
- W2170388521 cites W2752491485 @default.
- W2170388521 cites W3139680300 @default.
- W2170388521 doi "https://doi.org/10.1109/sccc.2010.17" @default.
- W2170388521 hasPublicationYear "2010" @default.
- W2170388521 type Work @default.
- W2170388521 sameAs 2170388521 @default.
- W2170388521 citedByCount "2" @default.
- W2170388521 countsByYear W21703885212017 @default.
- W2170388521 crossrefType "proceedings-article" @default.
- W2170388521 hasAuthorship W2170388521A5049613948 @default.
- W2170388521 hasAuthorship W2170388521A5079841264 @default.
- W2170388521 hasConcept C107457646 @default.
- W2170388521 hasConcept C113843644 @default.
- W2170388521 hasConcept C119701452 @default.
- W2170388521 hasConcept C129307140 @default.
- W2170388521 hasConcept C146499914 @default.
- W2170388521 hasConcept C149229913 @default.
- W2170388521 hasConcept C149635348 @default.
- W2170388521 hasConcept C151730666 @default.
- W2170388521 hasConcept C154945302 @default.
- W2170388521 hasConcept C157915830 @default.
- W2170388521 hasConcept C170130773 @default.
- W2170388521 hasConcept C173608175 @default.
- W2170388521 hasConcept C179603123 @default.
- W2170388521 hasConcept C184337299 @default.
- W2170388521 hasConcept C199360897 @default.
- W2170388521 hasConcept C2776436953 @default.
- W2170388521 hasConcept C2777904410 @default.
- W2170388521 hasConcept C2779343474 @default.
- W2170388521 hasConcept C2779791154 @default.
- W2170388521 hasConcept C38677869 @default.
- W2170388521 hasConcept C41008148 @default.
- W2170388521 hasConcept C67712803 @default.
- W2170388521 hasConcept C75606506 @default.
- W2170388521 hasConcept C86803240 @default.
- W2170388521 hasConcept C89505385 @default.
- W2170388521 hasConceptScore W2170388521C107457646 @default.
- W2170388521 hasConceptScore W2170388521C113843644 @default.
- W2170388521 hasConceptScore W2170388521C119701452 @default.
- W2170388521 hasConceptScore W2170388521C129307140 @default.
- W2170388521 hasConceptScore W2170388521C146499914 @default.
- W2170388521 hasConceptScore W2170388521C149229913 @default.
- W2170388521 hasConceptScore W2170388521C149635348 @default.
- W2170388521 hasConceptScore W2170388521C151730666 @default.
- W2170388521 hasConceptScore W2170388521C154945302 @default.
- W2170388521 hasConceptScore W2170388521C157915830 @default.
- W2170388521 hasConceptScore W2170388521C170130773 @default.
- W2170388521 hasConceptScore W2170388521C173608175 @default.
- W2170388521 hasConceptScore W2170388521C179603123 @default.
- W2170388521 hasConceptScore W2170388521C184337299 @default.
- W2170388521 hasConceptScore W2170388521C199360897 @default.
- W2170388521 hasConceptScore W2170388521C2776436953 @default.
- W2170388521 hasConceptScore W2170388521C2777904410 @default.
- W2170388521 hasConceptScore W2170388521C2779343474 @default.
- W2170388521 hasConceptScore W2170388521C2779791154 @default.
- W2170388521 hasConceptScore W2170388521C38677869 @default.
- W2170388521 hasConceptScore W2170388521C41008148 @default.
- W2170388521 hasConceptScore W2170388521C67712803 @default.
- W2170388521 hasConceptScore W2170388521C75606506 @default.
- W2170388521 hasConceptScore W2170388521C86803240 @default.
- W2170388521 hasConceptScore W2170388521C89505385 @default.
- W2170388521 hasLocation W21703885211 @default.
- W2170388521 hasOpenAccess W2170388521 @default.
- W2170388521 hasPrimaryLocation W21703885211 @default.
- W2170388521 hasRelatedWork W1502822373 @default.
- W2170388521 hasRelatedWork W1605100906 @default.
- W2170388521 hasRelatedWork W1877534296 @default.
- W2170388521 hasRelatedWork W1997393181 @default.
- W2170388521 hasRelatedWork W200168155 @default.
- W2170388521 hasRelatedWork W2120091902 @default.