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.

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.

What children value : a scale to guide health promotion programs

Objective. Physical activity is important for the health of all human beings. Although it is important to develop good health promotion programs for children to increase participation in physical activity, to date there appear to be no programs based on what kids value beyond health and physical activity itself. This study proposed to create a scale with strong content and face validity that could uncover what any given population of children value in life regardless of their participation in physical activity and that experts feel could be related to physical activity. These findings will allow the development of targeted health promotion programs to increase children's participation in regular physical activity. Method In this study, a combination of qualitative and quantitative approaches was used. Data were gathered from seven experts in the field, sixty-seven children in grades three to five, five parents, and three teachers. From these data response groupings were created and sent to four experts to be given single word names. The resulting nine theme names were re-worked into "child-friendly" language. Four children were then asked to discuss theme names to see if they liked and understood them. The next step involved asking children and experts to rank order the nine themes, the children in general and the experts in terms of relevance to physical activity. From these results, possible versions of the scale were then created using the combined expert/children rankings. Each version was examined for content validity. Two versions of a scale resulted. These were sent to experts, parents, teachers and children in order to determine which one they liked better and to suggest any foreseeable problems. Once this information was collected, a beta (final prototype) version of the scale was created. Results. Nine common theme names were created from the response groupings. All four children agreed that they did understand and like each of the nine theme names. Experts and teachers agreed that full coverage of the content had been achieved. Children suggested a single wording change from "Being Accepted" to "Being Included". Five themes were selected for inclusion. The beta version of the scale included 12 forced choice statements, the first ten comparing all themes against one another followed by two anchor statements. Conclusion. At the outset it was recognized that it is essential to know what children think is important in their lives in order to serve as potential benefits in the development of effective physical activity promotion programs. This study developed a scale which could be used to determine what a population of children feel is important in order to focus health promotion programs for physical activity. The scale has strong face and content validity.

Examining current facilitative practices and projections of activity-based physical education degree programs regarding the participation of individuals with disabilties /

Individuals with disabiliiies are increasingly accessing post secondary education opportunities to further develop their educational and career goals. This study examines the current facilitative practices of Canadian university activity-based physical education degree programs on the participation of individuals with disabilities. A critical orientation and descriptive/interpretative approach allows insight into unique stories and experiences of physical education practitioners and special needs professionals as they attempt to provide equitable educational experiences within a least restrictive environment. Leading practitioners are used to triangulate and strengthen the validity of the data while providing direction and advocacy for future development and inclusion of individuals with disabilities. The study concludes with seven recommendations, each providing university activity-based physical education degree programs with viable opportunities for helping create equitable opportunities for individuals with disabilities.

Exploring the experiences of male spousal caregivers for their wives with alzheimer disease in their homes : the lived experience and the men's perception of support groups /

This research is qualitative in nature and has explored, by means of interviews, the '^^ experiences of 10 men in their roles in caring for their spouses with Alzheimer Disease (see glossary) in their homes. Additional data were collected by attending 3 formal support group meetings and one informal meeting of a group of men who brought their wives to a support group meeting for their wives with AD. The data retrieved supported the assumption that education about the disease, utilization of formal community support services, and attendance at caregiver support groups or programs can assist healthy male caregivers in caring for their wives with AD in their homes.

Partnership for arts integration : exploring the experiences of teachers and artists working with integrated arts programs

This research acknowledges the difficulties experienced by teachers presenting integrated arts curricula. Instructional support is offered by arts organizations that provide arts partnerships with local schools boards. The study focuses on the experiences of 8 teachers from a Catholic school board in southern Ontario who participated in integrated arts programs offered by The Royal Conservatory of Music's Learning Through the Arts™ (LTTATM) program and a local art gallery's Art Based Integrated Learning (ABIL) program and examines their responses to the programs and their perception of personal and professional development through this association. Additionally, questions were posed to the . "aftisfs"from-tneSe]Jfograrrrs;-and"they liiscus·sed·how"participating in-collaboration with teachers in the development of in-school programs enabled them to experience personal and professional development as well. Seven themes emerged from the data. These themes included: teachers' feelings of a lack of preparedness to teach the arts; the value of the arts and arts partnerships in schools; the role of the artists in the education of teachers; professional development for both teachers and artists; the development of collegiality; perceptions of student engagement; and the benefits and obstacles of integrating the arts into the curriculum. This document highlights the benefits to both teachers and artists of arts partnerships between schools and outside arts organizations.

Quality time: exploring meaningful mandatory community involvement programs in secondary schools /

The purpose of this study was to explore the experiences of 5 stakeholder groups—students, parents, community organization representatives, guidance counsellors, and secondary school principals—in dealing with a mandatory secondary school graduation requirement in Ontario. The requirement is that students must complete 40 hours of eligible community involvement activities during their high school years in order to graduate. Ten stakeholders were interviewed regarding the nature of the community involvement program, what makes it work, and suggestions for improvement. The study found that although this program has the potential to provide a meaningful experience for students, and students are seen to gain from their experience in multiple ways, it depends substantially on the commitment of students, educators, and community organizations to make it worthwhile. Stakeholders recommended changes to the current program, which included making it a more structured process that would increase the consistency ofhow this program is implemented, finding ways to curb cheating and to reduce the administrative burden on schools, having more support from the Ontario provincial government and Ontario Ministry of Education and Training in the promotion and communication of this program, and developing partnerships between community organizations and schools to enrich the application of this program. This study concludes with a recommendation that the Ontario Ministry of Education and Training consider introducing Service-Learning, a curriculum-based experiential service and learning process, as an enhancement to the current community involvement program.

A comparison of two computer-assisted remedial reading programs for adolescent unskilled readers : component reading skills and repeated reading

This study compared the relative effectiveness of two computerized remedial reading programs in improving the reading word recognition, rate, and comprehension of adolescent readers demonstrating significant and longstanding reading difficulties. One of the programs involved was Autoskill Component Reading Subskills Program, which provides instruction in isolated letters, syllables, and words, to a point of rapid automatic responding. This program also incorporates reading disability subtypes in its approach. The second program, Read It Again. Sam, delivers a repeated reading strategy. The study also examined the feasibility of using peer tutors in association with these two programs. Grade 9 students at a secondary vocational school who satisfied specific criteria with respect to cognitive and reading ability participated. Eighteen students were randomly assigned to three matched groups, based on prior screening on a battery of reading achievement tests. Two I I groups received training with one of the computer programs; the third group acted as a control and received the remedial reading program offered within the regular classroom. The groups met daily with a trained tutor for approximately 35 minutes, and were required to accumulate twenty hours of instruction. At the conclusion of the program, the pretest battery was repeated. No significant differences were found in the treatment effects of the two computer groups. Each of the two treatment groups was able to effect significantly improved reading word recognition and rate, relative to the control group. Comprehension gains were modest. The treatment groups demonstrated a significant gain, relative to the control group, on one of the three comprehension measures; only trends toward a gain were noted on the remaining two measures. The tutoring partnership appeared to be a viable alternative for the teacher seeking to provide individualized computerized remedial programs for adolescent unskilled readers. Both programs took advantage of computer technology in providing individualized drill and practice, instant feedback, and ongoing recordkeeping. With limited cautions, each of these programs was considered effective and practical for use with adolescent unskilled readers.

A method of evaluating psychomotor tooth preparation skills in preclinical dental programs

Preclinical and clinical tooth important and significant aspect of preparation is an a dental student's education. The associated procedures rely heavily on the development of particular psychomotor skills. The most common format of instruction and evaluation in tooth preparation at many Dental Faculties, emphasizes the product (tooth preparation) and associates performance with characteristics of this product. This integrated study examines which skills should be developed and how a course of instruction can best be structured to develop the necessary skills. The skills which are identified are those necessary for tooth preparation are selected from a psychomotor taxonomy. The purpose of evaluating these skills is identified. Behavioral objectives are set for student performance and the advisability of establishing standards of performance is examined. After reviewing studies related to learning strategy for dental psychomotor the most suitable tasks as well as articles on instructor effectiveness a model is proposed. A pilot project at the University of Toronto, based on this proposed model is described. The paper concludes wi th a discussion of the implications of this proposed model.

A qualitative analysis of reflection in undergraduate and graduate programs

The purpose ofthis study was to explore various types ofreflection and to explore reflection on action, reflection as a practice, and reflection as a process. In doing this, the intent was to discover the perceived benefits of reflection in the classroom and to provide guidelines for future use at the undergraduate and graduate level. The qualitative components in this study included the data collection strategy of semistructured interviews with 2 undergraduate students, 2 graduate students, 1 undergraduate studies professor, and 1 graduate studies professor. The data analysis strategies included a within-case analysis and a cross-case analysis. Through the interviews participants discussed their experiences with the use ofreflection in the classroom. Through the completion ofthis analysis the researcher expected to discover the benefits ofreflection at this level of education, as well as provide suggestions for future use. Both undergraduate and graduate students and professors were found to benefit from the use of reflection in the classroom. The use ofreflection in the undergraduate and graduate classroom was found to improve student/teacher and student/peer relationships, foster critical thinking, allow for connections between learned theory and life experience, and improve students' writing abilities. Based on the results ofthe study the implications ofreflection for the undergraduate and graduate classroom and for further research are provided.

Reality status evaluations in mediated experiences /

This paper explores the cognitive functions of the Reality Status Evaluation (RSE) system in our experiences of narrative mediated messages (NMM) (fictional, narrative, audio-visual one-way input and moving picture messages), such as fictional TV programs and films. We regard reality in mediated experiences as a special mental and emotional construction and a multi-dimensional concept. We argue that viewers' reality sense in NMM is influenced by many factors with "real - on" as the default value. Some of these factors function as primary mental processes, including the content realism factors of those messages such as Factuality (F), Social Realism (SR), Life Relevance (LR), and Perceptual Realism - involvement (PR), which would have direct impacts on reality evaluations. Other factors, such as Narrative Meaning (NM), Emotional Responses, and personality trait Absorption (AB), will influence the reality evaluations directly or through the mediations of these main dimensions. I designed a questionnaire to study this theoretical construction. I developed items to form scales and sub-scales measuring viewers' subjective experiences of reality evaluations and these factors. Pertinent statistical techniques, such as internal consistency and factorial analysis, were employed to make revisions and improve the quality of the questionnaire. In the formal experiment, after viewing two short films, which were selected as high or low narrative structure messages from previous experiments, participants were required to answer the questionnaire, Absorption questionnaire, and SAM (Self-Assessment Manikin, measuring immediate emotional responses). Results were analyzed using the EQS, structural equation modeling (SEM), and discussed in terms oflatent relations among these subjective factors in mediated experience. The present results supported most of my theoretical hypotheses. In NMM, three main jactors, or dimensions, could be extracted in viewers' subjective reality evaluations: Social Realism (combining with Factuality), Life Relevance and Perceptual Realism. I designed two ways to assess viewers' understanding of na"ative meanings in mediated messages, questionnaire (NM-Q) and rating (NM-R) measurement, and its significant influences on reality evaluations was supported in the final EQS models. Particularly in high story stnlcture messages, the effect of Narrative Meaning (NM) can rarely be explained by only these dimensions of reality evaluations. Also, Empathy seems to playa more important role in RSE of low story structure messages. Also, I focused on two other factors that were pertinent to RSE in NMM, the personality trait Absorption, and Emotional Responses (including two dimensions: Valence and Intensity). Final model results partly supported my theoretical hypotheses about the relationships among Absorption (AB), Social Realism (SR) and Life Relevance (LR); and the immediate impact of Emotional Responses on Perceptual Realism cPR).

Women’s Literary Club of St. Catharines Fonds

The Women's Literary Club of St. Catharines was founded in 1892 by a local author, Emma Harvey (Mrs. J.G.) Currie (1829-1913) and held its last official meeting on February 19, 1994. The Club developed, flourished and eventually waned. After more than one hundred successful years, the last members deposited the Club's archives at Brock University for the benefit of researchers, scholars and the larger community. The ‘object of the Club’ was established as “the promotion of literary pursuits.” The Club was a non-profit social organization composed of predominantly white, upper middle class women from the St. Catharines and surrounding areas. Club meetings were traditionally held fortnightly from March to December each year. The last meeting of the year was a celebration of their Club anniversary. The early meetings of the Club include papers presented and music performed by Club members. The literary pursuits that would dominate the agendas for the entire life of the Club reflected an interest in selected authors, national and local history, classical history, musical performances and current cultural and newsworthy events. For example in 1893 a typical meeting agendas would contain papers on Henry Wadsworth Longfellow, Hawaii, Brook Farm, Miss Louisa May Alcott and “Education of Women 100 years Ago.” Within the first year of the Club’s existence, detailed minute books became the norm and an annual agenda or program developed. The WLC collection contains a near complete set of meeting minutes from 1892 until 1995 and a comprehensive collection of yearly programs from 1983-1967 which members took great care to publish each year. Mrs. Currie brought together a group of women with a shared interest in literature and history, who wanted to pursue that interest in a formal and structured manner. She was well educated and influenced at an early age by her tutor and mentor William Kirby, local historian, writer and newspaper editor from Niagara-on-the-Lake. While Currie’s private education influenced her love of literature and history, the Club movement of the 1890’s offered a more public forum for her to share knowledge and learning with other women. Mrs. Currie was the wife of St. Catharines lawyer, James G. Currie, who also served as a Member of Parliament for the county of Lincoln. Mrs. W.H. McClive, who was also married to a St. Catharines lawyer, worked closely with Currie and they began research into the possibility of a literary Club in St. Catharines. Currie corresponded with a variety of literary Clubs across North America before she and Mrs.McClive tagged onto the momentum of the Club movement and published “A Clarion call for Women of St. Catharines To Form a Literary Club” in the local paper The St. Catharines Evening Journal. in 1892 and asked like Clubs to publish the news of their new Club. The early years of the WLC set the foundation of how the Club meetings and events would unfold for the next 80 plus years. Photos and minutes from the first ten years reveal an excitement and interest in organized Club outings. One particular event, an annual pilgrimage to the homestead of Laura Secord, became a yearly celebration for the Club. Club President, Mrs. Currie’s own personal work on Laura Secord amplified the Club’s interest in the ‘heroine of 1812’ and she allocated the profits from her publication on Secord in order to create a commemorative plaque/monument in the name of Laura Secord. The Club celebrated this event with a regular pilgrimage to this site. The connection felt by Club members and this memorial would continue until the Club’s last meetings. The majority of members in the early years were of the upper middle classes in the growing city of St. Catharines. Many of the charter members were the wives of merchants, business men, lawyers, doctors, even a hatter. Furthermore, the position of president was most often held by a woman with a comprehensive list of interests. This is particularly the case in Isabel Brighty McComb (1876-1941). Brighty who became a member in 1903, became Club president in 1932 and stayed in her post until her death in 1941. Similar to Mrs. Currie, Brighty was a local historian and published 2 booklets on local history. Her obituary indicates her position in the community as an author and involved community member committed to lifetime memberships in the Imperial Order of Daughters of Empire, I.O.D.E., the National Organization of Women, N.O.W. and the United Empire Loyalist Society, as well as the WLC. She was a locally known ‘teacher of elocution’ and a devoted researcher of Upper Canadian history. In a Club scrapbook dedicated to her, the biographical sketch illustrates the professionalism surrounding Brighty. There is very little personal history mentioned and the focus is on her literary works, her published essay, booklets and poetry. This professional focus, evident in both her obituary and the scrapbook, illustrate the diversity of these women, especially in their roles outside of the home. The WLC collection contains a vast array of essay, lectures clippings and scrapbooks from past meetings. Organized predominantly by topic or author, the folders and scrapbooks offer a substantial amount of research opportunity in the literary history of Canada. The dates, scope of topics and authors covered offer historians an exciting opportunity to examine the consumption of particular literary trends, artists and topics within the context of a midsized industrial city in English Canada. This is especially important because the agenda adhered to by the Club was bent on promoting, discussing and reviewing predominantly Canadian material. By connecting when and what these women were studying, scholars many gain a better understanding of the broader consumption and appreciation of literary and social trends of Canadian women outside of publishing and institutional records. Furthermore, because the agendas were set by and for these women, outside of the constructs of an institutionalized canon or agenda, they offer a fresh and on the ground examination of literary consumption over an extensive length of time.

Understanding space, place and leisure of women over 85 living in the community

There is an increase in the number of older adults 85 and over, who are choosing to live alone within the community. Moreover, older adults who live alone are reportedly spending an extensive amount of time alone within the home environment. In an effort to provide additional support and resources to older adults living in the community, a compliment of services are being offered through public and private organizations. These in-home supports focus on the instrumental or functional tasks of daily living, such as personal and rehabilitative care, nourishment, maintenance and upkeep of the home, as well as volunteer social visitation. However leisure resources and programs are not included among these services. Consequently, this creates a gap in leisure provision among this segment of the population. Throughout the life course, an individual's identity, role and purpose are developed and sustained through instrumental work roles in the formal and informal sector, as well as through personally meaningful leisure pastimes and experiences. Although roles shift post retirement, participation in instrumental and expressive activities can provide opportunities through which older adults are able to fulfill their need for agency (individuality and autonomy) and affiliation (social relatedness). Therefore barriers that inhibit instrumental or leisure experiences can negatively impact older adults' quality of life. This study explored the leisure lifestyles of four older adults, all of whom were over 85, lived alone within the community and were oriented to person, time and place. It became apparent that participants ordered their lives around a routine that consisted of instrumental, expressive and socially integrated tasks and activities. Moreover participants purposely chose to remain at home because their home environment facilitated freedom, choice and independence. As a result all four participants viewed their independence within the home as a critical determinant to their overall quality of life. Challenges associated with the home environment, participants' personal capacities and relationships were negotiated on a daily basis. Failure to positively adapt to these challenges inhibited meaningful engagement and personal fulfillment. Traditionally, leisure service delivery has been offered within institutions and through various community based venues. As a result leisure provision has been focused on the needs of the frail elderly who reside in institutions or the well elderly who are able to access leisure amenities within the community. However the growing number of older adults electing to live alone is on the rise. As individuals age the home becomes the preferred context for leisure experiences. If older adults are choosing to live alone, then both their instrumental and leisure needs must be addressed. As a result, it is imperative that leisure professionals extend the scope of service delivery to include home centered older adults.

Advocating recognition and redistribution in poverty alleviation programs in Ghana : an examination of state and NGO programs and policies

Abstract This thesis argues that poverty alleviation strategies and programs carried out by the government and Non Governmental Organizations in Ghana provide affirmative solutions to poverty. This is because, these intervention strategies have been influenced by conventional discourses on poverty that fail to adequately address non-economic issues of poverty such as powerlessness, marginalization and tmder-representation. The study is carried out in a two-pronged manner; first, it analyses state policies and strategies, particularly the Ghana Poverty Reduction Strategy (GPRS), on poverty alleviation and compares these to NGO programs, implemented with funds and support from external donor organizations. Specifically, I focus on how NGOs and the governnlent of Ghana negotiate autonomy and financial dependency with their funding donor-partners and how these affect their policies and programs. Findings from this study reveal that while external influences dominate poverty alleviation policies and strategies, NGOs and the government of Ghana exercise varying degrees of agency in navigating these issues. In particular, NGOs have been able to adapt their programs to the changing needs of donor markets, and are also actively engaged in re-orienting poverty back to the political domain through advocacy campaigns. Overall, rural communities in Ghana depend on charitable NGOs for the provision of essential social services, while the Ghanaian government depends on international donor assistance for its development projects.