Towards quality requirements via animated formal specifications

Assuring a high quality requirements specification document involves both an early validation process and an increased level of participation. An approach and its supporting environment which combines the benefits of a formal system specification and its subsequent execution via a rapid prototype is reported. The environment assists in the construction, clarification, validation and visualisation of a formal specification. An illustrative case study demonstrates the consequences of assertions about system properties at this early stage of software development. Our approach involves the pragmatic combination of technical benefits of formal systems engineering based techniques with the context‐sensitive notions of increased participation of both developer and user stakeholders to move us closer towards a quality requirements specification document.     

The Managerial Implications of Real-Time New Product Development in Financial Services

A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear theme: some may include feedback loops, but they all essentially advocate that certain steps precede, or are preceded by, others. An inevitable consequence on the Internet/World Wide Web (WWW or Web) is that such models are no longer applicable. Based on the lessons learned from the development of a new financial service offered via the Internet, we show how such assumptions of linearity need no longer be a constraint. In addition, innovativeness is not related to firm size. But the fact that the Web allows for the real-time development of new financial services based on on-going feedback from potential and current customers raises a new set of managerial issues that have to be tackled. The objective of this paper is to use the context of the recent launch of an innovative financial service product via the Web to explore the managerial changes that are starting to affect the banking industry.     

OWL-QL—a language for deductive query answering on the Semantic Web

This paper discusses the issues involved in designing a query language for the Semantic Web and presents the OWL query language (OWL-QL) as a candidate standard language and protocol for query–answering dialogues among Semantic Web computational agents using knowledge represented in the W3Cs ontology web language (OWL). OWL-QL is a formal language and precisely specifies the semantic relationships among a query, a query answer, and the knowledge base(s) used to produce the answer. Unlike standard database and Web query languages, OWL-QL supports query–answering dialogues in which the answering agent may use automated reasoning methods to derive answers to queries, as well as dialogues in which the knowledge to be used in answering a query may be in multiple knowledge bases on the Semantic Web, and/or where those knowledge bases are not specified by the querying agent. In this setting, the set of answers to a query may be of unpredictable size and may require an unpredictable amount of time to compute.     

Modelling and solving English Peg Solitaire

Peg Solitaire is a well known puzzle, which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one ‘hole’ remains. By making draughts/checkers-like moves, pegs are gradually removed until no further moves are possible or some goal configuration is achieved. This paper considers the English variant, consisting of a board in a cross shape with 33 holes. Modelling Peg Solitaire via constraint or integer programming techniques presents a considerable challenge and is examined in detail. The merits of the resulting models are discussed and they are compared empirically. The sequential nature of the puzzle naturally conforms to a planning problem, hence we also present an experimental comparison with several leading AI planning systems. Other variants of the puzzle, such as ‘Fool's Solitaire’ and ‘Long-hop’ Solitaire are also considered.     

Evaluating Community Sex Offender Treatment Programs: A 12-Year Follow-Up of 724 Offenders.

Although some studies suggest positive effects of treatment for sexual offenders, most studies have been hampered by the unknown influence of selective attrition (e.g., volunteers and drop-outs). In the 1980s, the Correctional Service of Canada began to require weekly community treatment sessions for all sex offenders released in the Pacific Region. This policy change provided a unique opportunity for comparing an unselected cohort of treated sex offenders (n = 403) to an untreated cohort (n = 321) released in earlier years. After an average 12-year follow-up period, no differences were observed in the rates of sexual (21.1% vs 21.8%), violent (42.9% vs. 44.5%) or general (any) recidivism (56.6% vs 60.4%) for treated and untreated groups, respectively. The outcome remained comparable after controlling for length of follow- up, year of release, age, and seven static risk factors coded from official criminal history records. Retrospective ratings of the treatment quality also showed no relationship to observed recidivism rates. The static risk factors coded in the current study accounted for considerable variance in recidivism and could easily be used to improve statistical controls in future evaluations. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Velocity Distribution in the Roughness Layer of Rough-Bed Flows

Several models for the vertical distribution of the double-averaged (in time and in the plane parallel to the mean bed) longitudinal velocity in the flow region between roughness troughs and roughness tops are suggested. We found that the same model for velocity distribution may be applicable to a range of flow conditions and roughness types, which share some common features. The suggested models for velocity distribution in the near-bed region are: (1) Constant velocity; (2) exponential velocity distribution; and (3) linear velocity distribution. The measured velocity distributions may be approximated by a single model or by a combination of models depending on roughness geometry and flow conditions. The validity of these models for velocity distribution is supported by laboratory data.     

3D television: Developing a multi‐modal multi‐viewer TV system of the future

Abstract— Under the European Union funded Advanced Three‐dimensional Television System Technologies (ATTEST) project, De Montfort University (DMU) is developing a 3D display system targeted specifically at domestic television applications. This system uses a modified transmissive LCD panel together with novel backlighting and optics to project multiple viewing regions, or exit pupils, into the viewing space. These exit pupils are located in space using a head tracker. The display accommodates multiple viewers simultaneously and imposes no physical constraints, such as special eyewear. Viewers may move freely over a “typical” room‐sized area. The design of the backlighting facilitates many other display regimes beyond the “standard” 3DTV mode in which each viewer sees the same image pair.     

Researchers on the pier: Academics’ use of a local internet gateway

This paper describes the establishment of an Internet gateway local to the University of Sussex, firstly as a Gopher and more recently as a World Wide Web server. There follows an account of a project currently underway to assess the practical value of Internet resources to research and the consequential training and support requirements. This assessment is planned to determine the value of a local gateway to academic researchers at Sussex and the roles specific to a local gateway that such comprehensive resources as Yahoo and BUBL cannot fulfil. The project is using an interview‐based methodology to gain an understanding of researchers’ views of Internet resource provision, and these interviews are being analysed with the help of the NUD*IST qualitative data analysis software package. The account is of research in progress, and hence does not conclude with the set of pragmatic policy proposals that forms its key objective. Instead, some indication is given of the broad early findings of the project