Searching for "Reasoning About Interactive Systems." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Understanding Emergency Medical Dispatch in terms of Distributed Cognition: a case study
- … that supports reasoning about an interactive system from a Distributed Cognition perspective. In this paper, we…
- Cited by 1 (1 self) – Add To MetaCart
-
Reasoning About Object Clients and Distributed Object Interaction
- … be used to reason about interaction between distributed objects. 1 Introduction Object-oriented systems…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Hybrid Automata to Support Human Factors Analysis in a Critical System
- … Reasoning about interactive systems with HyTech The approach we take is to model not only the system…
- Cited by 5 (3 self) – Add To MetaCart
-
A Pragmatic Approach to the Formal Specification of Interactive Systems
- … . . . . . . . . . . . . . . . . . . . . 40 2.1.8 Comments on models of interactive systems . . . . . . . . 41 2.2 Reasoning about Interactive…
- Add To MetaCart
-
Modeling Component Environments and Interactive Programs Using Iterative Choice
- … component and its environment. The mathematical foundation for reasoning about interactive systems, based…
- Cited by 2 (0 self) – Add To MetaCart
-
The Role of Formalisms
- … question: "What is special about designing, specifying and verifying interactive systems that requires us…
- Add To MetaCart
-
A Pragmatic Approach to the Formal Specification
- … . . . . . . . . . . . . . . . . . . . . 40 2.1.8 Comments on models of interactive systems . . . . . . . . 41 2.2 Reasoning about Interactive…
- Add To MetaCart
-
A formal model of Diffie-Hellman using CSP and rank functions
- … Sequential Processes (CSP) is a process algebra for describing and reasoning about interacting systems…
- Cited by 4 (1 self) – Add To MetaCart
-
Formal Verification of Interactive Systems
- …) . . . . . . . . . . . . 99 v vi List of Tables 2.1 Framework for reasoning about interactive systems . . . . . . . . 12 3…
- Add To MetaCart
-
Ensuring Correctness of Object and Component Systems
- …-Verlag. 3. R. J. R. Back, A. Mikhajlova, and J. von Wright. Reasoning About Interactive Systems. To appear…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
