Reasoning about interactive systems-Reference-Cited by-同舟云学术

Reasoning about interactive systems

Published:1999 Issue: Volume: Page:1460-1476
ISSN:0302-9743
Container-title:FM’99 — Formal Methods
language:
Short-container-title:

Author:

Back Ralph,Mikhajlova Anna,von Wright Joakim

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48118-4_27

Reference14 articles.

1. Lect Notes Comput Sci;M. Abadi,1989

2. R. Back, A. Mikhajlova, and J. von Wright. Modeling component environments and interactive programs using iterative choice. Technical Report 200, Turku Centre for Computer Science, September 1998.

3. R. J. R. Back. Changing data representation in the re nement calculus. In 21st Hawaii International Conference on System Sciences. IEEE, January 1989.

4. R. J. R. Back and J. von Wright. Contracts, games and re nement. In 4th Work-shop on Expressiveness in Concurrency, EXPRESS’97, volume 7 of Electronic Notes in Theoretical Computer Science. Elsevier, September 1997.

5. [5]R. J. R. Back and J. von Wright. Reasoning algebraically about loops. Technical Report 144, Turku Centre for Computer Science, November 1997.

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

1. Reasoning About Interactive Systems in Dynamic Situations of Use;Human–Computer Interaction Series;2017

2. An approach to formal verification of human–computer interaction;Formal Aspects of Computing;2007-11

3. Contract-Based Testing;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003

4. The Commuting V-Diagram;Computer Science Logic;2003

5. Explicit Modeling of Influences, and of Their Absence, in Distributed Systems;Tools and Algorithms for the Construction and Analysis of Systems;2002