title: Specifying collaborative software: a proposal

authors: Reeves, Steve

abstract: The aim of this paper is to illustrate how formal specifications for collaborative interactive systems might be written. It presents a new modelling paradigm for certain systems. It also shows how formal software engineering approaches can be useful. Specifically we choose to specify a simple collaborative editor. This example serves two purposes: it shows how clear and simple a formal specification can be and it provides a basis for making observations about the requirements for a specification language where the target is CSCW systems. The specification of the system has three parts: the semantics of the system; the syntax of the system; the semantics of the collaborative aspects of the system.

text: Specifying collaborative software: a proposal The aim of this paper is to illustrate how formal specifications for collaborative interactive systems might be written. It presents a new modelling paradigm for certain systems. It also shows how formal software engineering approaches can be useful. Specifically we choose to specify a simple collaborative editor. This example serves two purposes: it shows how clear and simple a formal specification can be and it provides a basis for making observations about the requirements for a specification language where the target is CSCW systems. The specification of the system has three parts: the semantics of the system; the syntax of the system; the semantics of the collaborative aspects of the system.

year: 1998-01-01

title: Dataset for "A novel injection technique: using a field-based quantum cascade laser for the analysis of gas samples derived from static chambers"

authors: Wecking, Anne Roswitha

abstract: Dataset for "A novel injection technique: using a field-based quantum cascade laser for the analysis of gas samples derived from static chambers"

text: Dataset for "A novel injection technique: using a field-based quantum cascade laser for the analysis of gas samples derived from static chambers" Dataset for "A novel injection technique: using a field-based quantum cascade laser for the analysis of gas samples derived from static chambers"

year: 2020

title: Interface of gender and culture

authors: Tamasese, Kiwi

subjects: Maori

abstract: I greet you in the soothing waters of the Pacific. The birth waters of Hawai’i to the North, island of the dream time, and Aotearoa, to the south. Papua New Guinea to the West and Marquesas to the East.  These islands are the gathering places of the world’s largest Continent, the Pacific. We of this continent know that her birth waters are our connection.  We also know that she is woman identified. It is no surprise therefore that from Hawai’i to the north to Aotearoa in the south the positioning of women in each of these societies bears a different story to that of the women of the continent of Europe.  This reality lived out in Hawai’i means women shared with men the ultimate leadership of peoples.  This location of women power is named Kuhinanui. Many remarkable women of Hawai’i occupied this position.  From times of peace throughout to the first clash with imposed new culture, women of Hawai’i led, bled, struggled, defied and kept the kukui of self belief burning. Genealogically Hawai’i is connected to her other sisters throughout the Pacific.  The story of Kuhinanui Liliuokalani is poignant.

text: Interface of gender and culture I greet you in the soothing waters of the Pacific. The birth waters of Hawai’i to the North, island of the dream time, and Aotearoa, to the south. Papua New Guinea to the West and Marquesas to the East.  These islands are the gathering places of the world’s largest Continent, the Pacific. We of this continent know that her birth waters are our connection.  We also know that she is woman identified. It is no surprise therefore that from Hawai’i to the north to Aotearoa in the south the positioning of women in each of these societies bears a different story to that of the women of the continent of Europe.  This reality lived out in Hawai’i means women shared with men the ultimate leadership of peoples.  This location of women power is named Kuhinanui. Many remarkable women of Hawai’i occupied this position.  From times of peace throughout to the first clash with imposed new culture, women of Hawai’i led, bled, struggled, defied and kept the kukui of self belief burning. Genealogically Hawai’i is connected to her other sisters throughout the Pacific.  The story of Kuhinanui Liliuokalani is poignant.

year: 1993