[PDF] Top 20 Volume 45: Formal Methods for Interactive Systems 2011

... The semi-formal, safety case structures used to support EGNOS certification for SoL appli- cations are significantly more complex than that illustrated in Figure 1. A modular approach was, therefore, developed to ... See full document

... Our regex notation clearly distinguishes between four sorts of symbols: variables, operators, literals, and comments. White space (outside of literal strings) is ignored, except for separating adjacent variable names. ... See full document

... There is, in fact, a very strong and sound new method for analysis of hybrid systems based on relational abstractions of this type [ST11]. The difference between that approach and ours is that sound relational ... See full document

... The analysis says nothing about the significance of these issues. The method is to be used as part of a process including the active participation of human factors and domain specialists. In the context of use these ... See full document

... In HCI, models of human cognition are used in different ways and for various purposes. One approach, computational cognitive models [RY01], draws from cognitive science and is applied to test and improve usability of ... See full document

... complex interactive human-computer system, people are likely to make errors during its ...of formal models of user behaviour in both informing, and generating further hypotheses about the causes of human ... See full document

... If we check the conjunction of the above properties on the four systems defined in Section 3.2.2 we find out that it holds only for AT MsInteraction(2,2). This is the case of an ATM returning the card first and a ... See full document

... Applications for smart phones have many complex (and often conflicting) requirements and soft- ware development for such devices typically takes place using emulators. Smart phone applica- tions provide multiple modes of ... See full document

... Nurses are usually interrupted while they carry out their tasks. There is empirical evidence that interruptions have a disruptive impact on people’s performance and reliability [TM07] that must be taken into account when ... See full document

... complex systems, Hutchins [Hut95] analysed how a cockpit “remembers its speed” through a combination of different people, in different roles, with different tools and artefacts collectively moving and changing the ... See full document

... After defining interactive areas with the UI builder, the UI simulator of PVSio-web is used for exploring the behaviour of the device user interface. Starting from an initial user interface state, which is set ... See full document

... for interactive systems has been undertaken by Memon et ...Their methods are based on creating a model of an existing implementation which is then used to develop tests of event and interaction ... See full document

... Much formal analysis of pervasive systems is focussed on techniques for requirements involv- ing location and resources, within a waterfall ...of formal analysis techniques within the context of ... See full document

... complex systems. Such systems may include elements of interaction where the environment introduces uncertainty; for example, the behaviour of people interacting with the processes, or communication bit ... See full document

... the formal verification of finite state ...state systems and/or verify properties of such systems, which have been specified hierarchically as a collection of interacting finite state ... See full document

... the formal relations between ...the formal relations between emotion and trust laid bare by the logical framework were subjected to a behavioral validation following the methods of experimental ... See full document

... another formal approach, Cerone [Cer11] proposes a process algebraic framework to characterise the interplay between automaticity and attention and apply it to driver ... See full document

... Currently the vast majority of approaches used to develop different interaction techniques are tackled by the use of usual programming languages. The use of programming languages poses some advantages when compared to ... See full document

... on formal refinement for interface design had di ff erent foci to our ...the formal refinement process may be achieved through a set of ...control systems, using ... See full document

... produce interactive systems and to reason about ...software systems. The GOMS family are well-known approaches relying on formal meth- ods to analyze human computer interaction from a ... See full document