Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/34016| Título: | Analysing human aspects of safety-critical software |
| Autor(es): | Harrison, Michael D. Campos, J. Creissac |
| Data: | Out-2008 |
| Editora: | European Research Consortium for Informatics and Mathematics (ERCIM) |
| Revista: | Ercim News |
| Resumo(s): | In focusing on human system interactions, the challenge for software engineers is to build systems that allow users to carry out activities and achieve objectives effectively and safely. A well-designed system should also provide a better experience of use, reducing stress and frustration. Many methods aim to help designers to produce systems that have these characteristics. Our research is concerned with the use of formal techniques to help construct such interactive systems. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/34016 |
| ISSN: | 0926-4981 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
