<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Michael Harrison</style></author><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Analysing Human Aspects of Safety-Critical Software</style></title><secondary-title><style face="normal" font="default" size="100%">ERCIM News</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year><pub-dates><date><style  face="normal" font="default" size="100%">October</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jccampos/files/en75-p18.pdf</style></url></related-urls></urls><volume><style face="normal" font="default" size="100%">75</style></volume><pages><style face="normal" font="default" size="100%">18</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>