Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/66795
Título: | Formal modelling as a component of user centred design |
Autor(es): | Harrison, Michael Douglas Masci, Paolo Campos, José C. |
Data: | 2018 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(s): | User centred design approaches typically focus understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The sketch design of a device is enhanced into a specification that is then analysed using formal techniques, thus providing a systematic approach to checking plausibility and consistency during early design stages. Once analysed, a further prototype is constructed using an executable form of the specification, providing the next candidate for evaluation with potential users. The technique is illustrated through an example based on a pill dispenser. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/66795 |
ISBN: | 9783030047702 |
DOI: | 10.1007/978-3-030-04771-9_21 |
ISSN: | 0302-9743 |
Versão da editora: | https://link.springer.com/chapter/10.1007%2F978-3-030-04771-9_21 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
fmis18rev2-camera-ready.pdf | 3,6 MB | Adobe PDF | Ver/Abrir |