417,922 research outputs found

    Reasoning about order errors in interaction

    Get PDF
    Reliability of an interactive system depends on users as well as the device implementation. User errors can result in catastrophic system failure. However, work from the field of cognitive science shows that systems can be designed so as to completely eliminate whole classes of user errors. This means that user errors should also fall within the remit of verification methods. In this paper we demonstrate how the HOL theorem prover [7] can be used to detect and prove the absence of the family of errors known as order errors. This is done by taking account of the goals and knowledge of users. We provide an explicit generic user model which embodies theory from the cognitive sciences about the way people are known to act. The user model describes action based on user communication goals. These are goals that a user adopts based on their knowledge of the task they must perform to achieve their goals. We use a simple example of a vending machine to demonstrate the approach. We prove that a user does achieve their goal for a particular design of machine. In doing so we demonstrate that communication goal based errors cannot occur

    DaMSSI (Data Management Skills Support Initiative): Final Report

    Get PDF

    Problem solving methods as Lessons Learned System instrumentation into a PLM tool

    Get PDF
    Among the continuous improvement tools of the performance in enterprise, the experience feedback represents undoubtedly an effective lever of progress by offering important prospects for a progression in almost all the industrial sectors. However, several reserves to its use slow down the diffusion of its employment. We are interested in the installation of experience feedback system in a partner enterprise. In this paper, we propose an instrumentation of a Lessons Learned System (LLS) by problem solving methods (PSM) and its integration with a product lifecycle management (PLM). These proposals support an improvement of LLS performance and a facility of his application

    The C++0x "Concepts" Effort

    Full text link
    C++0x is the working title for the revision of the ISO standard of the C++ programming language that was originally planned for release in 2009 but that was delayed to 2011. The largest language extension in C++0x was "concepts", that is, a collection of features for constraining template parameters. In September of 2008, the C++ standards committee voted the concepts extension into C++0x, but then in July of 2009, the committee voted the concepts extension back out of C++0x. This article is my account of the technical challenges and debates within the "concepts" effort in the years 2003 to 2009. To provide some background, the article also describes the design space for constrained parametric polymorphism, or what is colloquially know as constrained generics. While this article is meant to be generally accessible, the writing is aimed toward readers with background in functional programming and programming language theory. This article grew out of a lecture at the Spring School on Generic and Indexed Programming at the University of Oxford, March 2010

    Addressing data management training needs: a practice based approach from the UK

    Get PDF
    In this paper, we describe the current challenges to the effective management and preservation of research data in UK universities, and the response provided by the JISC Managing Research Data programme. This paper will discuss, inter alia, the findings and conclusions from data management training projects of the first iteration of the programme and how they informed the design of the second, paying particular attention to initiatives to develop and embed training materials
    • ā€¦
    corecore