Research publications: Recent submissions
Now showing items 1961-1980 of 9764
-
The effect of setting velocity on the static and fatigue strengths of self-piercing riveted joints for automotive applications
(Wiley, 2014-04-11)In order to reduce vehicle weight to increase fuel efficiency and reduce CO2 emission, more and more automotive manufacturers are now using lightweight materials, such as aluminium, to build part of or the whole body-in-white ... -
Modular Development of Hybrid Systems for Verification in Coq
(Springer Nature Link, 2008)In this paper we present a formalization of the theory of hybrid automata and algorithms for building trajectory trees using module types and functors in the Coq proof assistant -
Guest Editor: The Cold War
(2013-01) -
Working with alternative development life cycles : A multiproject experiment
(Springer Nature, 2005) -
Knowledge and decision-making within software projects
(Springer Nature Link, 2007)The effective use of knowledge results in better decision-making within projects. Moreover, the unpredictable nature of software projects and the need for effective communication within project teams requires a framework ... -
A Framework for Predicting Person-Effort on Requirements Changes
(IOS Press, 2006)Requirements changes are normally reviewed by change control committees, who examine costs and consider consequences of additions, deletions and modifications to a piece of software. In order to predict the person effort ... -
Trust, systems and accidents : Designing complex systems
(Institute of Electrical and Electronics Engineers (IEEE), 2003)Trust is easier to destroy than create, hence, trust in overly applied automation may erode following accidents. This paper looks at the crash of a revolutionary supersonic fighter that resulted from over-reliance on ... -
A controlled experiment to investigate the effect of 'process patterns' on the quality of requirement analysis
(Institute of Electrical and Electronics Engineers (IEEE), 2007)This paper presents a controlled experiment specifically designed to investigate the influence of 'process patterns' on the requirement analysis phase of software development projects. To differentiate, the experimental ... -
Lessons for the future : Safety critical systems
(Institute of Electrical and Electronics Engineers (IEEE), 1999)This paper investigates the underlying flaws in the development of the LAS despatch system and compares it with similar attempts from across the globe. The common themes that seem to plague ambulance despatch systems are ... -
Disaster in London - The LAS case study
(Institute of Electrical and Electronics Engineers (IEEE), 1999)This case study reviews the system and the processes that led to the botched implementation. The London Ambulance Service have spent the best parr of the last fourteen years attempting to computerise their despatch system. ...