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.

Littératie et autogestion du diabète : impact à court terme d’un programme de formation de 4 jours versus un programme de 2 jours sur le développement des compétences chez les patients diabétiques de type 2

Réalisé en collaboration avec l'équipe de l'Unité de jour de diabète de l'Hôtel-Dieu du CHUM: Hortensia Mircescu M.D., Françoise Desrochers, Michelle Messier et Stéphanie Chanel Lefort.

Compliance measurement-guided medication management programs in hypertension : a systematic review

Objectif principal: Il n’est pas démontré que les interventions visant à maîtriser voire modérer la médicamentation de patients atteints d’hypertension peuvent améliorer leur gestion de la maladie. Cette revue systématique propose d’évaluer les programmes de gestion contrôlée de la médicamentation pour l’hypertension, en s’appuyant sur la mesure de l’observance des traitements par les patients (CMGM). Design: Revue systématique. Sources de données: MEDLINE, EMBASE, CENTRAL, résumés de conférences internationales sur l’hypertension et bibliographies des articles pertinents. Méthodes: Des essais contrôlés randomisés (ECR) et des études observationnelles (EO) ont été évalués par 2 réviseurs indépendants. L’évaluation de la qualité (de ce matériel) a été réalisée avec l’aide de l’outil de Cochrane de mesure du risque de biais, et a été estimée selon une échelle à quatre niveaux de qualité Une synthèse narrative des données a été effectuée en raison de l'hétérogénéité importante des études. Résultats: 13 études (8 ECR, 5 EO) de 2150 patients hypertendus ont été prises en compte. Parmi elles, 5 études de CMGM avec l’utilisation de dispositifs électroniques comme seule intervention ont relevé une diminution de la tension artérielle (TA), qui pourrait cependant être expliquée par les biais de mesure. L’amélioration à court terme de la TA sous CMGM dans les interventions complexes a été révélée dans 4 études à qualité faible ou modérée. Dans 4 autres études sur les soins intégrés de qualité supérieure, il n'a pas été possible de distinguer l'impact de la composante CMGM, celle-ci pouvant être compromise par des traitements médicamenteux. L’ensemble des études semble par ailleurs montrer qu’un feed-back régulier au médecin traitant peut être un élément essentiel d’efficacité des traitements CMGM, et peut être facilement assuré par une infirmière ou un pharmacien, grâce à des outils de communication appropriés. Conclusions: Aucune preuve convaincante de l'efficacité des traitements CMGM comme technologie de la santé n’a été établie en raison de designs non-optimaux des études identifiées et des ualités méthodologiques insatisfaisantes de celles-ci. Les recherches futures devraient : suivre les normes de qualité approuvées et les recommandations cliniques actuelles pour le traitement de l'hypertension, inclure des groupes spécifiques de patients avec des problèmes d’attachement aux traitements, et considérer les résultats cliniques et économiques de l'organisation de soins ainsi que les observations rapportées par les patients.

Follow-up of three large community-based programs to reduce anaemia among children 24-59 months in Ghana, Malawi and Tanzania

L'anémie de l'enfant reste un problème d'importance pour la santé mondiale, malgré les décennies de recherche visant à comprendre son étiologie et à développer des interventions efficaces pour réduire sa prévalence et ses conséquences. Bien que les facteurs de risque individuels de l'anémie soient connus, y compris les facteurs liés à la malnutrition et à la morbidité, l'interaction entre lesdits facteurs est moins documentée dans des contextes où les enfants sont fréquemment exposés à plusieurs facteurs en même temps. Cette étude vise à documenter les efforts de lutte contre l'anémie du programme MICAH qui a été mis en oeuvre au Ghana, au Malawi et en Tanzanie. Ensuite, en utilisant les données relatives à la fois au processus et à l'évaluation colligées au cours du programme, elle vise à mieux comprendre les facteurs de risque d'anémie chez les jeunes enfants dans ces contextes et à comprendre comment les relations entre ces facteurs peuvent avoir changé au fil du temps lors de l'intervention. Spécifiquement, cette étude vérifie s‘il y a des preuves d'une réduction de la vulnérabilité des enfants aux facteurs de risque associés à l'anémie dans chaque contexte. Un examen de la documentation a été réalisé afin de caractériser le contexte du programme et des interventions, leur l'intensité et étendue. Les données transversales sur la nutrition et l'état de santé des enfants âgés de 24 à 59 mois (N = 2405) obtenues en 2000 et 2004 à partir des enquêtes d'évaluation du programme MICAH au Ghana, au Malawi et en Tanzanie, ont été utilisées pour décrire la prévalence de l'anémie. Les modèles polynomiaux de régression logistique et linéaire ont été utilisés pour estimer les risques d'anémie légère et d'anémie modérée / sévère et les niveaux d‘hémoglobine associés à des groupes de variables. Les estimations du risque attribuable à une population (RAP) ont aussi été calculées. Une anémie (Hb <110 g/L) a touché au moins 60% des enfants dans les trois pays; l'anémie modérée / sévère (<100 g/L) constituait la majorité des cas. Une forte diminution de l'anémie a été observée entre 2000 et 2004 au Ghana, mais seulement une légère baisse au Malawi et en Tanzanie. Le risque d'anémie modérée / sévère était associé au retard de croissance chez les enfants du Ghana (OR 2,68, IC 95% 1,70-4,23) et du Malawi (OR 1,71; 1,29-2,27) mais pas de la Tanzanie (OR 1,29; 0,87- 1,92). Le paludisme et les maladies récentes étaient associées à une hémoglobine plus basse. Une atténuation de cette association en 2004 a été observée seulement au Malawi pour le paludisme et au Ghana pour les maladies récentes. Le risque d'anémie modérée / sévère était 44% moindre chez les enfants âgés de 48 à 59 mois comparativement aux enfants de 24 à 35 mois dans les trois pays et cela n'a pas changé entre 2000 et 2004. Les RAP estimés ont montré qu‘environ un cinquième des cas d‘anémie modérée à sévère était attribuable au retard de croissance au Ghana et Malawi, mais pas en Tanzanie. Des RAP moindres et dépendants des contextes ont été trouvés pour le paludisme et les maladies récentes. Dans ces zones d‘intervention intégrées de santé et de nutrition la relation de certains facteurs de risque à l'anémie se modifia avec le temps. Le retard de croissance est resté toutefois un facteur de risque indépendant et non mitigé de l'anémie. Une réduction efficace des causes de la malnutrition chronique est nécessaire afin de réduire la vulnérabilité des enfants et de garantir un impact maximum des programmes de lutte contre l'anémie. Une mitigation de l'impact du paludisme peut par contre être visée dans les régions endémiques.

Using Google Analytics to evaluate an email information literacy program for medical and dental students

Objectives: An email information literacy program has been effective for over a decade at Université de Montréal’s Health Library. Students periodically receive messages highlighting the content of guides on the library’s website. We wish to evaluate, using Google Analytics, the effects of the program on specific webpage statistics. Using the data collected, we may pinpoint popular guides as well as others that need improvement. Methods: In the program, first and second-year medical (MD) or dental (DMD) students receive eight bi-monthly email messages. The DMD mailing list also includes graduate students and professors. Enrollment to the program is optional for MDs, but mandatory for DMDs. Google Analytics (GA) profiles have been configured for the libraries websites to collect visitor statistics since June 2009. The GA Links Builder was used to design unique links specifically associated with the originating emails. This approach allowed us to gather information on guide usage, such as the visitor’s program of study, duration of page viewing, number of pages viewed per visit, as well as browsing data. We also followed the evolution of clicks on GA unique links over time, as we believed that users may keep the library's emails and refer to them to access specific information. Results: The proportion of students who actually clicked the email links was, on average, less than 5%. MD and DMD students behaved differently regarding guide views, number of pages visited and length of time on the site. The CINAHL guide was the most visited for DMD students whereas MD students consulted the Pharmaceutical information guide most often. We noted that some students visited referred guides several weeks after receiving messages, thus keeping them for future reference; browsing to additional pages on the library website was also frequent. Conclusion: The mitigated success of the program prompted us to directly survey students on the format, frequency and usefulness of messages. The information gathered from GA links as well as from the survey will allow us to redesign our web content and modify our email information literacy program so that messages are more attractive, timely and useful for students.

Integrating information literacy in health sciences curricula: a case study from Québec

Objective: To portray an information literacy programme demonstrating a high level of integration in health sciences curricula and a teaching orientation aiming towards the development of lifelong learning skills. The setting is a French-speaking North American university. Methods: The offering includes standard workshops such as MEDLINE searching and specialised sessions such as pharmaceutical patents searching. A contribution to an international teaching collaboration in Haiti where workshops had to be thoroughly adapted to the clientele is also presented. Online guides addressing information literacy topics complement the programme. Results and evaluation: A small team of librarians and technicians taught 276 hours of library instruction during the 2011-2012 academic year. Methods used for evaluating information skills include scoring features of literature searches and user satisfaction surveys. Discussion: Privileged contacts between librarians and faculty resulting from embedded library instruction as well as from active participation in library committees result in a growing reputation of library services across academic departments and bring forth collaboration opportunities. Sustainability and evolution of the library instruction programme is warranted by frequent communication with partners in the clinical field, active involvement in academic networks and health library associations, and reflective professional strategies.

Les inégalités sociales dans le dépistage du cancer du sein, quand le système s'en mêle...

Réalisé en cotutelle avec Dr. Béatrice Godard, Professeure titulaire à l'Université de Montréal.

Santé reproductive et santé mentale des femmes qui ont subi la violence sexuelle en temps de conflit armé : cas de la République Démocratique du Congo

Problématique : Depuis bientôt deux décennies, la République Démocratique du Congo (RDC) est le territoire d’un conflit armé qui, selon l’International Rescue Commite, aurait occasionné plus de 3 millions de décès et autant de déplacés internes. Plusieurs rapports font également cas des nombreux actes de violence sexuelle (les viols, les mutilations, l’esclavage, l’exploitation sexuelle, etc.) commis envers les filles, les femmes et dans une moindre ampleur les hommes. S’il existe un consensus sur le côté barbare des actes de violence sexuelle liés aux conflits armés, rares sont les études qui ont évalué leurs conséquences sur la santé reproductive des survivantes surtout en termes d’issues telles que les fistules, les douleurs pelviennes chroniques (DPC), le désir de rapports sexuels, le désir d’enfant et le désir d’interruption de la grossesse issue de tels actes. Par ailleurs, même si la santé mentale des populations en zones de conflit représente un sujet d’intérêt, l’impact spécifique de la violence sexuelle liée au conflit sur la santé mentale des survivantes a été peu étudié. De plus, ces travaux s’intéressent aux effets de la violence sexuelle liée au conflit sur la santé mentale et sur la santé reproductive séparément et ce, sans évaluer les relations qui peuvent exister entre ces deux dimensions qui, pourtant, s’influencent mutuellement. Aussi, l’impact social de la violence sexuelle liée au conflit, ainsi que la contribution des normes socioculturelles aux difficultés que rencontrent les survivantes, a été peu étudié. Pourtant, l’impact social de la violence sexuelle liée au conflit peut permettre de mieux comprendre comment l’expérience d’un tel acte peut affecter la santé mentale. Enfin, aucune étude n’a évalué les effets de la violence sexuelle liée au conflit en la comparant à la violence sexuelle non liée au conflit (VSNLC). Pourtant, il est reconnu qu’à de nombreux égards, la violence sexuelle liée au conflit est bien différente de la VSNLC puisqu’elle est perpétrée avec l’intention de créer le maximum d’effets adverses pour la victime et sa communauté. Objectifs : Les objectifs poursuivis dans cette thèse visent à : 1) évaluer les effets de la violence sexuelle liée au conflit sur la santé reproductive; 2) évaluer les effets de la violence sexuelle liée au conflit sur la santé mentale en termes de sévérité des symptômes de stress posttraumatique (PTSD), de sévérité des symptômes de détresse psychologique et de probabilité de souffrir de troubles mentaux communs (TMC); 3) évaluer la contribution des troubles physiques de santé reproductive, en particulier les fistules et les douleurs pelviennes chroniques (DPC), aux effets de la violence sexuelle liée au conflit sur la santé mentale; 4) évaluer la contribution de l’état de santé mentale aux effets de la violence sexuelle liée au conflit sur le désir de rapports sexuels et le désir d’enfant; et 5) étudier l’impact de la violence sexuelle liée au conflit sur le plan social ainsi que la contribution des normes socioculturelles à ses effets adverses et la façon dont ces effets pourraient à leur tour influencer la santé des femmes et leur relation avec l’enfant issu de l’acte de violence sexuelle subi. Méthodologie : Un devis mixte de nature convergente a permis de collecter des données quantitatives auprès de l’ensemble des participantes (étude transversale) et des données qualitatives sur un nombre plus restreint de femmes (étude phénoménologique). Une étude transversale populationnelle a été conduite entre juillet et août 2012 auprès de 320 femmes âgées de 15 à 45 ans habitant quatre (4) quartiers de la ville de Goma située dans la province du Nord-Kivu en RDC. Les femmes ont été recrutées à travers des annonces faites par les responsables des programmes d’alphabétisation et de résolution de conflits implantés dans les différents quartiers par le Collectif Alpha Ujuvi, une ONG locale. Les issues de santé reproductive évaluées sont : les fistules, les DPC, le désir de rapports sexuels, le désir d’enfant et le désir d’interruption de la grossesse issue d’un acte de violence sexuelle. Les variables de santé mentale d’intérêt sont : la sévérité des symptômes de détresse psychologique, la sévérité des symptômes de PTSD et la probabilité de souffrir de TMC. Pour les analyses, l’exposition a été définie en trois (3) catégories selon l’expérience passée de violence sexuelle : les femmes qui ont vécu des actes de violence sexuelle liée au conflit, celles qui ont vécu des actes de VSNLC et celles qui ont déclaré n’avoir jamais subi d’acte de violence sexuelle au cours de leur vie. Les variables de confusion potentielles mesurées sont : l’âge, le statut matrimonial, le nombre d’enfants, le niveau d’éducation le plus élevé atteint et l’occupation professionnelle. Les mesures d’associations ont été évaluées à l’aide de modèles de régressions logistiques et linéaires simples et multiples. Des tests d’interaction multiplicative et des analyses stratifiées ont été également conduits pour évaluer l’effet potentiellement modificateur de quelques variables (âge, statut matrimonial, nombre d’enfants) sur la relation entre la violence sexuelle et les variables de santé reproductive ou de santé mentale. Ces tests ont également été utilisés pour évaluer la contribution d’une variable de santé reproductive ou de santé mentale aux effets de la violence sexuelle sur l’autre dimension de la santé d’intérêt dans cette étude. Une étude phénoménologique a été conduite dans le même intervalle de temps auprès de 12 femmes ayant participé à la partie quantitative de l’étude qui ont vécu la violence sexuelle liée au conflit et ont eu un enfant issu d’une agression sexuelle. Les sujets explorés incluent : la perception de l’acte de violence sexuelle liée au conflit vécu et de la vie quotidienne par les victimes; la perception de l’acte de violence sexuelle liée au conflit par la famille et l’entourage et leurs réactions après l’agression; la perception de la grossesse issue de l’acte de violence sexuelle par la victime; la perception de l’enfant issu de la violence sexuelle liée au conflit par la victime ainsi que son entourage; les conséquences sociales de l’expérience de violence sexuelle liée au conflit et les besoins des victimes pour leur réhabilitation. Une analyse thématique avec un codage ouvert a permis de ressortir les thèmes clés des récits des participantes. Par la suite, l’approche de théorisation ancrée a été utilisée pour induire un cadre décrivant l’impact social de l’expérience de la violence sexuelle liée au conflit et les facteurs y contribuant. Résultats : Le premier article de cette thèse montre que, comparées aux femmes qui n’ont jamais vécu un acte de violence sexuelle, celles qui ont vécu la violence sexuelle liée au conflit ont une probabilité plus élevée d’avoir une fistule (OR=11.1, IC 95% [3.1-39.3]), des DPC (OR=5.1, IC 95% [2.4-10.9]), de rapporter une absence de désir de rapports sexuels (OR=3.5, IC 95% [1.7-6.9]) et une absence de désir d’enfant (OR=3.5, IC 95% [1.6-7.8]). Comparées aux mêmes femmes, celles qui ont vécu la VSNLC ont plus de probabilité de souffrir de DPC (OR=2.3, IC 95% [0.95-5.8]) et de rapporter une absence de désir d’enfant (OR=2.7, IC 95% [1.1-6.5]). Comparées aux femmes qui ont vécu la VSNLC, celles qui ont vécu la violence sexuelle liée au conflit ont également une probabilité plus élevée d’avoir une fistule (OR=9.5, IC 95% [1.6-56.4]), des DPC (OR=2.2, IC 95% [0.8-5.7]) et de rapporter une absence de désir de rapports sexuels (OR=2.5, IC 95% [1.1-6.1]). En ce qui concerne les grossesses issues des viols, comparées aux femmes qui ont vécu la VSNLC, celles qui ont vécu la violence sexuelle liée au conflit sont plus nombreuses à souhaiter avorter (55% vs 25% pour celles qui ont vécu la VSNLC). Elles sont également plus nombreuses à déclarer qu’elles auraient avorté si les soins appropriés étaient accessibles (39% vs 21% pour celles qui ont vécu la VSNLC). Le second article montre qu’en comparaison aux femmes qui n’ont jamais subi de violence sexuelle, celles qui ont vécu la violence sexuelle liée au conflit présentent des symptômes de détresse psychologique (moyennes de score respectives 8.6 et 12.6, p<0.0001) et des symptômes de PTSD (moyennes de score respectives 2.2 et 2.6, p<0.0001) plus sévères et ont plus de probabilité d’être dépistées comme un cas de TMC (30% vs 76%, p<0.0001). De plus, comparées aux femmes qui ont vécu la VSNLC, celles qui ont vécu la violence sexuelle liée au conflit présentent des symptômes de détresse psychologique (moyennes de score respectives 10.1 et 12.6, p<0.0001) et des symptômes de PTSD (moyennes de score respectives 2.2 et 2.6, p<0.0001) plus sévères et ont plus de probabilité d’être dépistées comme un cas de TMC (48% vs 76%, p<0.001). Les valeurs minimales et maximales de score de sévérité de symptômes de détresse psychologique sont de 0/12 pour les femmes qui n’ont jamais vécu de violence sexuelle, 4/19 pour celles qui ont vécu la VSNLC et de 5/18 pour celles qui ont vécu la violence sexuelle liée au confit. En ce qui concerne la sévérité des symptômes de PTSD, les scores minimal et maximal sont respectivement de 0.36/3.22, 0.41/3.41 et 0.95/3.45. Le fait d’avoir développé une fistule ou de souffrir de DPC après l’agression sexuelle augmente la force des associations entre la violence sexuelle et la santé mentale. Les femmes qui ont subi la violence sexuelle liée au conflit et qui ont souffert de fistules présentent des symptômes de détresse psychologique et de PTSD plus sévères comparées aux femmes qui ont subi la violence sexuelle liée au conflit mais n’ont pas de fistules. Les résultats sont similaires pour les femmes qui ont subi la violence sexuelle liée au conflit et qui souffrent de DPC. Des résultats complémentaires suggèrent que le statut matrimonial modifie l’effet de la violence sexuelle sur la sévérité des symptômes de détresse psychologique, les femmes divorcées/séparées et les veuves étant celles qui ont les moyennes de score les plus élevées (respectivement 11.3 et 12.1 vs 9.26 et 9.49 pour les célibataires et les mariées). Par ailleurs, la sévérité des symptômes de détresse psychologique modifie l’association entre la violence sexuelle liée au conflit et le désir d’enfant. Le troisième article montre que, sur le plan social, l’expérience de violence sexuelle liée au conflit entraine également de lourdes conséquences. Toutes celles qui ont vécu ce type d’acte décrivent leur vie de survivante et de mère d’un enfant issu d’une agression sexuelle comme difficile, oppressive, faite de peines et de soucis et sans valeur. Plusieurs facteurs influencent la description que les victimes de violence sexuelle liée au conflit font de leur vie quotidienne, et ils sont tous reliés aux normes socioculturelles qui font de la femme une citoyenne de seconde zone, ne font aucune différence entre un viol et un adultère, condamnent les victimes de violence sexuelle plutôt que leurs agresseurs, rejettent et stigmatisent les victimes de tels actes ainsi que l’enfant qui en est issu. En réponse au rejet et au manque de considération, les femmes victimes de violence sexuelle liée au conflit ont tendance à s’isoler pour éviter les insultes et à garder le silence sur leur agression. En plus, les réactions de leur entourage/communauté ont tendance à leur faire revivre l’agression sexuelle subie, autant d’éléments qui nuisent davantage à leur réhabilitation. D’autres résultats démontrent que les enfants issus d’actes de violence sexuelle liée au conflit sont également rejetés par leur communauté, leur famille adoptive ainsi que le conjoint de leur mère, ce qui affecte davantage les survivantes. Avec leurs mères, les relations développées varient entre le rejet, la résignation et l’affection. Néanmoins, ces relations sont plus souvent tendues probablement à cause de la stigmatisation de la communauté. Conclusion: La violence sexuelle liée au conflit a des effets adverses sur la santé reproductive, la santé mentale mais également sur le plan social. Ces trois dimensions sont loin d’être isolées puisque cette étude a permis de démontrer qu’elles s’influencent mutuellement. Ceci suggère que la prise en charge des victimes de violence sexuelle liée au conflit ne doit pas se concentrer sur un aspect ou un autre de la santé mais prendre en compte l’ensemble des dimensions de la femme pour offrir une aide holistique, plus adaptée et qui sera plus efficace à long terme.

Insights from youth workers regarding young people's engagement in out-of-school-time youth development programs

L’objectif de cette étude exploratoire était de mieux comprendre, du point de vue des animateurs/animatrices qui oeuvrent auprès des jeunes, le phénomène de l’engagement des jeunes dans les programmes parascolaires. Des entretiens qualitatifs ont été entrepris à cette fin avec six animateur(trices). Plusieurs obstacles à l’engagement ont été identifiés, la plupart étant extérieurs aux jeunes. Quelques actions et attitudes spécifiques des animateur(trices) ont été relevées comme importantes pour aider les jeunes à surmonter ces obstacles. De plus, la structure et le contenu du programme, ainsi que l’environnement de groupe, jouent des rôles primordiaux. Les dimensions soulevées par les animateur(trices) ont permis d’enrichir et rendre plus holistique un modèle d’engagement qui a été développé à partir d’une recension des écrits dans ce domaine. Finalement, les implications pour la formation des animateurs(trices) et pour la structure des programmes pour les jeunes ont été explorées.

The effectiveness of scoliosis screening programs: methods for systematic review and expert panel recommendations formulation

Background: Literature on scoliosis screening is vast, however because of the observational nature of available data and methodological flaws, data interpretation is often complex, leading to incomplete and sometimes, somewhat misleading conclusions. The need to propose a set of methods for critical appraisal of the literature about scoliosis screening, a comprehensive summary and rating of the available evidence appeared essential. METHODS: To address these gaps, the study aims were: i) To propose a framework for the assessment of published studies on scoliosis screening effectiveness; ii) To suggest specific questions to be answered on screening effectiveness instead of trying to reach a global position for or against the programs; iii) To contextualize the knowledge through expert panel consultation and meaningful recommendations. The general methodological approach proceeds through the following steps: Elaboration of the conceptual framework; Formulation of the review questions; Identification of the criteria for the review; Selection of the studies; Critical assessment of the studies; Results synthesis; Formulation and grading of recommendations in response to the questions. This plan follows at best GRADE Group (Grades of Recommendation, Assessment, Development and Evaluation) requirements for systematic reviews, assessing quality of evidence and grading the strength of recommendations. CONCLUSIONS: In this article, the methods developed in support of this work are presented since they may be of some interest for similar reviews in scoliosis and orthopaedic fields.

IR: Knowledge Creation, Knowledge Management and Knowledge Dissemination

Open access iiiovemerit and open source software movement plays an important role in creation of knowledge, knowledge management and knowledge dissemination. Scholarly communication and publishing are increasingly taking place in the electronic environment. With a growing proportion of the scholarly record now existing only in digital format, serious issues regarding access and preservation are being raised that are central to future scholarship. Institutional Repositories provide access to past. present and future scholarly literature and research documentation; ensures its preservation; assists users in discovery and use; and offers educational programs to enable users to develop lifelong literacy. This paper explores these aspects on how IR of Cochin University of Science & Technology supports scientific community for knowledge creation. knowledge Management, and knowledge dissemination.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code