Determining the specification of a control system from that of its environment

Well understood methods exist for developing programs from given specifications. A formal method identifies proof obligations at each development step: if all such proof obligations are discharged, a precisely defined class of errors can be excluded from the final program. For a class of closed systems such methods offer a gold standard against which less formal approaches can be measured. For open systems -those which interact with the physical world- the task of obtaining the program specification can be as challenging as the task of deriving the program. And, when a system of this class must tolerate certain kinds of unreliability in the physical world, it is still more challenging to reach confidence that the specification obtained is adequate. We argue that widening the notion of software development to include specifying the behaviour of the relevant parts of the physical world gives a way to derive the specification of a control system and also to record precisely the assumptions being made about the world outside the computer.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Specification matching of object-oriented components

Object-orientation supports software reuse via features such as abstraction, information hiding, polymorphism, inheritance and redefinition. However, while libraries of classes do exist, one of the challenges that still remains is to locate suitable classes and adapt them to meet the specific requirements of the software developer. Traditional approaches to library retrieval are text-based; it is therefore difficult for the developer to express their requirements in a precise and unambiguous manner. A more promising approach is specification-based retrieval, where library component interfaces and requirements are expressed using a formal specification language. In this case retrieval is based on matching formal specifications. In this paper we describe how existing approaches to specification matching can be extended to handle object-oriented components.

Variation and change in the use of hesitation markers in Germanic languages

In this study, we investigate crosslinguistic patterns in the alternation between UM, a hesitation marker consisting of a neutral vowel followed by a final labial nasal, and UH, a hesitation marker consisting of a neutral vowel in an open syllable. Based on a quantitative analysis of a range of spoken and written corpora, we identify clear and consistent patterns of change in the use of these forms in various Germanic languages (English, Dutch, German, Norwegian, Danish, Faroese) and dialects (American English, British English), with the use of UM increasing over time relative to the use of UH. We also find that this pattern of change is generally led by women and more educated speakers. Finally, we propose a series of possible explanations for this surprising change in hesitation marker usage that is currently taking place across Germanic languages.

Model specification and forecasting foreign exchange rates with vector autoregressions

This study examines the forecasting accuracy of alternative vector autoregressive models each in a seven-variable system that comprises in turn of daily, weekly and monthly foreign exchange (FX) spot rates. The vector autoregressions (VARs) are in non-stationary, stationary and error-correction forms and are estimated using OLS. The imposition of Bayesian priors in the OLS estimations also allowed us to obtain another set of results. We find that there is some tendency for the Bayesian estimation method to generate superior forecast measures relatively to the OLS method. This result holds whether or not the data sets contain outliers. Also, the best forecasts under the non-stationary specification outperformed those of the stationary and error-correction specifications, particularly at long forecast horizons, while the best forecasts under the stationary and error-correction specifications are generally similar. The findings for the OLS forecasts are consistent with recent simulation results. The predictive ability of the VARs is very weak.

Autochthonous heritage languages and social media:writing and bilingual practices in Low German on Facebook

This article analyses how speakers of an autochthonous heritage language (AHL) make use of digital media, through the example of Low German, a regional language used by a decreasing number of speakers mainly in northern Germany. The focus of the analysis is on Web 2.0 and its interactive potential for individual speakers. The study therefore examines linguistic practices on the social network site Facebook, with special emphasis on language choice, bilingual practices and writing in the autochthonous heritage language. The findings suggest that social network sites such as Facebook have the potential to provide new mediatized spaces for speakers of an AHL that can instigate sociolinguistic change.

Statistical study of talk spurts and silence lengths with relation to various languages and speakers for advanced silence suppression in Next Generation Wireless Communication Devices

As wireless network technologies evolve towards an All-IP framework, Next Generation Wireless Communication Devices demand better use of spectral resources by employing advanced techniques of silence suppression. This paper presents an analysis of VoIP call data and compares the statistical results based on observed patterns of talk spurts and silence lengths to those achieved by a modified on-off voice model for silence suppression in wireless networks. As talk spurts and silence lengths are sensitive to varying word lengths, temporal structure and other prosodic aspects of speech, the impact of the use of various languages, dialects and gender of speakers on these results is also assessed.

The development of color categories in two languages: a longitudinal study

This study unites investigations into the linguistic relativity of color categories with research on children's category acquisition. Naming, comprehension, and memory for colors were tracked in 2 populations over a 3-year period. Children from a seminomadic equatorial African culture, whose language contains 5 color terms, were compared with a group of English children. Despite differences in visual environment, language, and education, they showed similar patterns of term acquisition. Both groups acquired color vocabulary slowly and with great individual variation. Those knowing no color terms made recognition errors based on perceptual distance, and the influence of naming on memory increased with age. An initial perceptually driven color continuum appears to be progressively organized into sets appropriate to each culture and language. PsycINFO Database Record (c) 2009 APA, all rights reserved

Motivations to deposit:two approaches to Open Educational Resources (OER) within Languages and Social Sciences (LSS) at Aston University

In Spring 2009, the School of Languages and Social Sciences (LSS) at Aston University responded to a JISC (Joint Information Systems Committee) and Higher Education Academy (HEA) call for partners in Open Educational Resources (OER) projects. This led to participation in not one, but two different OER projects from within one small School of the University. This paper will share, from this unusual position, the experience of our English tutors, who participated in the HumBox Project, led by Languages, Linguistics and Area Studies (LLAS) and will compare the approach taken with the Sociology partnership in the C-SAP OER Project , led by the Centre for Sociology, Anthropology and Politics (C-SAP). These two HEA Subject Centre-led projects have taken different approaches to the challenges of encouraging tutors to deposit teaching resources, as on ongoing process, for others to openly access, download and re-purpose. As the projects draw to a close, findings will be discussed, in relation to the JISC OER call, with an emphasis on examining the language and discourses from the two collaborations to see where there are shared issues and outcomes, or different subject specific concerns to consider.