title: µ-Charts and Z: Examples and extensions

authors: Reeve, Greg

subjects: formal specification

abstract: μ-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples of translating μ-charts to Z, which is itself a well-established language for specifying computational systems with tried and tested methods and support tools which guide its effective use in systems development. We undertake this translation in order that investigation of the modelled system can be performed before expensive and lengthy implementation is considered. We also present an extension of the μ-charts and the related Z to deal with a simple command language, local variables and integer-valued signals.

text: µ-Charts and Z: Examples and extensions μ-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples of translating μ-charts to Z, which is itself a well-established language for specifying computational systems with tried and tested methods and support tools which guide its effective use in systems development. We undertake this translation in order that investigation of the modelled system can be performed before expensive and lengthy implementation is considered. We also present an extension of the μ-charts and the related Z to deal with a simple command language, local variables and integer-valued signals.

year: 2000-12-01

title: Are philosophers happy?

authors: Weijers, Dan M.

abstract: Philosophy seems to attract less happy students and then makes them less happy (or encourages the less happy ones to continue)

text: Are philosophers happy? Philosophy seems to attract less happy students and then makes them less happy (or encourages the less happy ones to continue)

year: 2019

title: Three Pacific writers from Aotearoa discuss Indigenous languages and visual poetry

authors: Salsano, Marama

abstract: This article draws on several months of conversations, creative workshopping, and writing sessions between Māori writers Ammon Hāwea Apiata and Marama Salsano, and Rotuman writer Mere Taito. Here, we contemplate the presence of Māori and Rotuman languages in our visual poetry. For too long, critical work about English language writing by Indigenous writers from the Pacific has been Eurocentric. Papua New Guinean writer-scholar Steven Winduo suggests the need to unwrite this “imagined Oceania,” while Māori author Keri Hulme writes disparagingly of the lower-cased ‘gods of literature’, and in her ReadNZ lecture, Sāmoan-Māori fantasy writer Lani Wendt Young describes traditional publishing as the “white castle of literature.” While white castled gods of literature have historically ignored the everyday vibrancy of Pacific voices, Indigenous writers from the Pacific continue to unapologetically write, read, experiment, critique, and play with words. Into this complexity, we acknowledge that for many Indigenous writers from the Pacific, English language Eurocentric thought and texts dominate our lives; many of us are second language learners of our languages.

text: Three Pacific writers from Aotearoa discuss Indigenous languages and visual poetry This article draws on several months of conversations, creative workshopping, and writing sessions between Māori writers Ammon Hāwea Apiata and Marama Salsano, and Rotuman writer Mere Taito. Here, we contemplate the presence of Māori and Rotuman languages in our visual poetry. For too long, critical work about English language writing by Indigenous writers from the Pacific has been Eurocentric. Papua New Guinean writer-scholar Steven Winduo suggests the need to unwrite this “imagined Oceania,” while Māori author Keri Hulme writes disparagingly of the lower-cased ‘gods of literature’, and in her ReadNZ lecture, Sāmoan-Māori fantasy writer Lani Wendt Young describes traditional publishing as the “white castle of literature.” While white castled gods of literature have historically ignored the everyday vibrancy of Pacific voices, Indigenous writers from the Pacific continue to unapologetically write, read, experiment, critique, and play with words. Into this complexity, we acknowledge that for many Indigenous writers from the Pacific, English language Eurocentric thought and texts dominate our lives; many of us are second language learners of our languages.

year: 2024-08-24