Ingeniería software

UANL

Métricas de software en lenguajes de cuarta generación José Luis Martínez Flores

Tesis (Maestría en Ciencias de la Administración, con especialidad en Sistemas) U.A.N.L.

El impacto de la enseñanza de métricas de software en la implementación de un sistema computacional por Edgar Danilo Domínguez Vera

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

Propuesta didáctica utilización del software como recurso para mejorar el rendimiento de un curso de física moderna [por] Jorge Enrique Figueroa Martínez

Tesis (Maestría en la Enseñanza de las Ciencias con Especialidad en Física) U.A.N.L.

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.

Elementos of geometry and trigonometry : from the works of A.M. Legendre, adapted to the course of mathematical instruction in the United State

UANL

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.

Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.