Copertina

Métodos formales aplicados a la industria del software

Fuente: Universidad Tecnológica de la Mixteca

Uno de las ideas más difundidas sobre el uso de métodos formales es su nula aplicación en la industria sotware. Si bien es cierto que su adopción ha sido lenta, existen casos de importantes empresas que han tenido éxito al aplicarlos en proyectos reales. En el presente artículo se mencionan algunos...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	Fernández y Fernández, Carlos Alberto
Natura:	article
Lingua:	spagnolo
Pubblicazione:	Universidad Tecnológica de la Mixteca 2011
Soggetti:	métodos formales, industria, software 7 INGENIERIA Y TECNOLOGIA
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Impacto del software libre en la Universidad Tecnológica de la Mixteca
di: Cid de León, Vázquez, Carlos
Pubblicazione: (2018)

Propuesta de métricas para los requisitos software en la etapa de elicitación
di: Reyes Sánchez, Myriam Karenina
Pubblicazione: (2015)

Modelado Visual con UML
di: Fernández y Fernández, Carlos Alberto
Pubblicazione: (2002)

Apuntes para un aprendiz de programador: App Inventor, programación en dispositivos móviles al alcance de todos
di: Fernández y Fernández, Carlos Alberto, et al.
Pubblicazione: (2011)

Diagnóstico en el proceso de gestión de requisitos para iniciar la mejora del entorno de trabajo en una pyme desarrolladora de software en Huajuapan de León, Oaxaca
di: Toledo Orozco, Raul
Pubblicazione: (2018)

Simulación de temperatura por elemento finito en dos dimensiones mediante software libre y su comparación con software comercial
di: Flores Cano, Leonardo
Pubblicazione: (2018)

Propuesta de un enfoque colaborativo para la enseñanza-aprendizaje en el desarrollo de iniciativas de mejora del proceso software en cursos de posgrado
di: Perez Cruz, Carlos Alejandro
Pubblicazione: (2014)

El enfoque GBL en la enseñanza de la ingeniería de software a nivel universitario: una revisión sistemática de literatura sobre el fortalecimiento de las habilidades suaves
di: Méndez Vázquez, Francisco Javier
Pubblicazione: (2018)

Modelo de proceso como guía para la etapa de elicitación de requisitos, implementado en software libre
di: Martínez Cortes, Hugo Enrique, et al.
Pubblicazione: (2018)

Verificación automática de métricas para código en proyectos de software diseñados con el paradigma orientados a objetos
di: Romero Villagómez, Ricardo
Pubblicazione: (2017)

Explorando tres niveles de paralelismo empleando software libre y freeware en computadoras personales multicore. El caso de Linux versus Windows
di: Arellano Pimentel, J. Jesús
Pubblicazione: (2018)

Ciencia, datos y prácticas abiertas
di: Miranda Díaz, Germán Alejandro
Pubblicazione: (2018)

Solución de problemas vía software de cómputo simbólico, gráfico y numérico
di: Lemus Fuentes, Enrique
Pubblicazione: (2000)

Diseño y modelado de una arquitectura hardware del descriptor DAISY y su implementación en lógica reconfigurable
di: Santos Villalobos, Alberto de Jesús
Pubblicazione: (2020)

Detección simultánea, por medio de CNN, de múltiples robots NAO dentro de un campo de fútbol, con aplicación a RoboCup
di: Zavala Salas, Oscar Alberto
Pubblicazione: (2020)

Metamodelado para la definición e implantación de los procesos de planificación y control de proyectos en pequeños equipos de desarrollo
di: Sánchez Rojas, Neira
Pubblicazione: (2016)

Desarrollo de un software para lcr-medidor quadtech 7600 e investigación de materiales cerámicos
di: Feria Silva, Francisco de Jesús
Pubblicazione: (2012)

Adaptación de las metodologías tradicionales cascada y espiral para la inclusión de evaluación inicial de usabilidad en el desarrollo de productos de software en México
di: Prieto Álvarez, Carlos Gerardo
Pubblicazione: (2015)

Aproximación de un Análisis del Proceso de Validación en el Modelo CMMI
di: García Pacheco, Ivan Antonio
Pubblicazione: (2005)

Reconstrucción de series de precipitación del estado de Oaxaca usando redes neuronales artificiales
di: Gutiérrez Apolonio, Rosa María
Pubblicazione: (2020)

Propuesta de un marco de referencia para fomentar las habilidades suaves en la enseñanza del paradigma de Desarrollo Global de Software a nivel licenciatura
di: León Pérez, Andrés
Pubblicazione: (2019)

Diseño de una colección de prendas casuales femeninas, teñidas con tintes naturales para mujeres de 30 a 35 años de edad en la región Mixteca del estado de Oaxaca
di: Martínez Cruz, Martha B.
Pubblicazione: (2022)

Control de múltiples robots no holonómicos bajo un esquema líder seguidor
di: Villalobos Álvarez, Exón F.
Pubblicazione: (2022)

Evolución de la instrumentación electrónica programable
di: Hernández Martínez, Heriberto Ildefonso, et al.
Pubblicazione: (2006)

Control de velocidad de un motor síncrono de imanes permanentes accionado por un inversor trifásico multinivel
di: Mayoral Lagunes, Rosalino
Pubblicazione: (2020)

Diseño y construcción de dispositivos para el control de iluminación y de temperatura basados en transductores eléctricos
di: Santiago Espinosa, Felipe, et al.
Pubblicazione: (2000)

Control de formación de robots móviles de autobalanceo de dos ruedas
di: Ramírez Cárdenas, Oscar David
Pubblicazione: (2020)

Diseño e implementación de un controlador de velocidad adaptativo para el motor síncrono de imanes permanentes
di: Vasquez Sanjuan, Jacob Javier
Pubblicazione: (2020)

Experiencias en el uso de AdWords en el Google Online Marketing Challenge 2011
di: Ibarra Cantú, Cecilia, et al.
Pubblicazione: (2012)

Análisis de imágenes de mamografía para la detección de cáncer de mama
di: Rodríguez López, Verónica
Pubblicazione: (2012)

Clasificación automática de requisitos no funcionales utilizando redes neuronales convolucionales
di: Martínez García, Sandra Estefanía
Pubblicazione: (2020)

Instrumentación y control de un prototipo de exoesqueleto para mano en rehabilitación asistida
di: de la Cruz Sánchez, Berith Atemoztli
Pubblicazione: (2020)

Diseño de un controlador de corriente para un inversor multinivel asimétrico conectado a la red eléctrica: una implementación en FPGA
di: Juárez Abad, José A.
Pubblicazione: (2022)

El oído humano como generador de sonido y su transducción
di: Espinosa Justo, Enrique
Pubblicazione: (2001)

Desarrollo de un manipulador antropomórfico de 3 GDL con motores de CD tipo brushless
di: Cruz Reyes, Alejandro T.
Pubblicazione: (2022)

Diseño y construcción de un rehabilitador de tobillo
di: Flores Salazar, Erick D.
Pubblicazione: (2019)

Sofiax: software interactivo con el enfoque de gamificación para implementarse en entornos de aprendizaje mixto (blended learning)
di: Campos Mijangos, Cuauhtli
Pubblicazione: (2018)

Diseño e implementación de una herramienta hw/sw enfocada al procesamiento digital de video sobre lógica reconfigurable
di: González Rojas, Carlos
Pubblicazione: (2015)

Especificación formal del protocolo de comunicaciones CAN FD mediante SDL
di: López Pérez, Edilberto
Pubblicazione: (2015)

Implementación en erlang de sistemas distribuidos a través del cálculo de eventos
di: Aguilar López, José Yedid
Pubblicazione: (2014)