title: A Comparison of State-Based Modelling Tools for Model Validation

authors: Aydal, Emine G.

subjects: computer science

abstract: In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation. UML, Alloy and Z are examples of popular state-based modelling languages. In the literature, there has been research about the similarities and the differences between modelling languages. However, we believe that, in addition to recognising the expressive power of modelling languages, it is crucial to detect the capabilities and the weaknesses of analysis tools that parse and analyse models written in these languages. In order to explore this area, we have chosen four model analysis tools: USE, Alloy Analyzer, ZLive and ProZ and observed how modelling and validation stages of MBT are handled by these tools for the same system. Through this experiment, we not only concretise the tasks that form the modelling and validation stages of MBT process, but also reveal how efficiently these tasks are carried out in different tools.

text: A Comparison of State-Based Modelling Tools for Model Validation In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation. UML, Alloy and Z are examples of popular state-based modelling languages. In the literature, there has been research about the similarities and the differences between modelling languages. However, we believe that, in addition to recognising the expressive power of modelling languages, it is crucial to detect the capabilities and the weaknesses of analysis tools that parse and analyse models written in these languages. In order to explore this area, we have chosen four model analysis tools: USE, Alloy Analyzer, ZLive and ProZ and observed how modelling and validation stages of MBT are handled by these tools for the same system. Through this experiment, we not only concretise the tasks that form the modelling and validation stages of MBT process, but also reveal how efficiently these tasks are carried out in different tools.

year: 2008

title: An organization overview of pedagogical practice in work-integrated education

authors: Martin, Andrew

subjects: Assessment

abstract: Tertiary curriculum design has increasingly emphasized work-integrated learning (WIL) opportunities. This qualitative study provides an overview of a variety of WIL activities at Massey University, New Zealand. Descriptive comments, provided through interviews with fifteen academic supervisors from disciplines ranging from the applied sciences through social sciences to business, education and creative arts, highlight the following six factors to be considered in the resourcing of WIL programs. Themes related to set-up include placement requirements, support, selection, location, and risk management issues. Student preparation involves pre-requisite theoretical knowledge, general career  preparation (CV & interview skills) and readiness for practice. With respect to supervision, an on-campus academic mentor and a work-place supervisor are both important to the student. Competencies linked to team work and professional standards include self-confidence, communication and people skills. The teaching pedagogies used include lectures and labs, oral presentations, scenario-based-learning and project work. Assessment involved a learning contract, reflective journal, oral presentation, and final report.

text: An organization overview of pedagogical practice in work-integrated education Tertiary curriculum design has increasingly emphasized work-integrated learning (WIL) opportunities. This qualitative study provides an overview of a variety of WIL activities at Massey University, New Zealand. Descriptive comments, provided through interviews with fifteen academic supervisors from disciplines ranging from the applied sciences through social sciences to business, education and creative arts, highlight the following six factors to be considered in the resourcing of WIL programs. Themes related to set-up include placement requirements, support, selection, location, and risk management issues. Student preparation involves pre-requisite theoretical knowledge, general career  preparation (CV & interview skills) and readiness for practice. With respect to supervision, an on-campus academic mentor and a work-place supervisor are both important to the student. Competencies linked to team work and professional standards include self-confidence, communication and people skills. The teaching pedagogies used include lectures and labs, oral presentations, scenario-based-learning and project work. Assessment involved a learning contract, reflective journal, oral presentation, and final report.

year: 2012

title: Te mōhiotangaora: Within the knowing healing begins

authors: Witehira, Tracey Moana

abstract: This thesis investigates the intersection of the colonized self and the Māori self, examining how these dual identities coexist within the same physical, mental, and spiritual space. Grounded in Māori ontology and wellness (Durie, 1998), the study uses an interdisciplinary approach that combines academic analysis, creative writing, pūrākau  (Lee, 2009), journal reflections, and artistic practice to explore two distinct ways of knowing that operate within this duality.
In this academic study, the colonized self is defined as a Māori woman shaped and constrained by the effects of colonization (Gemmell, 2013: Mikaere, 2003). Conversely, the Māori self represents the awakened Wahine Māori who has embraced mātauranga  Māori. She actively learns, embodies, practices, and lives Māori values and traditions as part of her everyday life. However, the Wahine Māori is not entirely free from the ongoing impacts of colonization, given the long history of conflict between Māori and European peoples in Aotearoa.  The colonization of New Zealand, marked by the signing of the Treaty of Waitangi in 1840, resulted in the systematic loss of cultural markers central to Māori identity (Jackson, 1998, 1995; Walker, 1990). Furthermore, government policies have contributed to the marginalization of Māori culture in areas such as family, education, religion, and loss of language (Pihama, 2001; Smith, 1999).
Through this creative practice research, the practice of raranga whatu is explored using both traditional and contemporary techniques, contributing to the development of mātauranga Māori art forms (Campbell, 2019; Smith, 2019). This study examines how the process of weaving supports one woman’s journey of reclaiming and empowering her Indigenous identity. Whatu raranga serves as a transformative practice, embodying the duality of the self within a uniquely Māori space of being. Within a Kaupapa Māori framework, the process of restoring cultural connections has supported the reawakening of Mana Wahine identity and the reclamation of Māori spaces, as recognized and embodied by kairaranga  (Campbell, 2019; Pere, 1991; H. Smith, 2019; Yates-Smith, 1980).

text: Te mōhiotangaora: Within the knowing healing begins This thesis investigates the intersection of the colonized self and the Māori self, examining how these dual identities coexist within the same physical, mental, and spiritual space. Grounded in Māori ontology and wellness (Durie, 1998), the study uses an interdisciplinary approach that combines academic analysis, creative writing, pūrākau  (Lee, 2009), journal reflections, and artistic practice to explore two distinct ways of knowing that operate within this duality.
In this academic study, the colonized self is defined as a Māori woman shaped and constrained by the effects of colonization (Gemmell, 2013: Mikaere, 2003). Conversely, the Māori self represents the awakened Wahine Māori who has embraced mātauranga  Māori. She actively learns, embodies, practices, and lives Māori values and traditions as part of her everyday life. However, the Wahine Māori is not entirely free from the ongoing impacts of colonization, given the long history of conflict between Māori and European peoples in Aotearoa.  The colonization of New Zealand, marked by the signing of the Treaty of Waitangi in 1840, resulted in the systematic loss of cultural markers central to Māori identity (Jackson, 1998, 1995; Walker, 1990). Furthermore, government policies have contributed to the marginalization of Māori culture in areas such as family, education, religion, and loss of language (Pihama, 2001; Smith, 1999).
Through this creative practice research, the practice of raranga whatu is explored using both traditional and contemporary techniques, contributing to the development of mātauranga Māori art forms (Campbell, 2019; Smith, 2019). This study examines how the process of weaving supports one woman’s journey of reclaiming and empowering her Indigenous identity. Whatu raranga serves as a transformative practice, embodying the duality of the self within a uniquely Māori space of being. Within a Kaupapa Māori framework, the process of restoring cultural connections has supported the reawakening of Mana Wahine identity and the reclamation of Māori spaces, as recognized and embodied by kairaranga  (Campbell, 2019; Pere, 1991; H. Smith, 2019; Yates-Smith, 1980).

year: 2025-01