A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems-Reference-Cited by-同舟云学术

A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems

Published:2016 Issue: Volume: Page:287-303
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Cerone Antonio

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-41591-8_20

Reference23 articles.

1. Butterworth, R., Blandford, A.E., Duke, D.: Demonstrating the cognitive plausability of interactive systems. Formal Aspects Comput. 12, 237–259 (2000)

2. Cerone, A.: Closure and attention activation in human automatic behaviour: a framework for the formal analysis of interactive systems. In Proceedings of FMIS 2011. Electronic Communications of the EASST, vol. 45 (2011)

3. Cerone, A., Connelly, S., Lindsay, P.: Formal analysis of human operator behavioural patterns in interactive surveillance systems. Softw. Syst. Model. 7(3), 273–286 (2008)

4. Cerone, A., Lindsay, P., Connelly, S.: Formal analysis of human-computer interaction using model-checking. In: Proceedings of SEFM 2005, pp. 352–361. IEEE (2005)

5. Lecture Notes in Computer Science;M Clavel,2003

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multifaceted Formal Methods and their Interdisciplinary Role — from the Cathedral of ‘Components as Coalgebras’ to the HCI Context and the Open Source Software Bazaar;Journal of Logical and Algebraic Methods in Programming;2024-09

2. Using Maude to Model Motivation in Human Behaviour;Lecture Notes in Computer Science;2024

3. A BRDL-Based Framework for Motivators and Emotions;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023

4. Modelling and Analysing Cognition and Interaction;Formal Methods for an Informal World;2023

5. Formal Methods for Human-Computer Interaction;Texts in Theoretical Computer Science. An EATCS Series;2022