Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Reflection Reframed: The Process of Photography as Strategy for Teachers' Reflective Practice

Teacher reflective practice is described as an effective method for engaging teachers in improving their own professional learning. Yet, some teachers do not understand how to effectively engage in the reflective processes, or prefer not to formalize the process through writing a reflective journal as taught in most teacher education programs. Developing reflective skills through the process of photography was investigated in this study as a strategy to allow enhanced teacher reflection for professional and personal growth. The process of photography is understood as the mindful act of photographing rather than focusing on the final product-the image. For this study, 3 practicing educators engaged in photographic exercises as a reflective process. Data sources included transcribed interviews, participant journal reflections, and sketchbook artifacts, as well as the researcher's personal journal notes. Findings indicated that, through the photographic process, (a) teacher participants developed new and individual strategies for professional leaming; and (b) teacher participants experienced shifts in the way they conceptualized their personal worldviews.

Mental Health and Becoming a Teacher: A Narrative on the Experiences and Identities of Teacher Candidates

This study used narrative inquiry to shed light on the identity development of teacher candidates who experienced mental health issues during teacher education programs. The study sought to examine (a) stories that teacher candidates tell about being in a teacher education program while experiencing mental health issues; (b) identity development of teachers who have experienced mental health issues; and (c) how narratives of teacher candidates and beginning teachers challenge stereotyping and stigmatization. Through discussion and letter correspondence, the participants and I shared stories that represented our lived experiences. The study explored our stories using the 3 commonplaces of temporality, sociality, and place from a theoretical framework of narrative inquiry. Four themes emerged from the data analysis: the stigmatization of mental health issues; dealing with conflict; the need for a safe and supportive environment; and the complexity of mental health issues. This study contributes to the literature by exploring the lived experiences of teacher candidates and beginning teachers with mental health issues. The narratives inform teacher education programs, the teaching profession, and the mental health field.

Integrating Children with Emotional and Behavioural Disabilities into Community Recreation Programs: A Handbook for Staff

This study examined the process of integrating children with Emotional Behavioural Disorders (EBDs) with their peers into recreation programs. The purpose was to develop a set of recommendations for the development of a handbook to help workers in recreation with the integration process. To this end, a needs assessment was conducted with experienced recreation workers in the form of semistructured interviews. Participants were recruited from two community centers in a large southern Ontario city. Themes were drawn from the analysis of the interview transcripts and combined with findings from the research literature. The results were a set of recommendations on the content and format of a handbook for integrating children with EBDs into recreation programs.

Aboriginal Parental Involvement/Engagement for Student Success

An increasing body of knowledge links parental involvement with student success but few studies address Aboriginal parental involvement in urban settings. While some critics argue traditional Aboriginal knowledge is best delivered at home, Aboriginal children who share parents’ stories in the classroom benefit other children who draw connections to these stories. Moreover, Aboriginal learners need to function in mainstream Western society and in public school settings in which educators often have a difficult time engaging Aboriginal parents. Consequently, this research sought to explore the perceptions and sense of engagement of parents/caregivers in the Aboriginal Student Program (ASP) in a publicly funded secondary school in Ontario. The study was an extension of the researcher’s existing work and focused specifically on a sample of parents/caregivers taking part in an Aboriginal feast at an Ontario secondary school. Nine individuals accepted an invitation to participate in a Talking Circle and shared perceptions of their children’s educational experiences. Data were collected and coded, and findings indicated that parental involvement in children’s educational journeys contributed significantly to a sense of parental engagement in the school and in Aboriginal programs. Results also suggest that Eurocentric pedagogy can be modified in mainstream secondary schools to directly involve Aboriginal parents/caregivers. Although many participants’ stories revealed they experienced racism during their own schooling, study findings demonstrate that the parents/caregivers want to be involved in their children’s education nonetheless. This thesis discusses the data that were grounded in the participants’ voices that in turn led to several key recommendations.

Using Network Analysis to Understand and Advance Falls Prevention Services and Programs

The purpose of this study was to understand referral linkages that exist among falls prevention agencies in a southern Ontario region using network analysis theory. This was a single case study which included fifteen individual interviews. The data was analyzed through the constant comparative approach. Ten themes emerged and are classified into internal and external factors. Themes associated with internal factors are: 1) health professionals initiating services; 2) communication strategies; 3) formal partnerships; 4) trust; 5) program awareness; and 6) referral policies. Themes associated with external factors are: 1) client characteristics; 2) primary and community care collaboration; 3) networking; and 4) funding. Recommendations to improve the referral pathway are: 1) electronic database; 2) electronic referral forms; 3) educating office staff; and 4) education days. This study outlined the benefit of using network analysis to understand referral pathways and the importance of implementing strategies that will improve falls prevention referral pathways.

Exploring Teacher Candidates’ Perception of Practicum Placement Within Concurrent Teacher Education in Two Ontario Universities

In this study, teacher candidates’ perception of their concurrent education program at two Ontario universities were examined, with specific emphasis on how the programs utilized practicum placements, to determine the effectiveness in preparing teacher candidates to teach. This research also strived to uncover the best ways to optimize concurrent teacher education through practicum placements. A questionnaire and interviews were used to uncover teacher candidates’ perceptions at one teacher education program that used full integration of practicum and one that used minimal integration of practicum. The findings revealed that teacher candidates were generally more satisfied with the overall program when there was full integration of practicum. There were statistically significant differences found between the two concurrent programs with regard to practicum time and preparedness and context of the practicum and a highly significant difference found for theory-practice divide. There was also a statistically significant difference (p < .05) observed between the teacher candidates at each university in terms of their beliefs about the need for improvement of their program. Some of the improvements that participants believed could be made to their respective programs included having (a) exceptional mentor teachers and teacher educators, (b) longer placements with a balance of observation and practicum teaching, (c) clear expectations and evaluations of practicum placement, and (d) more distinct connections between theory and practice made within the programs.

Conceptions of Quality and Approaches to Quality Assurance in Ontario’s Universities

Many international, political, and economic influences led to increased demands for development of new quality assurance systems for universities. Like many policies and processes that aim to assure quality, Ontario’s Quality Assurance Framework (QAF) did not define quality. This study sought to explore conceptions of quality and approaches to quality assurance used within Ontario’s universities. A document analysis of the QAF’s rationale and structure suggested that quality was conceived primarily as fitness for purpose, while suggested indicators represented an exceptional conception of quality. Ontario universities perpetuated such confusion by adopting the framework without customizing it to their institutional conceptions of quality. Drawing upon phenomenographic traditions, a qualitative investigation was conducted to better understand various conceptions of quality held by university administrators and to appreciate ways in which they implemented the QAF. Three main approaches to quality assurance were identified: (a) Defending Quality, characterized by conceptions of quality as exceptional, which focuses on administrative accountability and uses a hands-off strategy to defend traditional notions of quality inputs and resources; (b) Demonstrating Quality, characterized by conceptions of quality as fitness for purpose and value for money, which focuses on accountability to students and uses centralized engaged strategies to demonstrate how programs meet current priorities and intended outcomes; and (c) Enhancing Quality, characterized by conceptions of quality as transformation, which focuses on reflection and learning experience and uses engaged strategies to find new ways of improving learning and teaching. The development of a campus culture that values the institution’s function in student learning and quality teaching would benefit from Enhancing Quality approaches to quality assurance. This would require holistic consideration of the beliefs held by members of the institution, a clear articulation of the institution’s conceptions of quality, and a critical analysis of how these conceptions align with institutional practices and policies.

Associate-Candidate Relationships: A Study of Teacher Education Field Experiences

Past research has identified the importance of the relationship between teacher candidates and their associate teachers during field experiences. Through the research questions that framed the study, I sought to contribute to a growing understanding of how the associate teacher-teacher candidate relationship develops from the perspective of teacher candidates. Using an interpretive lens, I explored the associate teacher-teacher candidate relationships of 5 teacher candidates at a mid-sized university in Southern Ontario. In this instrumental multicase study, the 5 participants described 13 pairs of relationships with associate teachers who modeled varying practices. The qualitative data surrounding these case relationships were collected through a focus group and semistructured interviews. Participants’ responses were analyzed using axial coding and constant comparative analysis. Participants identified feedback, guidance, support, genuine interactions, and relationship dynamics as central to successful field experiences. Participants also suggested that associate teachers might be better supported in their role if they were offered increased professional development from the faculties of education that organize the field experiences. The findings documented offer a fresh perspective of the role of the associate teacher in successful teacher education programs, particularly as experienced by the 5 participants.

Impact of a Youth Development Camp on Participants’ Skills, Attitudes, and Views Towards Science and Scientific Inquiry

This mixed-methods research study sought to determine the impact of an informal science camp—the Youth Science Inquiry Development Camp (YSIDC)—on participants’ science inquiry skills, through self-assessment, as well as their views and attitudes towards science and scientific inquiry. Pre and post data were collected using quantitative surveys (SPSI, CARS), a qualitative survey (VOSI-E), interviews, and researcher’s observations. Paired sample t-tests from the quantitative surveys revealed that the YSIDC positively impacted participants’ science inquiry skills and attitudes towards science. Interviews supported these findings and provided contextual reasons for these impacts. Implications from this research would suggest that informal and formal educational institutions can increase science inquiry skills and promote positive views and attitudes towards science and scientific inquiry by using non-competitive cooperative learning strategies with a mixture of guided and open inquiry. Suggested directions for further research include measuring science inquiry skills directly and conducting longitudinal studies to determine the lasting effects of informal and formal science programs.

Minimal Contact Intervention for Tobacco Dependence

This study was conducted to measure the degree of adherence by public health care providers to a policy that requires them to implement minimal contact intervention for tobacco cessation with their clients. This study also described what components of the intervention may have contributed to the adherence of the policy and how health care providers felt about adhering to the policy. The intervention consisted of a policy for implementation of minimal contact intervention, changes to documentation, a health care provider mentor trained, a training session for health care providers, and ongoing paper and people supports for implementation. Data for this study were collected through a health care provider questionnaire, focus group interviews, and a compliance protocol including a chart audit. The findings of this study showed a high degree of adherence to the policy, that health care providers thought minimal contact intervention was important to conduct with their clients, and that health care providers felt supported to implement the intervention. No statistically significant difference was found between new and experienced health care providers on 17 of the 18 questions on the health care provider questionnaire. However there was a statistically significant difference between new and experienced health care providers with respect to their perception that “clients often feel like they have to accept tobacco cessation information from me.” Changes could be made to the minimal contact intervention and to documentation of the intervention. Implications for future research include implementation within other programs within Hamilton Public Health Services and implementation of this model within other public health units and other types of health care providers within Ontario.

New Teacher Perceptions of Inclusive Pedagogies: Designing New Future for the Changing Classroom

Our perceptions of knowledge attainment have changed (Bezemer & Kress, 2010). The type of students our teachers once were is vastly different from the students they currently teach. We need our next generation to thrive in a dynamically, interactive world saturated with opportunities for meaning making (Kress & Selander, 2012). Our current students are responsible for continuing our society, but that does not mean we need them to become us (Gee, 2009). Rather desperately, we need them to be thinkers and expressive in a variety of modes. The world will be different when they take their rightful place as the next generation of leaders, and so too must their thinking be different (Cope & Kalantzis, 2000). This explanatory mixed-method study (Creswell, 2013; Mertens, 2014) involved an investigation into perceptions of new teachers regarding inclusive pedagogies like Universal Design for Learning (CAST, 2011). It specifically discusses the contemporary thinking of 44 new Ontario teachers regarding inclusive pedagogies in their teacher education as well as their relative intent to utilize them in their practice. This study reveals a distinct tone of skepticism and provides suggestions for the continued improvement of teacher education programs in this province.

Teachers’ Beliefs and Perceptions of Bullying and Bullying Prevention Initiatives

While bullying prevention programs appear to be decreasing the number of bullying incidents overseas, bullying prevention programs here in Canada have not been proving as effective. Evaluations of bullying prevention programs often focus on the outcomes and neglect to examine the training regimen for teachers. As teachers are on the front lines of bullying prevention programs, the current study explored teachers’ beliefs about the various types of bullying, their perceptions of their own abilities (e.g., teacher bullying prevention efficacy (TBPE), self-concept, and theory of mind) to implement bullying prevention initiatives, and how the school climate may influence their efficacy beliefs. Participants in the current study were 61 Canadian teachers (n = 51 women), predominantly from Ontario. Participating teachers represented all elementary division levels (primary, junior, and intermediate). Participants’ teaching experience ranged from zero years of teaching (pre-service) to 28 years of experience (M = 10.50, SD = 7.35). It was found that participants reported a relatively high TBPE score, which was related to their likely intervention in cyberbullying situations but not for other forms of bullying situations. It was found that teachers were most likely to intervene in physical bullying than verbal, relational, and cyberbullying, respectively. TBPE was influenced by the school climate. Teachers’ scores on the theory of mind scale was not a significant indicator of any teachers’ bullying beliefs. Analyses exploring the relationship between bullying beliefs and self-concept, morality predicted teachers TBPE scores and the likelihood of intervention. Teachers’ recommendations for bullying prevention training and school bullying prevention programs were explored. Results are discussed in terms of implications for practice and future research.

The Experience of (In)Accessibility at University: What Disabled Graduate Students Reveal

Although the number of disabled students entering graduate school has increased in recent years, research pertaining to graduate students with disabilities remains underdeveloped. The purpose of this generic qualitative study is to better understand the experiences of (in)accessibility from the perspectives of three graduate students who self-identify as disabled or as having a disability(s) at one mid-sized university in Southern Ontario. The theoretical orientation was shaped by a social model of disability. The study was focused around the following major research question: What have been the experiences of (in)accessibility for three graduate students who self-identify as disabled or as having a disability(s) at one mid-sized university in Southern Ontario? Subquestions were organized around subcategories, such as (a) experiences related to accessibility, (b) experiences related to inaccessibility, and (c) insights related to future recommendations to enhance accessibility. The study found that (in)accessibility at university was related to (a) specific places on campus, (b) specific people on campus, and (c) the culture of awareness. A variety of educational initiatives were recommended to foster accessible practices and to develop a more accepting and disability-friendly culture on campus. Based on these findings, the Trickledown Effect Model was proposed as a means for promoting accessibility at university.

An Exploration of the Impact of Ontario Integrated Secondary Programs Through the Perceptions of their Graduates

The purpose of this study was to investigate the impact of participating in an integrated program at the secondary level on students’ lives based on their postsecondary perceptions. A basic interpretive qualitative design was employed in this study. Ten semistructured interviews were conducted with graduates of integrated program as the means of data collection. It was found that the integrated programs accomplished objectives in close alignment with the mandated curriculum expectations regarding integrated programs. Some of the most powerful impacts related to students' learning skills, such as collaboration and social skills, and how to create as well as participate in community. A strong connection between participating in integrated programs and vocational guidance was also identified. The results led to the recommendation that integrated programs be explored as a platform for delivering 21st century education as they closely paralleled the objectives prescribed by a number of authors who detailed the role of education in the 21st century.