Tool support for generating passive C++ test oracles from object-z specifications

A test oracle provides a means for determining whether an implementation behaves according to its specification. A passive test oracle checks that the correct behaviour has been implemented, but does not implement the behaviour itself. In previous work, we have presented a method that allows us to derive passive C++ test oracles from formal specifications written in Object-Z. We describe the "Warlock" prototype tool that supports the method. Warlock is built on top of an existing Object-Z type checker and generates oracle code for a substantial subset of the Object-Z language. We describe the architecture of Warlock and its application to a number of Object-Z specifications. We also discuss its current limitations.

General language abilities following management of childhood supratentorial tumour: Part 1

Background. To date few studies have investigated the impact of management for supratentorial tumour on the language abilities of children. In reporting children with brain tumour as part of a larger cohort of various aetiologies of brain injury, such studies have failed to differentiate between the causes of acquired childhood language disorders, or specifically report associated information relating to site and treatment. Material and methods. The present study examined the general language abilities of six children managed for supratentorial tumour, using a comprehensive standardized general language assessment battery, including receptive and expressive components, receptive vocabulary, and naming. Results. At a group level, children managed for supratentorial tumour performed below an individually matched control group in the area of general expressive language. However, at an individual case level it was revealed that only two cases exhibited specific language deficits. Reduced performance in the area of expressive language and syntax was evident in the language profile of one child treated surgically for a left parietal astrocytoma, while a child treated surgically for an optic nerve glioma demonstrated difficulties in receptive semantic abilities. The remaining four cases with similar treatments and locations demonstrated intact general language abilities. Conclusions. Factors such as site, long-term presence of tumour prior to diagnosis, young age at diagnosis, and variations in time post treatment were considered to have contributed to the findings. The need for long-term monitoring of language abilities post treatment as well as larger group sizes and the investigation of higher-level abilities was highlighted

A sociocultural analysis of language learning: New forms of literacy practices in a language and culture awareness programme

This paper reports on a sociocultural study conducted in a Catholic primary school in the Australian outback and provides insights into how policy related to Languages Other Than English (LOTE) programmes is implemented in a specific location and interwoven within the literacy practices of children, parents and teachers. A case study that tracked a Year Four student's learning and development during a Language and Culture Awareness Programme is discussed within a discourse of cultural and linguistic practices. Significant aspects of the student's learning related to a phenomenon called multi-tiered scaffolding temporarily disrupted the established literacy practices in the school community. Implications of the research for second-language teaching and learning in Australian primary schools are elaborated.

Higher-level language deficits resulting from left primary cerebellar lesions

Background: Contemporary neuropsychological studies suggest that cerebellar lesions may impact upon higher-level cognitive functioning via mechanisms of crossed cerebello-cerebral diaschisis. Accordingly, right cerebellar lesions have been previously associated with linguistic impairments such as reduced word fluency and agrammatic output. Recently, however, neuroimaging investigations have also identified ipsilateral cerebral hypoperfusion as a consequence of cerebellar lesions, implicating a potential role for the left cerebellum in the mediation of language processes. Aims: The purpose of this research was to investigate the effects of left cerebellar lesions of vascular origin, on general as well as high-level language skills. Methods & Procedures: Linguistic profiles were compiled for five individuals with left primary cerebellar lesions utilising a comprehensive language test battery. Individual scores relevant to each subtest were compared to a group of non-neurologically impaired controls. The criterion for anomalous performance was established as greater than or equal to 1.5 SD below the mean of the control group. Outcomes & Results: The findings of this research suggest that higher-level language deficits may result from left primary cerebellar lesions. All participants demonstrated deficits on measures of word fluency, sentence construction within a set context, producing word definitions, and producing multiple definitions for the same word. Deficits were also noted for several participants on measures of understanding figurative language, forming word associations, identifying and correcting semantic absurdities, and producing synonyms and antonyms. Conclusions: The results presented challenge the notion of a lateralised linguistic cerebellum, supporting a potential role for the left as well as right cerebellar hemispheres in the regulation of language processes, presumably via cerebellar-basal ganglia/thalamo-cortical pathways.

Talking to children: The within-classroom nature of everyday adult language in the early childhood educational environment

Group-size effects, as changes in the adult language when speaking to individual or multiple children in two- and three-year-olds' Australian childcare centre classrooms were investigated. The language addressed to children by 21 staff members was coded for social (e.g., non-verbal, inferential and pragmatic), and linguistic (e.g., morphological, lexical, syntactic and referential) features. In the two-year-olds' classrooms, minimal differences were found between the language used in dyads (addressed to a single child) and polyads (addressed to more than one child). More extensive group-size effects, particularly in syntactic complexity, were found in the three-year-olds' classrooms. Explanations for the constancy of the adult language input in the younger classrooms, and the changes noted in the older rooms will be discussed in terms of plurality (i.e., more than one listener), methodology, and group-size effects that may be specific to the early childhood educational setting.

Eulogizing a language: The Ngarnka experience

In 1996, I worked with what appear to have been the last fluent speakers of Ngarnka, a language of central northern Australia. To the best of my knowledge, the last fluent speaker passed away in 1997 or 1998. In 2000, I began to collect all available information on the language. This article describes some of the challenges that have arisen in working with a language during and after the final stages of its death, and examines some of the possible reasons for, and impact of, this kind of work.

Striving for a common language: A white feminist parallel to Indigenous ways of knowing and researching

In Striving Towards a Common Language I outline an innovative methodology which consists of three strands encompassing an Indigenous-centred approach based on Indigenous Self-determination (participatory action research), relationship as central to socio-cultural dynamics, and feminist phenomenology. This methodology - which I call Living On the Ground was created in direct concert with 13 Indigenous women elders who were my hosts, teachers and walytja (family) as we worked together to create a dynamic cultural revitalisation project for their community, one of Australia's most remote Aboriginal settlements. I explain the processes I went through as a White Irish-Australian woman living with the women elders and their 11 dogs in a one room tin shed for two years, and tell of how the nexus of land, Ancestors, and the Tjukurrpa (Dreaming) combined with White cultural practices came to inspire a methodology which took the best from Indigenous and (White) feminist ways of knowing and of being. (c) 2005 Z. de Ishtar. Published by Elsevier Ltd. All rights reserved.

Language outcomes subsequent to treatment of brainstem tumour in childhood

While the occurrence and management of brainstem tumours in children would not traditionally indicate potential direct structural impact on classical language centres, recent theories have implicated some involvement of the brainstem in a functional language and cognitive neural loop between the cerebellum and the cerebral hemispheres. Thus, the present paper explored the impact of treatment for brainstem tumour on the general and high-level language abilities of six children treated for brainstem tumour, in addition to phonological awareness skills. Group analysis revealed that children treated for brainstem tumour demonstrated intact language and phonological awareness abilities in comparison to an age- and gender-matched control group. Individual analysis revealed only one of six children treated for brainstem tumour revealed evidence of language disturbances, with an additional child demonstrating an isolated mildly reduced score on one phonological awareness task. Language deficits identified in a child treated with a combination of both radiotherapy and chemotherapy were noted in the high-level language area of lexical generation. Findings highlighted that no overt language disturbances were evident in children treated for brainstem tumour. However, further analysis into higher-level language skills in the present study indicated that both general and high-level language abilities require long-term monitoring in this population.