Jun 22, 2016 · This research specifies the concept of input focus in a multi-window user interface and provides differences between ASLAN and PVS specification ...

Abstract. Safety critical systems are life protecting systems and spec- ification languages like ASLAN and PVS can be used to better protect.

A multi-window user interface already specified in ASLAN is converted to PVS and newly added input focus functionality and the differences between ASLAN and ...

A multi-window user interface already specified in ASLAN is converted to PVS. This paper briefs about the system in hand, newly added input focus functionality ...

Bibliographic details on Formal Specification of Multi-Window User Interface in PVS.

A multi-window user interface already specified in ASLAN is converted to PVS. This paper briefs about the system in hand, newly added input focus functionality ...

Formal specification of Multi-Window user interface in PVS. K Singh, B Auernheimer. HCI International 2016–Posters' Extended Abstracts: 18th International ...

The interface is built on a modified version of ILISP [12], allowing the same interface to be used both for developing the PVS system and for creating PVS ...

May 3, 2016 · This research aims at formally specifying a multi-window user interface in specification language named, Prototype Verification System (PVS) [8] ...

We present a formal verification approach for detecting design issues related to user interaction, with a focus on user interface of medical devices.