Author of the publication

A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification.

, , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated generation of device-specific WIMP UIs: weaving of structural and behavioral models., , , , and . EICS, page 41-46. ACM, (2011)A process for facilitating interaction design through automated GUI generation., , , , and . SAC, page 1324-1330. ACM, (2014)Model transformation rules for customization of multi-device graphical user interfaces., , and . EICS, page 100-109. ACM, (2015)A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification., and . SAC, page 1828-1836. ACM, (2019)Gradual transition towards autonomic software systems based on high-level communication specification., , , , and . SAC, page 84-89. ACM, (2007)Back-up of Heuristic Values: Minimaxing vs. Product Propagation., and . ECAI, page 665-669. John Wiley and Sons, (1998)Switching from Bidirectional to Unidirectional Search., , , , and . IJCAI, page 1178-1183. Morgan Kaufmann, (1999)Using Aspiration Windows for Minimax Algorithms., , and . IJCAI, page 192-197. Morgan Kaufmann, (1991)Semi-automatic user interface generation considering pointing granularity., , , , and . SMC, page 2052-2058. IEEE, (2009)Generating content presentation according to purpose., , and . SMC, page 2046-2051. IEEE, (2009)