How to design extended finite state machine test models in Java

This chapter is a tutorial that teaches you how to design extended finite state machine (EFSM) test models for a system that you want to test. EFSM models are more powerful and expressive than simple finite state machine (FSM) models, and are one of the most commonly used styles of models for model-based testing, especially for embedded systems. There are many languages and notations in use for writing EFSM models, but in this tutorial we write our EFSM models in the familiar Java programming language. To generate tests from these EFSM models we use ModelJUnit, which is an open-source tool that supports several stochastic test generation algorithms, and we also show how to write your own model-based testing tool. We show how EFSM models can be used for unit testing and system testing of embedded systems, and for offline testing as well as online testing.

The ‘Russian doll’ approach : developing nested case-studies to support international comparative research in education

International comparison is complicated by the use of different terms, classification methods, policy frameworks and system structures, not to mention different languages and terminology. Multi-case studies can assist in the understanding of the influence wielded by cultural, social, economic, historical and political forces upon educational decisions, policy construction and changes over time. But case studies alone are not enough. In this paper, we argue for an ecological or scaled approach that travels through macro, meso and micro levels to build nested case-studies to allow for more comprehensive analysis of the external and internal factors that shape policy-making and education systems. Such an approach allows for deeper understanding of the relationship between globalizing trends and policy developments.

Computational science for undergraduate biologists via QUT.Bio.Excel

Molecular biology is a scientific discipline which has changed fundamentally in character over the past decade to rely on large scale datasets – public and locally generated - and their computational analysis and annotation. Undergraduate education of biologists must increasingly couple this domain context with a data-driven computational scientific method. Yet modern programming and scripting languages and rich computational environments such as R and MATLAB present significant barriers to those with limited exposure to computer science, and may require substantial tutorial assistance over an extended period if progress is to be made. In this paper we report our experience of undergraduate bioinformatics education using the familiar, ubiquitous spreadsheet environment of Microsoft Excel. We describe a configurable extension called QUT.Bio.Excel, a custom ribbon, supporting a rich set of data sources, external tools and interactive processing within the spreadsheet, and a range of problems to demonstrate its utility and success in addressing the needs of students over their studies.

Networked livecoding at VL/HCC 2013

Network connectivity offers the potential for a group of musicians to play together over the network. This paper describes a trans-Atlantic networked musical livecoding performance between Andrew Sorensen in Germany (at the Schloss Daghstuhl conference on Collaboration and Learning through Live Coding) and Ben Swift in San Jose (at YL/HCC) in September 2013. In this paper we describe the infrastructure developed to enable this performance.

First Literacies: Art, Creativity, Play, Constructive Meaning-Making

In this chapter art and play are considered children’s ‘first languages’, and therefore are placed at the centre of a curriculum for young children. Through art and play, children represent thought and action, which underpins their later understanding of the ‘second languages’ of reading, writing and numbering. Key issues such as image-making, graphic action, imagination, narrative, empathetic engagement and internalised thought are analysed as evidence of children’s construction of knowledge through art and play. Symbol making is the essence of being human. In children’s art and play, their symbol use captures their sensory modes in emotional and embodied ways, as children know their worlds and their place. The chapter addresses how children’s creation, manipulation and meaning making through engaged interaction with art materials are precursors to learning to read and write and, as first languages, should not be discarded nor replaced. The notion of creativity is explored in relation to pedagogical approaches. In a climate of testing regimes that emphasise ‘academic’ achievements, teachers are encouraged to not lose sight of imagination, pretence, constructive meaning making, holistic teaching and being a co-player and co-artist.

The influences of Bislama on lexical choices in children's written English: A case study in Vanuatu

In Vanuatu, there have been concerns that Bislama (the national language of Vanuatu and a creole with an adapted English vocabulary) hinders English language learning. Consequently, previous language policy restricted the use of Bislama in schools. The findings from this study offer significant insights and implications that may assist teachers with using Bislama in their classrooms in a way that furthers English language and literacy development. This research is timely because the Vanuatu Government have recently implemented a new language policy that allows the vernacular island languages and Bislama to be used as a linguistic resource in schools.

Australia's disabling income support system: Tracing the history of the disability pension from 1908 to today

This article is based on a historical-comparative policy and discourse analysis of the principles underpinning the Australian disability income support system. It determines that these principles rely on a conception of disability that sustains a system of coercion and paternalism that perpetuates disability and referred to as disablism. The article examines the construction of disability in Australian income support across four major historical epochs spanning the period 1908-2007. Contextualisation of the policy trajectory and discourses of the contemporary disability pension regime for the time period 2008-now is also provided. Two major themes were found to have interacted with the ideology of disablism. This article argues that a non-disabling provision based on social citizenship, rather than responsible or productive citizenship, counters the tendency for authoritarian and paternal approaches. [Abridged]

Èto i to v povesti Staruha Daniila Harmsa

This dissertation focuses on the short story Starukha (The Old Woman), one of the last works of the Russian writer Daniil Kharms (1905-1942). The story, written in 1939, is analysed using the Kharmsian concepts èto and to (this and that) as a heuristic interpretative model. The first chapter gives a detailed analysis of this model, as well as a survey of the critical work done to date on Kharms and Starukha. In the second chapter the model is applied to study the different states of consciousness of the male protagonist. This is significant, because he is the "I" of the work, from whose point of view everything is being told. The third chapter takes a closer look at the reality of the world that exists independently of the consciousness of the protagonist. Physical objects can be said to bear - besides their everyday meaning - a hidden symbolic meaning. Similarly, the characters can be considered as representatives of everyday reality and otherworldliness. The fourth chapter deals with the narrative devices of Starukha. The problematics of the relation between fact and fiction plays an essential role in the story. Kharms's use of Ich-Erzählung and different tenses, which contributes to achieving a complicated elaboration of this kind of problematics, is examined in detail. The fifth chapter provides an intertextual reading of Starukha, based on its allusions to the Bible and the Christian tradition. As a result, the whole story can be seen as a kind of meditation on the Passion of Christ. The final chapter examines how the important Kharmsian concepts of the grotesque and the absurd manifest themselves in Starukha. The old woman represents in a grotesque way two opposite systems: the religious and the totalitarian. The absurdity of Starukha can be claimed to be illusory. Therefore, it is better to speak about paradoxicality. Starukha itself is a kind of paradox, in the sense that it tries to say something of the ultimate truth of reality, which inevitably remains ineffable.

Andegraund : Istorija i mify leningradskoj neoficial'noj literatury

The history of the Leningrad underground is one of the key themes of late socialism. Samizdat, "black humour", religious syncretism, dissidence, apolitical bohemianism, the pathos of freedom of individuality and the mechanics of literature are closely interlinked with the cultural mythology of this passed epoch. Describing conceptions that, when taken together, form the contemporary understanding of unofficial culture, the author creates a historical portrait of this environment. Amongst the central figures here, there are well-known writers (Bitov, Brodsky, Dovlatov, Khvostenko, Krivulin) and literary activists who still await recognition. The analysis of works, many of which were only distributed in typewritten publications in the 1960s-1980s, gives a preliminary definition of the key factors that united the authors of the unofficial community. The book begins with a critique of the identification of the Soviet underground with political dissidence or with a society living in autonomous independence with regard to the state. Describing the historical development of the various names for this environment (the underground, samizdat, unofficial culture, podpolie and others), the author follows the genesis of the community from its appearance, in the years of "the Thaw", through to perestroika, when it dissolved. Taking the history of the publication of Bitov's "The Pushkin House" as an example, the concept of the unofficial is interpreted as a risky interaction with the authorities. Unofficial culture is then viewed as a late Soviet reflection of the Western underground in the 1950s-1960s. Unlike the radical-utopian-anarchistic source, it proclaimed a liberalist and democratic ideology in the context of the destruction of the socialist utopia. The historical portrait of the community is built up from the perceptions of its members regarding literature practice and rhetorical approaches, with the aid of which these perceptions are expressed. Taking typewritten publications as source material, four main representations are given: privacy, deviancy, criticism and irrationality. An understanding of literature as a private affair, neo-avant-garde deviancy in social and literary behaviour and the pathos of the critical relationship with officialdom and irrational message of literary work, comprise the basis for the worldview of unofficial authors, as well as the poetic system, genre preferences and dictums. An analysis of irrationality, based on the texts of Khvostenko and Bogdanov, leads to a review of the cultural mythologies that were crucial to the unofficial conception of the absurd. Absurd is an homonym. It contains ideas that are important for the worldview of unofficial authors and the poetics of their works. The irrationality of the Soviet order is reflected in the documentary nature of the satirical prose of Dovlatov. The existential absurd of Camus is perceived here as the pointlessness of social realities and the ontological alienation of man, while existentialist practices for consciousness in the "atmosphere of absurd" remain bracketed off. The third homonym of absurd - the conception of reality as an illusion - is a clear demonstration of religious syncretism, where neo-Christian ideas are interweaved with a modernized version of Hinduism, as taken from Rolland s books on Ramakrishna and Vivekananda. The unofficial community was influenced by the ideology of westernization. Even "the East" arrived here via French retellings and accounts. As a whole, unofficial Leningrad culture can be understood as a neo-modernist phenomenon which, unlike the western neo-modernism of the 1940s and 1950s, arose in the years of the Thaw and ended its existence in the mid-1980s.

Spontaanin puheen prosodinen jaksottelu

The common focus of the studies brought together in this work is the prosodic segmentation of spontaneous speech. The theoretically most central aspect is the introduction and further development of the IJ-model of intonational chunking. The study consists of a general introduction and five detailed studies that approach prosodic chunking from different perspectives. The data consist of recordings of face-to-face interaction in several spoken varieties of Finnish and Finland Swedish; the methodology is usage-based and qualitative. The term “speech prosody” refers primarily to the melodic and rhythmic characteristics of speech. Both speaking and understanding speech require the ability to segment the flow of speech into suitably sized prosodic chunks. In order to be usage-based, a study of spontaneous speech consequently needs to be based on material that is segmented into prosodic chunks of various sizes. The segmentation is seen to form a hierarchy of chunking. The prosodic models that have so far been developed and employed in Finland have been based on sentences read aloud, which has made it difficult to apply these models in the analysis of spontaneous speech. The prosodic segmentation of spontaneous speech has not previously been studied in detail in Finland. This research focuses mainly on the following three questions: (1) What are the factors that need to be considered when developing a model of prosodic segmentation of speech, so that the model can be employed regardless of the language or dialect under analysis? (2) What are the characteristics of a prosodic chunk, and what are the similarities in the ways chunks of different languages and varieties manifest themselves that will make it possible to analyze different data according to the same criteria? (3) How does the IJ-model of intonational chunking introduced as a solution to question (1) function in practice in the study of different varieties of Finnish and Finland Swedish? The boundaries of the prosodic chunks were manually marked in the material according to context-specific acoustic and auditory criteria. On the basis of the data analyzed, the IJ-model was further elaborated and implemented, thus allowing comparisons between different language varieties. On the basis of the empirical comparisons, a prosodic typology is presented for the dialects of Swedish in Finland. The general contention is that the principles of the IJ-model can readily be used as a methodological tool for prosodic analysis irrespective of language varieties.

Mifopoètika Andreja Platonova v romane Sčastlivaja Moskva

This dissertation focuses on the mythopoetics of the Soviet writer Andrej Platonov (1899-1951) in his late novel Schastlivaja Moskva (Happy Moscow), written in 1932 1936. The purpose of the work is to reveal the mythopoetic world model in the novel, to characterize the most significant features of Platonov's mythopoetics and finally, to reconstruct the author's myth in the novel by placing the novel in the context of Platonov's oeuvre and Russian literature and culture as a whole. The first chapter provides a representation of the problem and methodology of the work, a short overview of the history of creating and publishing the novel, and a survey of critical work on Platonov done to date. The study utilizes a structuralistic-semiotic approach devised by Tarto-Moscow scholars for analyzing mythopoetic texts and applies the methodology of a conceptual analysis of the mythology of language. The second chapter examines the peculiarities of Platonov's mythopoetics, and its relation to the neomythological paradigm of Russian literature. Some special consideration is given to the character of the scientific utopism of Platonov's myth, to the relation of Platonov's mythopoetic world model with mythopoetic thinking and to the syntagmatical, and paradigmatical aspects of Platonov's myth, in particular to the mythopoetical metasjuzhet and the ambivalent binary structure of myth. The third chapter presents a close examination of the mythopoetics of the novel by discerning the motif structure of the novel, analyzing the characters and main thematic oppositions of Platonov's myth in the novel. It is contended that in every textual level Platonov strives for ambivalency which provides an opportunity to discern his poetics as both utopian and antiutopian. The analysis in the fourth chapter of the key Platonovian ideological concepts revoljucia, kommunizm and socializm confirms this observation. The study concludes that Platonov's myth in the novel is based on the mythologema of his early prose, but reflect the gradual transition from early utopian themes to the intimate "humble" prose of the late 1930's.

Ivanov-mistik : Okkul'tnye motivy v poèzii i proze Vjačeslava Ivanova (1907-1919)

The subject of this work is the mysticism of Russian poet, critic and philosopher Vjacheslav Ivanov (1866-1949). The approach adopted involves the textual and discourse analysis and findings of the history of ideas. The subject has been considered important because of Ivanov's visions of his dead wife, writer Lydia Zinovieva-Annibal, which were combined with audible messages ("automatic writings"). Several automatic writings and descriptions of the visions from Ivanov's archive collections in St.Petersburg and Moscow are presented in this work. Right after the beginning of his hallucinations in the autumn of 1907, Ivanov was totally captivated by the theosophical ideas of Anna Mintslova, the background figure for this work. Anna Mintslova, a disciple of Rudolf Steiner's Esoteric School, offered Ivanov the theosophical concept of initiation to interpret paranormal phenomena in his intimate life. The work is divided into three main chapters, an introduction and aconclusion. The first chapter is called The Mystical Person: Anthropology of Ivanov and describes the role of the inner "Higher Self" in Ivanov's views on the nature of human consciousness. The political implications of the concepts, "mystical anarchism" and "sobornost" (religious unity) are also examined. The acquaintance and contacts with Anna Mintslova during 1906-1907 gave a framework to Ivanov's search for an organic society and personal religious experience. The second part, Mystics of Initiation and Visionary Aesthetics describes the influence of the initiation concept on Ivanov's aesthetic views (mainly "realistic symbolism"). On the other hand, some connections between the imagery of his visions and symbols in his verses of that period are established. Since Mintslova represented the ideas of Rudolf Steiner in Russia, several symbols shared by Steiner and Ivanov ("rose", "rose and cross") have been another subject of investigation. The preference for strict verse form in the lyrics of Ivanov's visionary period is interpreted as an attempt to place his own poetic creation within two traditions, a mystical and literary one. The third part of this work, Mystics of Hope and Terror, examines Ivanov's conception of Russia in connection with Mintslova's ideas of occult danger from the East. Ivanov's view of the "Russian idea" and his nationalistic idea during World War I are considered as a representation of the fear of the danger. Ivanov's interpretation of the October revolution is influenced by the theosophical concept of the "keeper of the threshold" which occurs in the context of the discourse of occult danger.

Konstrukcija mnimosti : K poètike "Voskovoj persony" Ju. Tynjanova

The subject of this work is the poetics of «The Wax Effigy», a short novel or novella by Jurii Tynianov, Russian writer, literary critic, historian of literature and prominent literary theoretician. The plot structure of the novel is based upon a real event, the creation by Bartolomeo Carlo Rastrelli in 1725 of a wax sculpture of the first Russian emperor, Peter the Great. «Construction of the Sham» consists of three chapters, an introduction and a conclusion. Due to the fact that Tynianov was at the same time a prose writer and theoretician of literature it seemed important to consider the reception of his prose and his works on literary theory in relationship to each other. The introduction is devoted to this task. The first chapter is about the history of the creation of the novel and its reception. Tynianov stopped writing one short story in order to write the novel; these two works have some common traits. It seems almost obvious that his work on the first text was a real step toward the creation of the second. In the first story there is an opposition of dead/alive which is semantic prefiguring of a central motif in «The Wax Effigy». An analysis of the reception of the novel demonstrated that almost every critic writing about the novel has described it as nonsense. Critics considered Tynianov's work in terms of «devices» and «content» and could not understand how devices are related to the content of the novel: the novel was thought as a signifier without any signified. Implicitly, critics thought the signified of the novel as a traditional one of the historical novel, as the historiosophical «idea», embodied in the system of literary devices. In this case literature becomes something instrumental, a kind of expression of extraliterary content. In contradistinction to that Tynianov considered literary semantics as an effect of the literary structure. From his point of view the literary sense is immanent to the process of signification accomplished inside the literary text. The second chapter is devoted to a rhetorical analysis of the opposition dead/alive. Tynianov systematically compares both terms of the opposition. As a result of this strategy the wax effigy of the dead emperor becomes «as if» alive and the world of living people «as if» dead. The qualifier «as if» refers to the fact that Tynianov creates an ambiguous semantic system. This rhetoric is related to European Romanticism and his «fantastic literature» (Merimé, Hoffmann, Maupassant etc.). But Tynianov demonstrates a linguistic origin of the strange fantoms created by romantics; he demystifies these idols by parodying the fantastic literature, that is, showing «how it was done». At the same time, the opposition mentioned above refers to his idea of «incongruity» which plays a prominent role in Tynianov s theory but has never been conceptualised. The incongruity is a inner collision of the literary text; from Tynianov's point of view the meaning of the work of literature is always a dynamic collision of semantically heterogeneous elements struggling with each other. In «The Wax Effigy» Tynianov creates a metalevel of the work demonstrating the process of creation of the literary sense. The third chapter is a reconstruction of Tynianov's conception of the historical prose, specifically of the mechanisms by which historical facts are transformed into literary events. Tynianov thought that the task of the historical novelist is to depict his hero as an actor, to demonstrate that as a wearer of many masks he is a creator of appearances, ambiguities. Here, in the «figure of fiction» (Andrei Belyi), the very idea of the historical prose and rhetoric employed in «The Wax Effigy», history and literature meet each other. In his last theoretical work, «On parody» Tynianov writes about the so-called sham structure of parody. In his opinion every parody is a text about other texts and «serious» work which could be read at the same time as a text about «reality». This twofold structure of parody is that of «The Wax Effigy»: that text speaks about ambiguities of the history and about ambiguities of the literary sense, about social reality of the past and - about the working of the literature itself. «The Wax Effigy» is written as a autoreflective text, as an experiment in literary semantics, as a system of literary ambiguities - of hero, rhetoric and the text itself. The meaning of the novel is created not by the embodiment extraliterary idea, but by the process of signification accomplished inside the work of literature. In this sense Tynianov's novel is parody, a break with the tradition of the historical novel preceding «The Wax Effigy».

"Four Ways of Writing the City" : St. Petersburg-Leningrad as a Metaphor in the Poetry of Joseph Brodsky

The present study discusses the theme of St. Petersburg-Leningrad in Joseph Brodsky's verse works. The chosen approach to the evolving im-age of the city in Brodsky's poetry is through four metaphors: St. Petersburg as "the common place" of the Petersburg Text, St. Petersburg as "Paradise and/or Hell", St. Petersburg as "a Utopian City" and St. Petersburg as "a Void". This examination of the city-image focusses on the aspects of space and time as basic categories underlying the poet's poetic world view. The method used is close reading, with an emphasis on semantical interpretation. The material consists of eighteen poems dating from 1958 to 1994. Apart from investigating the spatio-temporal features, the study focusses on exposing and analysing the allusions in the scrutinised works to other texts from Russian and Western belles lettres. Terminology (introduced by Bakhtin and Yury Lotman, among others) concerning the poetics of space in literature is employed in the present study. Conceptions originating from the paradigm of possible worlds are also used in elucidating the position of fictional and actual chronotopes and heroes in Brodsky's poetry. Brodsky's image of his native city is imbued with intertextual linkings. Through reminiscences of the "Divine Comedy" and Russian modernists, the city is paralleled with Dante's "lost and accursed" Florence, as well as with the lost St. Petersburg of Mandel'shtam and Akhmatova. His city-image is related to the Petersburg myth in Russian literature through their common themes of death and separation as well as through the merging of actual realia with the fictional worlds of the Petersburg Text. In his later poems, when his view of the city is that of an exiled poet, the city begins to lose its actual world referents, turning into a mental realm which is no longer connected to any particular geographical location or historical time. It is placed outside time. The native city as the homeland in its entirety is replaced by another existence created in language.