Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/746
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Campos, J. Creissac | - |
dc.contributor.author | Harrison, M. D. | - |
dc.date.accessioned | 2004-12-27T10:47:39Z | - |
dc.date.available | 2004-12-27T10:47:39Z | - |
dc.date.issued | 1997 | - |
dc.identifier.citation | HARRISON, 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. | eng |
dc.identifier.isbn | 3-211-83055-3 | - |
dc.identifier.issn | 0946-2767 | - |
dc.identifier.uri | https://hdl.handle.net/1822/746 | - |
dc.description.abstract | 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. | eng |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia - PRAXIS XXI/BD/9562/96, HCM network on Interactionally Rich Systems - ERBCHRXCT930099. | eng |
dc.language.iso | eng | - |
dc.publisher | Springer Verlag | eng |
dc.relation.ispartofseries | Springer Computer Science; | - |
dc.rights | openAccess | eng |
dc.subject | Formal verification | eng |
dc.subject | Interactive systems | eng |
dc.title | Formally verifying interactive systems : a review | eng |
dc.type | conferencePaper | eng |
dc.peerreviewed | yes | eng |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
CamposH97.pdf | 129,42 kB | Adobe PDF | Ver/Abrir |