Enrico Motta, Simon Buckingham-shum, John Domingue, Walton Hall
Abstract. In this paper we present an approach to document enrichment, which consists of associating formal knowledge models to archives of documents, to provide intelligent knowledge retrieval and...
attributions to the computer (2009)
Jon G Hall, Derek Mannering, Lucia Rapanotti, Walton Hall
Standards demand that assurance cases support safety critical developments. It is widely acknowledged, however, that the current practice of post-hoc assurance—that the product is built and only...
The Knowledge Systems Group, The Knowledge Media Institute, The Open University, (2008)
Genetic Algorithms are robust search algorithms capable of finding multiple solutions to complex problems. In order to ensure that the algorithm is working correctly it is necessary to examine the...
Departments of Psychology and Biological Sciences (2008)
Dylan Evans, Annerieke Heuvelink, Daniel Nettle, Biomimetics Group, Bath Ba Ay, Walton Hall
Are motivational biases adaptive? An agent-based model of human
A Reference Architecture for Natural Language Generation Systems (2008)
Walton Hall, Chris Mellish, Chris Mellish, Donia Scott, Donia Scott, Lynne Cahill, ...
We present the rags (Reference Architecture for Generation Systems) framework: a specification of an abstract Natural Language Generation (NLG) system architecture to support sharing, re-use,...
Senior Lecturer in Knowledge Management Open University Business School, (2008)
The fiftieth anniversary of the end of WWII saw the opening of a museum of computing at the former site of the Government Code and Cypher School (GCCS) at Bletchley Park north of London. Following...
Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements (2008)
Walton Hall, Charles B. Haley, Charles B. Haley, Robin C. Laney, Robin C. Laney, Jonathan D. Moffett, ...
jdm [at] cs.york.ac.uk Abstract. Assumptions made during analysis of the requirements for a system-to-be about the trustworthiness of its various components (including human components) can have a...
Charles B. Haley, Robin Laney, Jonathan D. Moffett, Walton Hall, Bashar Nuseibeh
c.b.haley [at] open.ac.uk
Building Semantic Intranets: What is Needed in the Annotation Toolbox? (2008)
Walton Hall, Victoria Uren, José Iria, Siegfried H, Maria Vargas-vera, Enrico Motta, ...
While much of a company's explicit knowledge can be found in text repositories, current content management systems only provide limited capabilities for structuring and making sense of...
Enrico Motta, Wenjin Lu, Walton Hall
Abstract. In this document we present a library of generic, reusable components whose purpose is to support the specification and operationalization of classification problem solvers. In addition, it...
Walton Hall, Metadata Template
Case Study Record View | Brief 5 Case Study Record View | Full 6
Exploring Motivational Differences between Software Developers and Project Managers (2007)
Helen Sharp, Nathan Baddoo, Sarah Beecham, Walton Hall, Helen Sharp
In this paper, we describe our investigation of the motivational differences between project managers and developers. Motivation has been found to be a central factor in successful software projects....
Debra Trusso Haley, Pete Thomas, Marian Petre, Anne De Roeck, Walton Hall, Debra Trusso Haley, ...
This paper presents a framework for evaluating computer assisted assessment (CAA) systems. It discusses why the framework can be useful for both producers and consumers of these automatic aids to...
The Csaw Mutation Tool Users Manual (2007)
Michael Ellims, Walton Hall, Michael Ellims
Mutation is a technique that holds great promise in testing research, however it can be difficult getting hold of tools to allow the application of the technique to programs written in the C...
Nathan Baddoo, Sarah Beecham, Hugh Robinson, Helen Sharp, Walton Hall
This report presents a summary of the work undertaken in the one year EPSRC “Modelling
Jon G. Hall, Lucia Rapanotti, Walton Hall
Problem Oriented Engineering (POE) is a Gentzen-style ‘natural ’ framework for engineering design. As such, POE supports rather than guides its user as to the particular sequence of design steps...
Adopting Agile in a large organization: balancing the old with the new (2007)
Jose Abdelnour-nocera, Helen Sharp, Walton Hall, Jose Abdelnour-nocera, Helen Sharp
Abstract. Much has been written about adopting agile software development within a large organisation. A key aspect of this significant organisational change is to ensure that a common understanding...
SIL4 process improvement with POSE and Alloy (2007)
Derek Mannering, Jon G Hall, Lucia Rapanotti, Walton Hall, Derek Mannering, Jon G. Hall, ...
Abstract. Safety Standards demand that industrial applications demonstrate they have the required safety integrity and this starts with the initial requirements phase. This paper shows how the...
Christopher J Ireland, Walton Hall, Christopher J Ireland, Walton Hall
Object-Relational Implementation Constructs: The role of a Structured User Defined Type in the resolution of an Object-Relational Impedance Mismatch
AETG vs. Man: an Assessment of the Effectiveness of Combinatorial Test Data Generation (2007)
Michael Ellims, Darrel Ince, Marian Petre, Walton Hall, Michael Ellims
This paper reports on an industrial study of the effectiveness of test data generation. In the literature on the automatic generation of test data a number of techniques stand out as having received...
Problem reduction: a systematic technique for deriving specifications from requirements (2006)
Walton Hall, Lucia Rapanotti, Lucia Rapanotti, Jon G. Hall, Jon G. Hall, Zhi Li, ...
In this paper we explore the notion of problem reduction as a systematic transformation from requirements to specifications. We adopt the notion of problem as a requirement in a real-world context...
John Brier, Lucia Rapanotti, Jon G Hall, Walton Hall, John Brier
In organisations, competitive advantage is increasingly reliant on the alignment of sociotechnical systems with business processes. These are complex and volatile due to the rapid pace of marketplace...
Constraint-based Natural Language Generation: A Survey (2006)
Paul Piwek, Kees Van Deemter, Walton Hall, Paul Piwek, Kees Van Deemter
This paper contains a survey of 25 papers that deal with constraint-based approaches to Natural Language Generation (nlg). Amongst other things, we discuss the nature of the constraints that have...
An approach to the automatic grading of imprecise diagrams (2006)
Pete Thomas, Neil Smith, Kevin Waugh, Walton Hall, Pete Thomas, Neil Smith, ...
diagrams
A CONCEPTUAL FRAMEWORK 1 Problem-oriented software engineering (2006)
Jon G Hall, Lucia Rapanotti, Michael Jackson, Walton Hall, Jon G. Hall, Lucia Rapanotti, ...
This paper introduces a formal conceptual framework for software development, based on a problem-oriented perspective that stretches from requirements engineering through to program code. In a...
Evaluation of the CLEF query interface (2006)
Donia Scott, Richard Power, Walton Hall, Catalina Hallett, Donia Scott, Richard Power
As part of the clef project, we have developed a method for allowing subject matter experts to pose complex queries to a database. The method makes use of natural language generation, whereby users...
Antony R. Grinyer, Walton Hall, Antony R. Grinyer, Walton Hall, Antony Grinyer (w
“Investigating the adoption of agile software development methods in organisations” Research Supervisors Dr J.A. Segal
Using PADL to specify AFrames (2005)
Jon G. Hall, Lucia Rapanotti, Walton Hall, Jon G. Hall, Lucia Rapanotti
In this short technical note we show how PADL – the process algebraic architectural description language of Bernardo, Ciancarini and Donatiello – can be used to specify AFrames. AFrames exist to...
Towards capturing change in socio-technical systems requirements (2005)
Walton Hall, John Brier, John Brier, Lucia Rapanotti, Lucia Rapanotti, Jon G. Hall, ...
Within organisations, business processes are increasingly captured and supported through sociotechnical systems, which incorporate both people and technologies. In today’s rapidly changing...
Developing critical systems with PLD components (2005)
Adrian J. Hilton, Jon G. Hall, Walton Hall, Adrian J. Hilton, Jon G. Hall
Abstract. Understanding the roles that rigour and formality can have in the design of critical systems is critical to anyone wishing to contribute to their development. Whereas knowledge of these...
A Research Taxonomy for Latent Semantic Analysis-Based Educational Applications (2005)
Walton Hall, Debra Trusso Haley, Debra Trusso Haley, Pete Thomas, Pete Thomas, Anne De Roeck, ...
The paper presents a taxonomy that summarises and highlights the major research into Latent Semantic Analysis (LSA) based educational applications. The taxonomy identifies five main research themes...
A constructive approach to Problem Frame semantics (2005)
Zhi Li, Jon G. Hall, Lucia Rapanotti, Walton Hall, Zhi Li, Jon G. Hall, ...
The Problem Frame approach (PF) is an effective requirements engineering tool for analysing and structuring software development problems. PF has a graphical notation that is easy to use and...
Nocuous ambiguities in requirements specifications (2005)
Francis Chantree, Bashar Nuseibeh, Anne De Roeck, Alistair Willis, Walton Hall, Francis Chantree, ...
In this paper we present a novel approach that automatically alerts authors of requirements specifications to the presence of potentially dangerous ambiguities in their text. We first establish the...
Validating Security Requirements Using Structured Toulmin-Style Argumentation (2005)
Charles B. Haley, Robin C. Laney, Bashar Nuseibeh, Walton Hall, Charles B. Haley, Robin C. Laney, ...
This paper proposes using structured informal argumentation to assist with determining whether the security requirements for a system satisfy the security goals, and whether an eventual realized...
Developing critical systems with PLD components (2005)
Adrian J. Hilton, Jon G. Hall, Walton Hall, Adrian J. Hilton, Jon G. Hall
Abstract. Programmable logic devices (PLDs) are now common components of critical systems, and are increasingly used for safety-related or safety-critical functionality. Since 1999 avionics- and...
Comparing machine graded diagrams with human markers: (2004)
Pete Thomas, Walton Hall, Pete Thomas
some observations
l E-SEQUAL: A Customer-Centred Approach to Providing Value in E-Commerce Environments (2004)
Shailey Minocha, Liisa Dawson, Dave Roberts, Marian Petre, Walton Hall, Shailey Minocha, ...
With an increasing competition in the E-marketplace, generating experiences that exceed the customer’s expectations is important in order to acquire and then retain customers. A customer’s...
Professional end user developers and software development knowledge (2004)
Judith Segal, Walton Hall, Judith Segal
Abstract. This paper seeks to explore how IT professionals might best support professional end user development. By ‘professional end users’, we mean practitioners of some recognized technical,...
Applying Aspect-Oriented Programming to Music Computing (2004)
Patrick Hill, Simon Holland, Robin C. Laney, Walton Hall, Patrick Hill, Simon Holland, ...
Computer programs for the composition, performance and analysis of music generally involve the tangled interaction of many dimensions of musical and extra-musical concern. In this paper we introduce...
Drawing Diagrams in Online Examinations (2004)
Pete Thomas, Walton Hall, Pete Thomas
This paper describes a study into the drawing of diagrams in an online examination. The diagrams were produced by students during an on-line examination using a simple drawing tool. The students ’...
Jon G. Hall, Lucia Rapanotti, Karl Cox, Steven Bleistein, Walton Hall, Jon G. Hall, ...
It is critical to decompose problem context of real world problems in order to understand requirements and specifications for IT systems. However, this is far from trivial. In this paper, we present...
Architecture-driven Problem Decomposition (2004)
Jon G Hall, Walton Hall, Lucia Rapanotti, Lucia Rapanotti, Jon G. Hall, Michael Jackson, ...
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside of the computer helping the developer to focus on the problem domain instead of...
Abstract Core Security Requirements Artefacts (2004)
Jonathan D. Moffett, Charles B. Haley, Bashar Nuseibeh, Walton Hall, Jonathan D Moffett, Charles B Haley, ...
Although security requirements engineering has recently attracted increasing attention, it has lacked a context in which to operate. A number of papers have described how security requirements may be...
learned from a heuristic review (2004)
Allan Seago, Simon Holland, Paul Mulholland, Walton Hall, Allan Seago, Simon Holland, ...
Technical Report N o 2004/20
A Simple Taxonomy of Search Reduction in Direct Combination (2004)
Simon Holland, Walton Hall, Simon Holland
Abstract. Direct Combination (DC) is a new interaction principle with the capacity to reduce users ' search, particularly when interactions involve more than one object or device. The principle...
Judith Segal, Walton Hall, Judith Segal
Key words: field study; software engineers; scientific software; agile methodologies. In this paper, we describe a field study in which software engineers, following a traditional, staged,...
Grading Diagrams Automatically (2003)
Pete Thomas, Walton Hall, Pete Thomas
This paper describes a feasibility study into the marking (grading) of diagrams automatically. The diagrams were produced by students during an on-line examination using a simple drawing tool. The...
A model for inspection efficiency prediction (2003)
While inspections are a valuable tool for software quality assurance, inspection models are labour intensive, require knowledge of all errors in a software product, make questionable assumptions, and...
Jon G Hall, Lucia Rapanotti, Walton Hall
The Reference Model of Gunter et al., 2000, provides a framework for describing and analyzing key software engineering artifacts and their properties. In this paper we propose a reification of this...
Robert Logie, Jon G Hall, Kevin G. Waugh, Walton Hall, Robert Logie, Jon G. Hall, ...
desires and intentions in a hybrid coached agent architecture
Extending low-cost remote evaluation with synchronous communication (2002)
Lynne Dunkley, Walton Hall, Lynne Dunckley, Lucia Rapanotti, Lucia Rapanotti, Jon G. Hall, ...
Write-along Low Cost Remote (LCR) evaluation has been proposed as a highly efficient method for remotely evaluating usability problems with prototype interfaces. In a previous study, it was noted...
FPGAs in Critical Hardware / Software Systems (2002)
Adrian J. Hilton, Gemma Townson, Jon G. Hall, Walton Hall, Adrian J. Hilton, Gemma Townson, ...
FPGAs are being used in increasingly complex roles in critical systems, interacting with conventional critical software. Established safety standards require rigorous justification of safety and...
l Abstract Low Cost Remote Evaluation with Synchronous Groupware (2002)
Lynne Dunckley, Lucia Rapanotti, Jon G. Hall, Walton Hall, Lynne Dunckley, Lucia Rapanotti, ...
The paper reports a refinement of the remote evaluation method of [2], that includes synchronous groupware with audio over the Internet. The method applies ideas from contextual inquiry and...
l Targetting PLDs for high-level High Integrity Systems Development (2002)
Adrian Hilton, Jon G. Hall, Walton Hall, Adrian Hilton, Jon Hall
Abstract. Combined hardware/software systems are increasingly being used for safety-critical systems, with hardware taking processing load off the software. We have produced a design template that...
CONTENTS PART A SETTING THE SCENE (2001)
Beetham Helen, Taylor Josie, Twining Peter, Peter Twining, Walton Hall
A1 The higher education context 6 A2 The emerging significance of re-use in higher education
Lyceum: the system and its architecture (2000)
Jon G. Hall, Walton Hall, Lucia Rapanotti, Lucia Rapanotti, Jon Hall
Lyceum is an audio and visual conferencing system for the Internet. Using Lyceum participants can exchange audio messages and share visual applications in real-time. The system is under development...
On applying software development best practice to FPGAs in safety-critical systems (2000)
Adrian Hilton, Jon G. Hall, Walton Hall, Adrian Hilton Jon
Abstract. New standards for developing safety-critical systems require the developer to demonstrate the safety and correctness of the programmable logic in such systems. In this paper we adapt...
Specifications of Knowledge Components for Reuse (1999)
Enrico Motta Dieter, Dieter Fensel, Mauro Gaspari, Richard Benjamins, Walton Hall
. The IBROW 3 project aims to support semi-automatic configuration of intelligent problem solvers out of reusable components. The project takes a holistic approach to reuse and is developing...
Specifications of Knowledge Components for Reuse (1999)
Enrico Motta, Dieter Fensel, Mauro Gaspari, Richard Benjamins, Walton Hall
. The IBROW 3 project aims to support semi-automatic configuration of intelligent problem solvers out of reusable components. The project takes a holistic approach to reuse and is developing...
The Transparent Universe (1997)
Jeffrey Johnson, Theodore Zamenopoulos, Katerina Alexiou, Walton Hall
Embracing complexity in design is one of the critical issues and challenges of the 21 st century. As the realization grows that design activities and artefacts display properties associated with...
Genotypic-Space Mapping: Population Visualization for Genetic Algorithms (1996)
Trevor Collins, Trevor Collins, Walton Hall
This paper presents one proposed method for representing the population data of Genetic Algorithms (GAs). Typical population data from GAs are large high-dimensional sets of binary, decimal, real or...
Visualization of Binary String Convergence by Sammon Mapping (1996)
R. Dybowski, T. D. Collins, Walton Hall, P. R. Weller
Understanding the evolution of a complex genetic algorithm is a non-trivial problem, however, genetic-algorithm visualization is in its infancy. This paper reviews some of the current approaches and...
Improving Competence by Integrating Case-Based Reasoning and Heuristic Search (1996)
Zdenek Zdrahal, Enrico Motta, Walton Hall
. We analyse the behaviour of a Propose & Revise architecture in the VT elevator design problem and we show that this problem solving method cannot solve all possible cases covered by the...
The Trouble with What: Issues in method-independent task specifications (1995)
Enrico Motta, Zdenek Zdrahal, Walton Hall
. In this paper we discuss some issues concerning the organization of knowledge for reuse and we critically examine the ideas of knowledge separation and minimal ontological commitments.. Because...
Grounding GDMs: A Structured Case Study (1994)
Enrico Motta, Nigel Shadbolt, Walton Hall, Mk Aa
In this paper a solution to the Sisyphus room allocation problem is discussed,which uses the generalised directive model (GDM) methodology developed in the ACKnowledge project, together with the...