Aplicación del software AutoCAD en el diseño dimensional de elementos de máquinas

Tesis (Maestría en Ciencias de la Ingeniería Mecánica con Especialidad en Diseño Mecánico) UANL, 2000.

Control de software

Tesis (Maestría en Informática Administrativa) U.A.N.L.

Investigación de mercados con desarrollo sustentado en software y tecnología

Tesis (Maestría en Ciencias de la Administración con Especialidad en Relaciones Industriales)- UANL, 2001

El impacto de la omisión de métricas de calidad en el desarrollo de software por Irma Guadalupe Uicab Luna

Tesis (Maestro en Ciencias de la Administración con Especialidad en Sistemas) U.A.N.L.

Desarrollo de un Software educativo en historia del arte del movimiento muralista en México

[Tesis] ( Maestría en Artes con Especialidad en Educación por el Arte) U.A.N.L.

Aplicación de conceptos de desarrollo organizacional, planeación estratégica y reingeniería en el departamento de soporte técnico de una empresa comercializadora de software y hardware.

Tesis (Maestro en Ciencias de la Administración con Especialidad en Relaciones Industriales) UANL, 2010.

Some Additional Specification Tests for Generalized Method of Moments Estimators with Macro-Economic Applications Part I : Theory

In This Paper Several Additional Gmm Specification Tests Are Studied. a First Test Is a Chow-Type Test for Structural Parameter Stability of Gmm Estimates. the Test Is Inspired by the Fact That \"Taste and Technology\" Parameters Are Uncovered. the Second Set of Specification Tests Are Var Encompassing Tests. It Is Assumed That the Dgp Has a Finite Var Representation. the Moment Restrictions Which Are Suggested by Economic Theory and Exploited in the Gmm Procedure Represent One Possible Characterization of the Dgp. the Var Is a Different But Compatible Characterization of the Same Dgp. the Idea of the Var Encompassing Tests Is to Compare Parameter Estimates of the Euler Conditions and Var Representations of the Dgp Obtained Separately with Parameter Estimates of the Euler Conditions and Var Representations Obtained Jointly. There Are Several Ways to Construct Joint Systems Which Are Discussed in the Paper. Several Applications Are Also Discussed.

Variables críticas que influyen en la decisión para la selección de outsourcing de software, caso de las empresas en el área metropolitana de Monterrey.

Tesis (Doctor en Filosofía con Especialidad en Administración) UANL, 2011.

Valor del conocimiento como detonante de la competitividad y el desempeño económico en las empresas de servicios : el caso de empresas de software del estado de Nuevo León.

Tesis (Doctor en Filosofía con Especialidad en Administración) UANL, 2012.

Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.