Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/746

TitleFormally verifying interactive systems : a review
Author(s)Campos, J. Creissac
Harrison, M. D.
KeywordsFormal verification
Interactive systems
Issue date1997
PublisherSpringer Verlag
CitationHARRISON, M. D. ; TORRES, J. C., ed. lit.. “Design, Specification and Verification of Interactive Systems '97”. Wien : Springer-Verlag, 1997. ISBN 3-211-83055-3. p. 109-124.
Series/Report no.Springer Computer Science;
Abstract(s)Although some progress has been made in the development of principles to guide the designers of interactive systems, ultimately the only proven method of checking how usable a particular system is must be based on experiment. However, it is also the case that changes that occur at this late stage are very expensive. The need for early design checking increases as software becomes more complex and is designed to serve volume international markets and also as interactions between operators and automation in safety-critical environments becomes more complex. This paper reviews progress in the area of formal verification of interactive systems and proposes a short agenda for further work.
TypeconferencePaper
URIhttp://hdl.handle.net/1822/746
ISBN3-211-83055-3
ISSN0946-2767
Peer-Reviewedyes
AccessopenAccess
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)
DI/CCTC - Artigos (papers)

Files in This Item:
File Description SizeFormat 
CamposH97.pdf129,42 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu Currículo DeGóis