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.

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.

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.

A Quantitative and Qualitative Inquiry Into Positive Involvement Trends of Contemporary Fathers and Influence of Parenting Programs

Parent education programs offered by a variety of public health services are effective support and knowledge resources that enhance positive parenting competencies in early childhood and adolescence. However, parenting education programs are less effective and encompass fewer benefits for fathers in comparison to mothers. This study sought to investigate trends of paternal involvement in early childhood and to compare the influence of parenting education programs on paternal involvement and conceptualization of fathers. A sample of 52 fathers, between the ages of 19 to 54, with children 6 years old and younger completed an electronic or hard copy version of a survey questionnaire reporting on their fathering and experiences as a dad. Findings indicate the sample of Canadian fathers self-reported high levels of paternal involvement, including many who favoured play-based interactions with their children. Although no significant difference in levels of involvement was noted between fathers who had versus those who had not previously participated in a parenting education program, half of the Canadian fathers indicated that supports are needed to strengthen their role as fathers. Results suggest that future initiatives to strengthen parent education program services available in Canada should specifically consider the father’s role.

Religious Diversity and Teacher Education: Experiences and Perspectives of Muslim Women as Teacher Candidates in Pre-service Programs

This qualitative research project explores the insights of Muslim women as teacher candidates completing pre-service programs in Ontario. Ontario schools cater to students from many ethnic, cultural and religious groups, including a sizable Muslim population. Muslims make up 4.6% of Ontario’s population with the highest concentration of Muslims in the GTA (Statistics Canada, 2011). The Muslim population in Ontario is of a significant enough number that, in a post 9/11 world, it has prompted discussion of how to integrate Muslim populations in Canada. In this research, I explore how Islamophobic sentiment is experienced in Ontario-based teacher education programs. I use Critical Race Theory (CRT) and Critical Race Feminism (CRF) to analyse and deconstruct experiences of female Muslim teacher candidates in pre-service programs. I discuss how Muslims are a racialized group that experience racism as discussed by critical race literature; however, there is a marked difference between how Muslim men and women experience gendered Islamophobia. By using in-depth research-based interviews, I explore how Muslim women perceived diversity, education, accommodations and Islamophobia in pre-service programs. This study adds to the current literature on critical race theory and anti-racist practices in education. Furthermore, this study adds to the voice of Muslim women in the discussion of diversity and inclusivity in educational institutions.

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.