989 resultados para Ada


Relevância:

10.00% 10.00%

Publicador:

Resumo:

UANL

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Tesis (Doctor en Filosofía con Especialidad en Psicología) UANL, 2010.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Tesis (Doctor en Filosofía con Orientación en Arquitectura y Asuntos urbanos) UANL, 2012.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Cette thèse a été effectuée en cotutelle entre l'Université Paris-Ouest-Nanterre-La Défense et l'Université de Montréal. Elle a été réalisée avec le logiciel LateX.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le Web représente actuellement un espace privilégié d’expression et d’activité pour plusieurs communautés, où pratiques communicationnelles et pratiques documentaires s’enrichissent mutuellement. Dans sa dimension visible ou invisible, le Web constitue aussi un réservoir documentaire planétaire caractérisé non seulement par l’abondance de l’information qui y circule, mais aussi par sa diversité, sa complexité et son caractère éphémère. Les projets d’archivage du Web en cours abordent pour beaucoup cette question du point de vue de la préservation des publications en ligne sans la considérer dans une perspective archivistique. Seuls quelques projets d’archivage du Web visent la préservation du Web organisationnel ou gouvernemental. La valeur archivistique du Web, notamment du Web organisationnel, ne semble pas être reconnue malgré un effort soutenu de certaines archives nationales à diffuser des politiques d’archivage du Web organisationnel. La présente thèse a pour but de développer une meilleure compréhension de la nature des archives Web et de documenter les pratiques actuelles d’archivage du Web organisationnel. Plus précisément, cette recherche vise à répondre aux trois questions suivantes : (1) Que recommandent en général les politiques d’archivage du Web organisationnel? (2) Quelles sont les principales caractéristiques des archives Web? (3) Quelles pratiques d’archivage du Web organisationnel sont mises en place dans des organisations au Québec? Pour répondre à ces questions, cette recherche exploratoire et descriptive a adopté une approche qualitative basée sur trois modes de collecte des données, à savoir : l’analyse d’un corpus de 55 politiques et documents complémentaires relatifs à l’archivage du Web organisationnel; l’observation de 11 sites Web publics d’organismes au Québec de même que l’observation d’un échantillon de 737 documents produits par ces systèmes Web; et, enfin, des entrevues avec 21 participants impliqués dans la gestion et l’archivage de ces sites Web. Les résultats de recherche démontrent que les sites Web étudiés sont le produit de la conduite des activités en ligne d’une organisation et documentent, en même temps, les objectifs et les manifestations de sa présence sur le Web. De nouveaux types de documents propres au Web organisationnel ont pu être identifiés. Les documents qui ont migré sur le Web ont acquis un autre contexte d’usage et de nouvelles caractéristiques. Les méthodes de gestion actuelles doivent prendre en considération les propriétés des documents dans un environnement Web. Alors que certains sites d’étude n’archivent pas leur site Web public, d’autres s’y investissent. Toutefois les choix établis ne correspondent pas toujours aux recommandations proposées dans les politiques d’archivage du Web analysées et ne garantissent pas la pérennité des archives Web ni leur exploitabilité à long terme. Ce constat nous a amenée à proposer une politique type adaptée aux caractéristiques des archives Web. Ce modèle décrit les composantes essentielles d’une politique pour l’archivage des sites Web ainsi qu’un éventail des mesures que pourrait mettre en place l’organisation en fonction des résultats d’une analyse des risques associés à l’usage de son site Web public dans la conduite de ses affaires.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Se presenta experiencia educativa que propone una reuni??n quincenal entre el profesorado para organizar las actividades del centro. Se realiza en el CEIP Dolores Romero Pozo en Cenes de la Vega, Granada. Los objetivos son: organizar actividades l??dicas para 'gran grupo'; hacer part??cipes a todos los miembros de la comunidad educativa de esas actividades; crear un clima facilitador de la convivencia.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Unidad did??ctica dise??ada para el tercer ciclo de ense??anza Primaria y primero de Secundaria sobre el Parque Regional de Sierra Espu??a, ??nico espacio natural de la regi??n incluido dentro del programa de la UE conocido como CADISPA (conservaci??n y desarrollo de ??reas escasamente pobladas). Se trata de dos publicaciones, por un lado el libro del profesor, realizado para la orientaci??n de ??ste en su labor docente y la carpeta del alumno compuesta por un conjunto de actividades para descubrir Sierra Espu??a, conocerla, entenderla y colaborar en su conservaci??n. El desarrollo de esta unidad did??ctica est?? previsto para realizarlo durante tres semanas. Los planteamientos metodol??gicos se traducen en la aplicaci??n de m??todos activos y se ha integrado la mayor parte de los objetivos y contenidos de ??reas en un enfoque globalizador, siendo el eje de la unidad el Conocimiento del Medio.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Material para poner en práctica dentro de un sistema abierto de enseñanza del inglés a distancia. Cada uno de los capítulos ofrece formas variadas de actividades tanto de autoevaluación como de heteroevaluación, con las que el profesor-tutor podrá tener conocimiento de cómo se están desarrollando las lecturas y ofrecer la orientación necesaria. Se pretende adaptar el material didáctico que aportan las lecturas graduadas en inglés a este tipo de enseñanza, incluyendo para tal finalidad las soluciones a las actividades propuestas. Los apartados que comprenden cada uno de los capítulos son: desarrollo didáctico, donde se incluyen los objetivos, contenidos y actividades específicas, enfocado para ser utilizado como guía didáctica por el profesor-tutor, un texto concreto y una hoja de trabajo para el alumno para la realización de las actividades. La finalidad del trabajo es desarrollar cada capítulo como una unidad didáctica.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Esta gu??a est?? elaborada con un objetivo prioritario: ayudar al educador a explicar a los alumnos de Secundaria qu?? es el Sida, c??mo se transmite y cu??les son las medidas de prevenci??n. Se parte de una explicaci??n sobre el uso concreto de la gu??a, una informaci??n b??sica dividida en diferentes unidades espec??ficas de informaci??n y un total de 39 actividades en las que se especifica los objetivos, el material, tiempo y m??todo. Como complemento para la prevenci??n se incluyen apartados referidos a la evaluaci??n y normas higienico-sanitarias. La gu??a va acompa??ada de una carpeta con 34 diapositivas y un folleto explicativo que puede utilizarse independientemente en actividades informativas. Se da libertad al educador para su utilizaci??n en funci??n del tipo de programa que haya dise??ado previamente.