Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/5433
Title: PVSio-web 2.0: Joining PVS to HCI
Authors: Paolo Masci
Oladimeji,Patrick
Zhang,Yi
Jones,PaulL.
Curzon,Paul
Thimbleby,HaroldW.
Issue Date: 2015
Abstract: PVSio-web is a graphical environment for facilitating the design and evaluation of interactive (human-computer) systems. Using PVSio-web, one can generate and evaluate realistic interactive prototypes from formal models. PVSio-web has been successfully used over the last two years for analyzing commercial, safety-critical medical devices. It has been used to create training material for device developers and device users. It has also been used for medical device design, by both formal methods experts and non-technical end users. This paper presents the latest release of PVSio-web 2.0, which will be part of the next PVS distribution. The new tool architecture is discussed, and the rationale behind its design choices are presented. © Springer International Publishing Switzerland 2015.
URI: http://repositorio.inesctec.pt/handle/123456789/5433
http://dx.doi.org/10.1007/978-3-319-21690-4_30
metadata.dc.type: conferenceObject
Publication
Appears in Collections:HASLab - Indexed Articles in Conferences

Files in This Item:
File Description SizeFormat 
P-00K-KJ7.pdf743.54 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.