998 resultados para UML (Informàtica)


Relevância:

20.00% 20.00%

Publicador:

Resumo:

El presente trabajo se enmarca en el proyecto de investigación denominado Políticas de inclusión y de abordaje de la heterogeneidad y la diferencia en el tramo de ingreso y primer año de carreras de Ingeniería de la Universidad Nacional de La Plata. Las perspectivas y prácticas de los actores intervinientes, perteneciente al Programa de Incentivos a los docentes investigadores, que se encuentra en etapa inicial. Nos proponemos aquí poner en discusión los lineamientos centrales del proyecto, las preguntas que guían nuestra indagación y una primera descripción del panorama empírico. Con ello buscamos plantear una serie de problemáticas y discusiones referidas a la implementación y desarrollo cotidiano de políticas universitarias que apuntan al tratamiento de la diferencia y la heterogeneidad entre los estudiantes. Nos referimos a estudiantes que ingresan y transitan los primeros años de algunas carreras de Ingeniería de la UNLP, caracterizados por su diversidad social, cultural y por trayectorias educativas disímiles y desiguales, producto de un sistema educativo fragmentado y estratificado en cuanto a la apropiación de conocimientos. Las políticas que nos proponemos analizar intervienen tanto en el plano curricular (seminarios integradores, talleres de escritura o y/o lectura, entre otros) como co-curricular (por ejemplo tutorías, clases de apoyo, horarios de consulta y otras estrategias no incluidas en los trayectos obligatorios). Tal como indica el título del proyecto, nos interesa hacer foco en las perspectivas y prácticas de los actores que intervienen en el día a día de la vida institucional y de la implementación de las políticas. Este interés está guiado por un objetivo central: comprender el modo en que los actores clave del sistema con funciones de gestión, docencia, asesoramiento, tutoría, entre otros, median el desarrollo de las políticas para gestionar las diferencias, resignificando las mismas, incluso reorientando su sentido.Así, nos proponemos abordar las diferentes estrategias, acciones y percepciones de los actores universitarios en el marco del ingreso y el primer año a las carreras de Ingeniería de las Facultades de Informática, Facultad de Ciencias Agrarias y Forestales y la Facultad de Ingeniería de la Universidad Nacional de La Plata (UNLP), para elucidar de qué modo instituciones específicas afrontan el problema de albergar a estudiantes diversos en lo social, cultural y educativo en el marco de la universidad de masas.Para esta presentación, tomaremos el caso de la Facultad de Informática de la UNLP, en una primera aproximación a su historia, características particulares y cultura institucional.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En este trabajo presentamos algunos avances de una investigación orientada a comprender cómo inciden las perspectivas de actores en el moldeamiento de políticas y programas de abordaje de la heterogeneidad estudiantil implementados en el tramo inicial de la Facultad de Informática de la Universidad Nacional de La Plata, en la que se dicta una carrera de Ingeniería en Computación . El relevamiento permitió reconocer quiénes tienen papeles protagónicos en la definición y desarrollo de estrategias de atención a la diversidad estudiantil. Nuestro trabajo pretende dar cuenta de las conceptualizaciones que los actores indagados construyen acerca de la heterogeneidad y la diferencia en el marco de la implementación de políticas institucionales. Presentaremos análisis basados en el relevamiento efectuado y en debates del campo educativo. Esbozaremos algunas conclusiones provisorias referidas a las perspectivas de la heterogeneidad y la diferencia prevalecientes entre los informantes clave y al contraste entre éstas y las culturas y tradiciones que orientan el trabajo en las aulas

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Three important goals in describing software design patterns are: generality, precision, and understandability. To address these goals, this paper presents an integrated approach to specifying patterns using Object-Z and UML. To achieve the generality goal, we adopt a role-based metamodeling approach to define patterns. With this approach, each pattern is defined as a pattern role model. To achieve precision, we formalize role concepts using Object-Z (a role metamodel) and use these concepts to define patterns (pattern role models). To achieve understandability, we represent the role metamodel and pattern role models visually using UML. Our pattern role models provide a precise basis for pattern-based model transformations or refactoring approaches.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping functions. As a consequence, we can provide a precise, consistent and complete transformation between them.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Em virtude da necessidade de inovação das empresas, gerada pelas transformações tecnológicas e pela velocidade da globalização, uma tendência mundial começa a surgir: o enfraquecimento de mão de obra no setor industrial e um considerável aumento no setor de serviços. Essa realidade pressupõe a criação de várias empresas, na sua maioria, de pequeno porte, o que dá especial importância a esse estudo, pois aliado à criação de novas empresas, o seu índice de mortalidade extremamente alto indica um problema a ser investigado. Portanto, a presente pesquisa procura sugerir estratégias de marketing eficientes como fatores amenizadores desse problema, e um caminho possível para a manutenção e o desenvolvimento das pequenas empresas. Criou-se, então, um modelo para a aplicação de estratégias de marketing, específico para empresas de pequeno porte. O modelo desenvolvido neste trabalho parte de uma revisão crítica da bibliografia referente às peculiaridades das pequenas empresas, como também das práticas de marketing, e busca correlacioná -las, através de uma pesquisa descritiva no formato de estudo de caso e determinando quais as condições para o uso do marketing nas pequenas empresas, quais as estratégias compatíveis e quais as mudanças necessárias à sua prática.