The early stage of domain analysis in requirements engineering is critical for understanding the stakeholders, their needs, problems, and how views of these problems differ. We advocate methods for early domain exploration which provoke iteration over captured knowledge, prompting analysts and stakeholders to review what is known, helping to guide elicitation, and facilitating early scoping and...

This paper presents a number of new algorithms for discovering the Markov Blanket of a target variable T from training data. The Markov Blanket can be used for variable selection for classification, for causal discovery, and for Bayesian Network learning. We introduce a low-order polynomial algorithm and several variants that soundly induce the Markov Blanket under certain broad conditions in d...

The aim of this chapter is to present a critical analysis of the findings from a large-scale research project in the UK where electronic or interactive whiteboards were introduced into over 200 classrooms of the teachers of 9-11 year olds in England (Higgins et al., 2005). The initiative was explicitly designated as a national pilot project with the key goal of raising levels of attainment in t...

Sentence planning is a set of inter-related but distinct tasks, one of which is sentence scoping, i.e. the choice of syntactic structure for elementary speech acts and the decision of how to combine them into one or more sentences. In this paper, we present SPoT, a sentence planner, and a new methodology for automatically training SPoT on the basis of feedback provided by human judges. We recon...

ion; Counter-Example Guided Abstraction Refinement; symmetry; . . . while others are hand-crafted, such as cut-point, counter-abstraction, or data independence. By construction, the verification objective (the root claim) is valid when all the rules instances in the argument are sound. We can back the soundness of rules like (split) and (abstraction) by reasoning on the semantics of the models....

We introduce JuS (JavaScript under Scrutiny), a first step towards a static-analysis tool for JavaScript based on a program logic in the style of separation logic. In particular, we focus on reasoning automatically about the JavaScript variable store. Because of prototype-based inheritance and with statements, even reasoning about variables is not trivial in JavaScript. We evaluate our tool on ...