Hoja de vida |
Par evaluador reconocido por Minciencias. |
Categoría |
Investigador Asociado (I) con vigencia
hasta la publicación de los resultados de la siguiente convocatoria
|
Nombre |
Alexei Serna A.
|
Nombre en citaciones |
SERNA, A.A. |
Nacionalidad |
Colombiana |
Sexo |
Masculino |
|
Formación Académica |
|
Maestría/Magister
INSTITUTO TECNOLÓGICO METROPOLITANO
Maestría en estudios de ciencia tecnología, sociedad e innovación
Febrerode2018 - de
|
|
Pregrado/Universitario
UNIVERSIDAD CATOLICA LUIS AMIGO
Ingeniería de Sistemas
Agostode2008 - Juniode 2013
Práctica |
|
|
Experiencia profesional |
|
CORPORACIÓN UNIVERSITARIA REMINGTON
Dedicación: 24 horas Semanales
Agosto de 2014
Diciembre de 2016
Actividades de investigación
-
Investigación y Desarrollo
- Titulo: Apropiación y utilización de las métricas en medianas empresas de software de la ciudad de Medellín
Enero 2015
Noviembre 2015
-
Investigación y Desarrollo
- Titulo: Desarrollo y Gestión de Requisitos: Una revisión al Estado del Arte
Agosto 2014
Agosto 2015
|
|
Instituto Antioqueño de Investigación
Dedicación: 20 horas Semanales
Marzo de 2010
de Actual
Actividades de administración
- Jefe de departamento
- Cargo: Jefe de departamento
Marzo de 2010
de
Actividades de investigación
-
Investigación y Desarrollo
- Titulo: Ideas de investigación y desarrollo para innovar los procesos formativos en el siglo XXI
Mayo 2014
Abril 2017
-
Investigación y Desarrollo
- Titulo: Crisis de la Ingeniería. Caso: la formación en ingeniería en Colombia.
Julio 2012
Junio 2013
-
Investigación y Desarrollo
- Titulo: La ingeniería de Requisitos para el siglo XXI
Enero 2011
Noviembre 2011
-
Investigación y Desarrollo
- Titulo: Las matemáticas en las Ciencias Computacionales
Enero 2011
Noviembre 2011
-
Investigación y Desarrollo
- Titulo: Formalización de la Ingeniería de Requisitos
Julio 2010
Diciembre 2010
-
Investigación y Desarrollo
- Titulo: Análisis, investigación y gestión de conocimiento
Marzo 2010
|
|
Áreas de actuación |
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación |
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía) |
|
Idiomas |
|
Habla |
Escribe |
Lee |
Entiende |
Español |
Bueno |
Bueno |
Bueno |
Bueno |
Inglés |
Bueno |
Bueno |
Bueno |
Bueno |
|
Líneas de investigación |
Ingeniería del Software, Activa:Si |
Ciencias Computacionales, Activa:Si |
Innovación educativa, Activa:Si |
|
|
|
Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI |
|
|
Trabajos dirigidos/tutorías |
Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
|
ALEXEI SERNA A.,
Ingeniería de requisitos para mejorar la calidad del software - Una nueva visión
Centro Educacional De Computos Y Sistemas-Cedesistemas-
Estado: Tesis concluida
Ingeniería de Software
,2018,
. Persona orientada: Bernardo Parra T.
, Dirigió como: Tutor principal,
meses
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
|
Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
|
ALEXEI SERNA A.,
Software y sociedad - Una relación permanente
Fundación Universitaria Maria Cano
Estado: Tesis concluida
Ingeniería de software
,2017,
. Persona orientada: Juan Miguel Ríos G.
, Dirigió como: Tutor principal,
meses
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
|
Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
|
ALEXEI SERNA A.,
La innovación en la industria colombiana - Estado de desarrollo
Fundación Universitaria Autónoma De Las Américas
Estado: Tesis concluida
Ingeniería Administrativa
,2018,
. Persona orientada: Francisco Lirón H.
, Dirigió como: Tutor principal,
meses
Areas:
Ciencias Sociales -- Economía y Negocios -- Negocios y Management,
|
Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
|
ALEXEI SERNA A.,
Formalización del desarrollo de software - Una revisión
Fundación Universitaria Maria Cano
Estado: Tesis concluida
Ingeniería de software
,2017,
. Persona orientada: Ana María Huertas A.
, Dirigió como: Tutor principal,
meses
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
|
Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
|
ALEXEI SERNA A.,
Integración de la innovación en la gestión del conocimiento empresarial
Fundación Universitaria Autónoma De Las Américas
Estado: Tesis concluida
Ingeniería Administrativa
,2018,
. Persona orientada: Verónica Jaimes T.
, Dirigió como: Tutor principal,
meses
Areas:
Ciencias Sociales -- Economía y Negocios -- Negocios y Management,
|
Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
|
ALEXEI SERNA A.,
La calidad de software con una visión desde el usuario
Fundación Universitaria Maria Cano
Estado: Tesis concluida
Ingeniería de software
,2017,
. Persona orientada: Luis Alberto Porras D.
, Dirigió como: Tutor principal,
meses
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
|
Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
|
ALEXEI SERNA A.,
Análisis al posicionamiento de la innovación en la ciudad de Medellín
Fundación Universitaria Autónoma De Las Américas
Estado: Tesis concluida
Ingeniería Administrativa
,2018,
. Persona orientada: Luisa Fernanda Builes G.
, Dirigió como: Tutor principal,
meses
Areas:
Ciencias Sociales -- Economía y Negocios -- Negocios y Management,
|
Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
|
ALEXEI SERNA A.,
La automatización de las pruebas en camino del mejoramiento de la calidad del software
Centro Educacional De Computos Y Sistemas-Cedesistemas-
Estado: Tesis concluida
Ingeniería de Software
,2018,
. Persona orientada: María Isable Parra Y.
, Dirigió como: Tutor principal,
meses
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
|
|
|
|
|
Par evaluador |
Ámbito: Internacional
Par evaluador de: Material para publicación científica
Editorial: Editorial Instituto Antioqueño de Investigación,
2018,
Mayo
|
Ámbito: Internacional
Par evaluador de: Proyecto
Institución: Instituto Antioqueño de Investigación,
2018,
Abril
|
|
|
|
Eventos científicos |
1 Nombre del evento: 3rd International Conference on Knowledge Discovery (ICKD 2014)
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2014-06-07 00:00:00.0,
2014-06-08 00:00:00.0
en Bangkok - Bangkok, Thailand
|
Productos asociados
- Nombre del producto:Knowledge in engineering
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:International Association of Computer Sciences and Information Technology
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
2 Nombre del evento: Décima Tercera Conferencia Iberoamericana en Sistemas, Cibernética e Informática - CISCI 2014
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2014-07-15 00:00:00.0,
2014-07-18 00:00:00.0
en Orlando, FL - Orlando, FL, USA
|
Productos asociados
- Nombre del producto:Perspective and Application of the Formal Methods
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
- Nombre del producto:Formal Methods in Context
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
- Nombre del producto:Formal Methods in Context
Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
- Nombre del producto:Perspective and Application of the Formal Methods
Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
|
Instituciones asociadas
- Nombre de la institución:Internacional Institute of Informatics and Systemics (IIIS)
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
3 Nombre del evento: VI Congreso Internacional de Ciencia y Sociedad
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2014-10-10 00:00:00.0,
2014-10-11 00:00:00.0
en Vancouver - Vancouver, Canada
|
Productos asociados
- Nombre del producto:Ciencia, Tecnología e Innovación - Procesos y Sociedad
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:Common Ground
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
4 Nombre del evento: Encuentro internacional de educación en Ingeniería ACOFI 2015
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2015-09-15 00:00:00.0,
2015-09-18 00:00:00.0
en CARTAGENA DE INDIAS - Cartagena
|
Productos asociados
- Nombre del producto:La internacionalización del currículo: Una estrategia de desarrollo y calidad
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:CORPORACIÓN UNIVERSITARIA REMINGTON
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente magistral
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente magistral
|
|
5 Nombre del evento: Conferencia Internacional de Ingeniería - Inngenio 2015
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2015-10-27 00:00:00.0,
2015-10-29 00:00:00.0
en MEDELLÍN - Medellín
|
Productos asociados
- Nombre del producto:Métricas del software - Herramientas de apoyo cuantificables para la toma de decisiones
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:CORPORACIÓN UNIVERSITARIA REMINGTON
Tipo de vinculaciónPatrocinadora
- Nombre de la institución:Instituto Antioqueño de Investigación
Tipo de vinculaciónGestionadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente magistral
- Nombre: PIEDAD MARIA METAUTE PANIAGUA
Rol en el evento: Ponente
|
|
6 Nombre del evento: II JORNADAS DE INVESTIGACION FACULTAD DE INGENIERIAS JOIN 2010
Tipo de evento: Otro
Ámbito: Nacional
Realizado el:2010-10-06 00:00:00.0,
2010-10-07 00:00:00.0
en MEDELLÍN - Medellín
|
Productos asociados
- Nombre del producto:Review research process in SE of the computer games
Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
|
Instituciones asociadas
- Nombre de la institución:UNIVERSIDAD DE SAN BUENAVENTURA - SEDE MEDELLÍN
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento:
- Nombre: EDGAR SERNA M.
Rol en el evento:
|
|
7 Nombre del evento: FERIA DEL CONOCIMIENTO FUNLAM 2011
Tipo de evento: Otro
Ámbito: Nacional
Realizado el:2011-10-21 00:00:00.0,
2011-10-21 00:00:00.0
en MEDELLÍN - Medellín
|
Productos asociados
- Nombre del producto:Utilización de las TIC para estructurar procesos formativos innovadores a nivel de la básica primaria
Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
|
Instituciones asociadas
- Nombre de la institución:UNIVERSIDAD CATOLICA LUIS AMIGO
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento:
|
|
8 Nombre del evento: 15TH INTRERNATIONAL CONVENTION AND FAIR INFORMATICA 2013
Tipo de evento: Otro
Ámbito: Internacional
Realizado el:2013-03-18 00:00:00.0,
2013-03-22 00:00:00.0
en La Habana - La Habana, Cuba
|
Productos asociados
- Nombre del producto:Research on Formal Verification - A State of the Art
Tipo de producto:Producción bibliográfica - Libro - Capítulo de libro
- Nombre del producto:Formal Specification - Present and Future
Tipo de producto:Producción bibliográfica - Libro - Capítulo de libro
- Nombre del producto:Especificacion Formal - Presente y futuro
Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
|
Instituciones asociadas
- Nombre de la institución:Universidad De Las Ciencias Informáticas
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento:
- Nombre: EDGAR SERNA M.
Rol en el evento:
|
|
9 Nombre del evento: I Conferencia Científica Internacional - UCIENCIA
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2014-04-24 00:00:00.0,
2014-04-26 00:00:00.0
en La Habana - La Habana, Cuba
|
Productos asociados
- Nombre del producto:Scenarios, input values and context of use in software testing
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:Universidad De Las Ciencias Informáticas
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
10 Nombre del evento: 15th International Convention and Fair Informatica 2013
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2013-03-18 00:00:00.0,
2014-11-22 00:00:00.0
en La Habana - La Habana, Cuba
|
Productos asociados
- Nombre del producto:La investigación en Verificación Formal - Un estado del arte
Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
|
Instituciones asociadas
- Nombre de la institución:Universidad De Las Ciencias Informáticas
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
11 Nombre del evento: 2nd International Conference on Communication Technology
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2015-01-19 00:00:00.0,
2015-01-20 00:00:00.0
en Melbourne - Melbourne
|
Productos asociados
- Nombre del producto:Software Testing is More than an Emergency Plan
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:Instituto Antioqueño de Investigación
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente magistral
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente magistral
|
|
12 Nombre del evento: Tercer Encuentro Internacional sobre la Enseñanza de las Ciencias Exactas y Naturales
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2015-09-03 00:00:00.0,
2015-09-04 00:00:00.0
en PEREIRA - Pereira
|
Productos asociados
- Nombre del producto:Engineering and mathematics: Reality of historical relationship
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:CORPORACIÓN UNIVERSITARIA REMINGTON
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente magistral
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente magistral
|
|
13 Nombre del evento: Encuentro Internacional de Educación en Ingeniería - ACOFI 2014
Tipo de evento: Congreso
Ámbito: Nacional
Realizado el:2014-10-07 00:00:00.0,
2014-10-10 00:00:00.0
en CARTAGENA DE INDIAS - Cartagena, Colombia
|
Productos asociados
- Nombre del producto:Una radiografía al estado de la formación en ingeniería en Colombia
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:Asociación Colombiana De Facultades De Ingeniería - Acofi
Tipo de vinculaciónGestionadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
14 Nombre del evento: Conferencia Internacional de Ingeniería InNGENIO 2018
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2018-08-22 00:00:00.0,
2018-08-24 00:00:00.0
en MEDELLÍN - Politécnico Grancolombiano
|
|
Instituciones asociadas
- Nombre de la institución:Instituto Antioqueño de Investigación
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Organizador
- Nombre: EDGAR SERNA M.
Rol en el evento: Organizador
|
|
15 Nombre del evento: 7TH INTERNATIONAL CONGRESS ON TECHNOLOGY, SCIENCE AND SOCIETY
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2017-10-19 00:00:00.0,
2017-10-20 00:00:00.0
en Valencia - Universidad CEU Cardenal Herrera
|
Productos asociados
- Nombre del producto:DEBATE AL MÉTODO CIENTÍFICO
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:Universidad CEU Cardenal Herrera
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
16 Nombre del evento: Encuentro Latinoamericano de Educación ELE 2018
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2018-10-10 00:00:00.0,
2018-10-12 00:00:00.0
en MEDELLÍN - Politécnico Grancolombiano
|
|
Instituciones asociadas
- Nombre de la institución:Instituto Antioqueño de Investigación
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Organizador
- Nombre: EDGAR SERNA M.
Rol en el evento: Organizador
|
|
17 Nombre del evento: Twenty-fifth lnternational Conference on Learning
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2018-06-21 00:00:00.0,
2018-06-23 00:00:00.0
en Atenas - University of Athens
|
Productos asociados
- Nombre del producto:Mathematics in engineering education - A reality
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:Instituto Antioqueño de Investigación
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
18 Nombre del evento: Conferencia Internacional de Ingeniería InNGENIO 2016
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2016-08-23 00:00:00.0,
2016-08-25 00:00:00.0
en MEDELLÍN - Hotel Tryp Medellín
|
|
Instituciones asociadas
- Nombre de la institución:Instituto Antioqueño de Investigación
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Organizador
- Nombre: EDGAR SERNA M.
Rol en el evento: Organizador
|
|
19 Nombre del evento: 8th Euro American Conference on Telematics and Information Systems
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2016-04-27 00:00:00.0,
2016-04-29 00:00:00.0
en CARTAGENA DE INDIAS - Universidad Tecnológica de Cartagena
|
Productos asociados
- Nombre del producto:Development and management requirements: Results of a literature review
Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
|
Instituciones asociadas
- Nombre de la institución:UNIVERSIDAD DE CARTAGENA
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Ponente
- Nombre: EDGAR SERNA M.
Rol en el evento: Ponente
|
|
20 Nombre del evento: Conferencia Internacional de Ingeniería InNGENIO 2017
Tipo de evento: Congreso
Ámbito: Internacional
Realizado el:2017-08-22 00:00:00.0,
2017-08-24 00:00:00.0
en MEDELLÍN - Hotel Tryp
|
|
Instituciones asociadas
- Nombre de la institución:Instituto Antioqueño de Investigación
Tipo de vinculaciónPatrocinadora
|
Participantes
- Nombre: ALEXEI SERNA A.
Rol en el evento: Organizador
- Nombre: EDGAR SERNA M.
Rol en el evento: Organizador
|
|
|
Redes de conocimiento especializado |
Nombre de la red Ingeniar: Red Latinoamericana en Ingeniería
Tipo de redVirtual,
Creada el:2010-11-30 00:00:00.0,
en MEDELLÍN
con participantes
|
Nombre de la red Red Latinoamericana de Educación Red-ucación
Tipo de redVirtual,
Creada el:2018-12-20 00:00:00.0,
en MEDELLÍN
con participantes
|
|
|
|
|
|
|
Estrategias pedagógicas para el fomento a la CTI |
Nombre de la estrategia Pedagogía y videojuego: Otra forma de ver la relación
Inicio enFebrero - 2013,
Finalizó en :Noviembre - 2013,
|
|
|
Espacios de participación ciudadana |
Nombre del espacioForo Internacional de Ingeniería
Realizado el:2018-08-24 00:00:00.0,
2018-08-24 00:00:00.0
en MEDELLÍN -
Con180 participantes
|
|
|
Artículos |
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Crisis de la Ingeniería en Colombia - Estado de la Cuestión"
. En: Colombia
Ingeniería Y Competitividad
ISSN: 0123-3033
ed: Facultad De Ingenieria Universidad Del Valle
v.7
fasc.1
p.63
- 74
,2015,
DOI:
Palabras:
Formación,
Ingeniería,
Investigación,
Tecnología,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Ontology for knowledge management in software maintenance"
. En: Inglaterra
International Journal of Information Management
ISSN: 0268-4012
ed: Elsevier Science
v.34
fasc.5
p.704
- 710
,2014,
DOI: 10.1016/j.ijinfomgt.2014.06.005
Palabras:
Conocimiento,
Formación,
Investigación,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"State of the Art in the Research of Formal Verification"
. En: México
Ingeniería Investigación y Tecnología
ISSN: 1405-7743
ed: Universidad Nacional Autonoma de México
v.15
fasc.4
p.615
- 623
,2014,
DOI: 10.1007/s11043-. 007-9022-9
Palabras:
Ciencias Computacionales,
Computación,
Formalización,
Verificación,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Formal specification in context: current and future"
. En: Chile
Ingeniare
ISSN: 0718-3305
ed: Departamento De Computacion Universidad De Tarapaca
v.22
fasc.2
p.243
- 256
,2014,
DOI: http://dx.doi.org/10.4067/S0718-33052014000200010
Palabras:
Ciencias Computacionales,
Ingeniería de Software,
Software,
Verificación,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Strategic Principles of Free Software and its Relation with Process Reengineering"
. En: Colombia
Revista Virtual Universidad Católica Del Norte
ISSN: 0124-5821
ed: Universidad Catolica Del Norte
v.42
fasc.NA
p.197
- 206
,2014,
DOI:
Palabras:
Ingeniería de Software,
Ingeniería,
Software,
Software libre,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Is it in crisis engineering in the world? A literature review"
. En: Colombia
Revista Facultad de Ingenieria
ISSN: 0120-6230
ed: Editorial Universidad de Antioquia
v.NA
fasc.66
p.199
- 208
,2013,
DOI:
Palabras:
Investigación,
Formación,
Ingeniería,
Sectores:
Educación - Educación superior,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"An Evaluation of Free Tools for Software Testing"
. En: Colombia
Revista Virtual Universidad Católica Del Norte
ISSN: 0124-5821
ed: Universidad Catolica Del Norte
v.37
fasc.NA
p.44
- 61
,2012,
DOI:
Palabras:
Software libre,
Software testing,
Verificación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Maturity model of transdisciplinary knowledge management"
. En: Países Bajos
International Journal of Information Management
ISSN: 0268-4012
ed: Elsevier Science
v.35
fasc.6
p.647
- 654
,2015,
DOI: 10.1016/j.ijinfomgt.2015.07.002
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Una revisión a los procesos de la ciencia, la tecnología y la innovación"
. En: Colombia
Entramado
ISSN: 1900-3803
ed: Universidad Libre
v.9
fasc.1
p.172
- 187
,2013,
DOI:
Palabras:
Investigación,
Ciencia,
Conocimiento,
Tecnología,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"La investigación en verificación formal - Un estado del arte"
. En: Cuba
Revista Cubana De Ciencias Informáticas
ISSN: 1994-1536
ed:
v.7
fasc.3
p.114
- 126
,2013,
DOI:
Palabras:
Ciencias Computacionales,
Métodos formales,
Verificación,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"El papel de los productos de la ingeniería de software en el problema del cambio climático"
. En: Colombia
Gerencia Tecnologica Informatica - Gti
ISSN: 1657-8236
ed: Division Editorial Y Publicaciones Universidad Industrial De Santander
v.12
fasc.32
p.79
- 85
,2013,
DOI:
Palabras:
Cambio climático,
Ingeniería de Software,
Software,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Critical analysis of proposals to generate test cases from use cases for functional testing"
. En: Colombia
Avances En Sistemas E Informática
ISSN: 1657-7663
ed: Universidad Nacional De Colombia Sede Medellin
v.7
fasc.2
p.105
- 113
,2010,
DOI:
Palabras:
Software,
Software testing,
Ciencias Computacionales,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Challenges and practical strategies of the empirical studies on software testing techniques"
. En: Colombia
Ingeniería Y Competitividad
ISSN: 0123-3033
ed: Facultad De Ingenieria Universidad Del Valle
v.13
fasc.1
p.141
- 146
,2011,
DOI:
Palabras:
Ciencias Computacionales,
Software,
Software testing,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"An Evaluation of Free Tools for Software Testing"
. En: Colombia
Revista Virtual Universidad Católica Del Norte
ISSN: 0124-5821
ed: Universidad Catolica Del Norte
v.37
fasc.NA
p.44
- 61
,2012,
DOI:
Palabras:
Ingeniería de Software,
Software libre,
Software testing,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
"Formal Methods in Industry"
. En: Colombia
Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)
ISSN: 2248-7441
ed:
v.2
fasc.2
p.44
- 51
,2012,
DOI:
Palabras:
Métodos formales,
Formalización,
Verificación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"The role of software engineering products on problem of climate change"
. En: Colombia
Revista Gti
ISSN: 2027-8330
ed: Publindex
v.12
fasc.32
p.79
- 85
,2013,
DOI:
Palabras:
Cambio climático,
Modelos computacionales,
Software,
Sectores:
Previsión del tiempo y prospección climática,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Revisión a los procesos de investigación en la IS de los juegos de computador"
. En: Colombia
Ingenierías USBMed
ISSN: 2027-5846
ed: UNIVERSIDAD DE SAN BUENAVENTURA
v.1
fasc.1
p.15
- 28
,2010,
DOI:
Palabras:
Ingeniería de Software,
Investigación,
Juegos de computador,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Consultoría en sistemas de informática,
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
"Timeline of Computer Science"
. En: Colombia
Lámpsakos
ISSN: 2145-4086
ed: Fundación Universitaria Luis Amigó
v.NA
fasc.3
p.86
- 94
,2010,
DOI:
Palabras:
Ciencias Computacionales,
Computación,
Investigación,
Sectores:
Educación - Educación superior,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
ROBERTO CARLOS GUEVARA CALUME,
"Can it define what is content from the information management?"
. En: Colombia
Revista General de Informacion y Documentacion
ISSN: 1132-1873
ed: Cesic Universidad Complutense De Madrid
v.27
fasc.1
p.201
- 218
,2017,
DOI: http://dx.doi.org/10.5209/RGID.56567
Palabras:
Conocimiento,
Investigación,
Ciencia,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Knowledge meaning and management in requirements engineering"
. En: Países Bajos
International Journal of Information Management
ISSN: 0268-4012
ed: Elsevier Science
v.37
fasc.3
p.155
- 161
,2017,
DOI: https://doi.org/10.1016/j.ijinfomgt.2017.01.005
Palabras:
Conocimiento,
Investigación,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Complejidad y Pensamiento Complejo para innovar los procesos formativos en ingeniería"
. En: Estados Unidos
Revista Iberoamericana En Sistemas, Cibernética E Informática
ISSN: 1690-8627
ed: International Institute Of Informatics And Systemics
v.14
fasc.1
p.48
- 55
,2017,
DOI:
Palabras:
Conocimiento,
Formación,
Ingeniería,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Science and Disciplinarity"
. En: Colombia
Entramado
ISSN: 1900-3803
ed: Universidad Libre
v.12
fasc.1
p.152
- 162
,2016,
DOI: http://dx.doi.org/10.18041/entramado.2016v12n1.23111
Palabras:
Conocimiento,
Ciencia,
Investigación,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
EDGAR SERNA M.,
ALEXEI SERNA A.,
"Framework to elicit multidimensional requirements"
. En: Colombia
Ingenieria y Universidad
ISSN: 2011-2769
ed: Pontificia Universidad Javeriana
v.22
fasc.2
p.1
- 13
,2018,
DOI: 10.11144/Javeriana.iyu22-2.femr
Palabras:
Ciencias Computacionales,
Formalización,
Ingeniería de Software,
|
Producción bibliográfica - Artículo - Publicado en revista especializada
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"A framework for knowledge management in requirements engineering"
. En: Reino Unido
International Journal of Knowledge Management Studies
ISSN: 1743-8276
ed: Inderscience Publishers
v.9
fasc.1
p.31
- 50
,2018,
DOI: 10.1504/IJKMS.2018.089694
Palabras:
Ciencias Computacionales,
Ingeniería de Software,
Modelos computacionales,
|
|
Libros |
Producción bibliográfica - Libro - Libro resultado de investigación
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"La internacionalización como visión prospectiva de formación"
En: Colombia
2016.
ed:Editorial Instituto Antioqueño de Investigación
ISBN: 978-958-59127-2-4
v.
pags.
Palabras:
Formación,
Investigación,
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),
|
|
Capitulos de libro |
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"La internacionalización del currículo: Una estrategia de desarrollo y calidad"
Memorias Eiei Acofi 2015
. En: Colombia
ISBN: 9789586800761
ed: Acofi Asociacion Colombiana De Facultades De Ing
, v.
, p.1
- 11
,2015
Palabras:
Conocimiento,
Formación,
Investigación,
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),
Sectores:
Educación - Educación superior,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Perspective and Application of the Formal Methods"
Memorias De La Décima Tercera Conferencia Iberoamericana En Sistemas, Cibernética E Informática Cisci 2014
. En: Estados Unidos
ISBN: 9781941763087
ed: International Institute Of Informatics And Systemics Iiis
, v.
, p.1
- 7
,2014
Palabras:
Ciencias Computacionales,
Computación,
Formalización,
Métodos formales,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Formal Methods in Context"
Memorias De La Décima Tercera Conferencia Iberoamericana En Sistemas, Cibernética E Informática Cisci 2014
. En: Estados Unidos
ISBN: 9781941763087
ed: International Institute Of Informatics And Systemics Iiis
, v.
, p.61
- 66
,2014
Palabras:
Ciencias Computacionales,
Formalización,
Métodos formales,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
"La Ingeniería de Software en América Latina"
Libro Blanco De La Ingeniería De Software En América Latina
. En: Colombia
ISBN: 978-958-46-3302-6
ed: Fondo Editorial Remington
, v.
, p.46
- 80
,2013
Palabras:
Formación,
Ingeniería de Software,
Investigación,
Software,
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),
Sectores:
Educación - Educación superior,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Contexto de la iniciativa libro blanco"
Libro Blanco De La Ingeniería De Software En América Latina
. En: Colombia
ISBN: 978-958-46-3302-6
ed: Fondo Editorial Remington
, v.
, p.10
- 22
,2013
Palabras:
Ciencia,
Ciencias Computacionales,
Ingeniería de Software,
Investigación,
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),
Sectores:
Educación - Educación superior,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Una radiografía al estado de la formación en Ingeniería en Colombia"
Encuentro Internacional De Educación En Ingeniería Acofi 2014
. En: Colombia
ISBN: 9789586800754
ed: Asociacion Colombiana De Facultades De Ingenieria Acofi
, v.
, p.27
- 27
,2014
Palabras:
Formación,
Ingeniería,
Conocimiento,
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),
Sectores:
Educación - Educación superior,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
Tipo: Capítulo de libro
JORGE MAURICIO SEPULVEDA CASTANO,
Tipo: Capítulo de libro
ROBERTO CARLOS GUEVARA CALUME,
"Software Testing is More than an Emergency Plan"
2nd International Conference On Communication Technology Icct 2015
. En: Australia
ISBN: 978-1-60595-236-9
ed: DEStech Publications
, v.
, p.45
- 54
,2015
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
PIEDAD MARIA METAUTE PANIAGUA,
"Métricas del software - Herramientas de apoyo cuantificables para la toma de decisiones"
Avances En Ingenieria
. En: Colombia
ISBN: 9789585912700
ed: Editorial Instituto Antioqueño de Investigación
, v.
, p.237
- 245
,2015
Palabras:
Ciencia,
Investigación,
Ingeniería,
Tecnología,
Areas:
Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,
Sectores:
Desarrollo de nuevos materiales,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Development and management requirements: Results of a literature review"
2016 8th Euro American Conference on Telematics and Information Systems (EATIS)
. En: Colombia
ISBN: 978-1-5090-2436-0
ed: IEEE Publications
, v.
, p.1
- 8
,2016
Palabras:
Ciencias Computacionales,
Ingeniería,
Ingeniería de Software,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
Tipo: Capítulo de libro
OSCAR JAVIER BACHILLER SANDOVAL,
"Gestión del conocimiento transdisciplinar en la elicitación de requisitos"
Desarrollo e Innovación en Ingeniería 2
. En: Colombia
ISBN: 978-958-59127-5-5
ed: Editorial Instituto Antioqueño de Investigación
, v.
, p.91
- 105
,2017
Palabras:
Ingeniería,
Investigación,
Tecnología,
Areas:
Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
Tipo: Capítulo de libro
EDER ALONSO ACEVEDO MARIN,
"Principios y características de las redes neuronales artificiales"
Desarrollo e Innovación en Ingeniería 2
. En: Colombia
ISBN: 978-958-59127-5-5
ed: Editorial Instituto Antioqueño de Investigación
, v.
, p.173
- 182
,2017
Palabras:
Ingeniería,
Investigación,
Tecnología,
Areas:
Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
Tipo: Capítulo de libro
EDER ALONSO ACEVEDO MARIN,
"Principios de la Inteligencia Artificial en las Ciencias Computacionales"
Desarrollo e Innovación en Ingeniería 2
. En: Colombia
ISBN: 978-958-59127-5-5
ed: Editorial Instituto Antioqueño de Investigación
, v.
, p.161
- 172
,2017
Palabras:
Ingeniería,
Investigación,
Tecnología,
Areas:
Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,
|
Tipo: Capítulo de libro
EDGAR SERNA M.,
Tipo: Capítulo de libro
ALEXEI SERNA A.,
"Ingeniería ética"
INGENIERÍA: Realidad de una disciplina
. En: Colombia
ISBN: 978-958-59127-8-6
ed: Editorial Instituto Antioqueño de Investigación
, v.
, p.229
- 245
,2018
Palabras:
Ciencia,
Ingeniería,
Investigación,
Tecnología,
Areas:
Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,
|
Tipo: Capítulo de libro
EDGAR SERNA M.,
Tipo: Capítulo de libro
ALEXEI SERNA A.,
"Ingeniería y matemáticas"
INGENIERÍA: Realidad de una disciplina
. En: Colombia
ISBN: 978-958-59127-8-6
ed: Editorial Instituto Antioqueño de Investigación
, v.
, p.166
- 192
,2018
Palabras:
Ciencia,
Ingeniería,
Investigación,
Tecnología,
Areas:
Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,
|
Tipo: Capítulo de libro
EDGAR SERNA M.,
Tipo: Capítulo de libro
ALEXEI SERNA A.,
"Debate al método científico - Pensamiento Complejo para cambiar el paradigma"
Tecnología e Innovación social
. En: Colombia
ISBN: 978-84-15665-28-1
ed: Global Knowledge Academics
, v.
, p.61
- 76
,2018
Palabras:
Conocimiento,
Formación,
Investigación,
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"La Lógica en las Ciencias Computacionales"
Décimo Simposium Iberoamericano En Educación, Cibernética E Informática
. En: Estados Unidos
ISBN: 978-1-936338-91-7
ed: International Institute Of Informatics And Systemics Iiis
, v.
, p.44
- 49
,2013
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Educación - Educación superior,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
"Desafios y oportunidades de la investigacion en metodos formales"
The 7th Lnternational Multi·Conference On Society, Cybernetics And Lnformatics
. En: Estados Unidos
ISBN: 978-1-936338-86-3
ed: Instituto Internacional De Informatica Y Sistemas Iiis
, v.
, p.44
- 44
,2013
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Desafíos y Oportunidades de la Investigación en Métodos Formales"
The 7th Lnternational Multi·Conference On Society, Cybernetics And Lnformatics
. En: Estados Unidos
ISBN: 978-1-936338-86-3
ed: Instituto Internacional De Informatica Y Sistemas Iiis
, v.
, p.44
- 44
,2013
Palabras:
Ciencias Computacionales,
Métodos formales,
Computación,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"La logica en las ciencias computacionales"
The 7th Lnternational Multi·Conference On Society, Cybernetics And Lnformatics
. En: Estados Unidos
ISBN: 978-1-936338-86-3
ed: Instituto Internacional De Informatica Y Sistemas Iiis
, v.
, p.57
- 57
,2013
Palabras:
Computación,
Ciencias Computacionales,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"La logica en las ciencias computacionales"
The 7th Lnternational Multi·Conference On Society, Cybernetics And Lnformatics
. En: Estados Unidos
ISBN: 978-1-936338-86-3
ed: Instituto Internacional De Informatica Y Sistemas Iiis
, v.
, p.57
- 57
,2013
Palabras:
Ciencias Computacionales,
Conocimiento,
Métodos formales,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Educación - Educación superior,
|
Tipo: Otro capítulo de libro publicado
ALEXEI SERNA A.,
Tipo: Otro capítulo de libro publicado
EDGAR SERNA M.,
"Análisis a la eficiencia del conjunto de casos de prueba generados con la técnica Requirements by Contract"
Memorias Del 5o Congreso Colombiano De Computación. Ccc2010
. En: Colombia
ISBN: 978-958-8387-40-6
ed: Universidad Tecnologica De Bolivar
, v.
, p.1
- 6
,2010
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Desafíos y Oportunidades de la Investigación en Métodos Formales"
Decima Segunda Conferencia Iberoamericana En Sistemas, Cibernética E Informatica. (Cisci 2013)
. En: Estados Unidos
ISBN: 978-1-936338-84-9
ed: International Institute Of Informatics And Systemics Iiis
, v.
, p.81
- 86
,2013
Palabras:
Ciencias Computacionales,
Computación,
Métodos formales,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"LA LÓGICA EN LAS CIENCIAS COMPUTACIONALES"
Décimo Simposium Iberoamericano En Educación, Cibernética E Informática: Sieci 2013
. En: Estados Unidos
ISBN: 978-1-936338-85-6
ed: International Institute Of Informatics And Systemics
, v.
, p.44
- 49
,2013
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Formal Specification - Present and Future"
15th International Convention And Fair Informatica 2013
. En: Cuba
ISBN: 978-959-7213-02-4
ed: Universidad de las Ciencias Informáticas
, v.
, p.1
- 13
,2013
Palabras:
Formalización,
Métodos formales,
Verificación,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Capítulo de libro
ALEXEI SERNA A.,
Tipo: Capítulo de libro
EDGAR SERNA M.,
"Research on Formal Verification - A State of the Art"
15th International Convention And Fair Informatica 2013
. En: Cuba
ISBN: 978-959-7213-02-4
ed: Universidad de las Ciencias Informáticas
, v.
, p.1
- 9
,2013
Palabras:
Ingeniería de Software,
Métodos formales,
Verificación,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
Tipo: Otro capítulo de libro publicado
ALEXEI SERNA A.,
Tipo: Otro capítulo de libro publicado
EDGAR SERNA M.,
"Revisión a los procesos de investigación en la IS de los juegos de computador"
Ii Jornadas De Investigación De La Facultad De Ingenierías
. En: Colombia
ISBN: 978-95-88474-15-1
ed: Universidad San Buenaventura
, v.
, p.28
- 28
1
,2010
Palabras:
Ingeniería de Software,
Investigación,
Juegos de computador,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
|
|
|
Textos en publicaciones no científicas |
Producción bibliográfica - Otro artículo publicado - Revista de divulgación
|
ALEXEI SERNA A.,
PIEDAD MARIA METAUTE PANIAGUA,
"Software metrics, tools quantifiable support to implement of decisions"
En: Colombia.
2015.
Actas De Ingeniería.
ISSN: 2463-0128
p.208
- 2013
v.1
Palabras:
Ingeniería de Software,
Software,
Software testing,
Areas:
Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,
|
Producción bibliográfica - Otro artículo publicado - Revista de divulgación
|
ALEXEI SERNA A.,
EDGAR SERNA M.,
"Knowledge in Engineering: A View from the Logical Reasoning"
En: Sudáfrica.
2015.
International Journal Of Computer Theory And Engineering.
ISSN: 1793-8201
p.325
- 331
v.7
Palabras:
Ingeniería,
Conocimiento,
Tecnología,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
|
|
Documentos de trabajo |
Producción bibliográfica - Documento de trabajo (Working Paper) |
ALEXEI SERNA A.,
EDGAR SERNA M.,
"La formación en ingeniería en Colombia: Una situación que preocupa"
En: .
2013.
p.
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Informes de investigación |
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
EDGAR SERNA M.,
Informe avance 2: Iniciativas de investigacion y desarrollo para innovar los procesos formativos en el siglo XXI
. En: ,
,2015,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informe final Las Matemáticas en las Ciencias Computacionales
. En: ,
,2012,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informe final Formalización de la Ingeniería de Requisitos
. En: ,
,2011,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informe final La Ingeniería de Requisitos para el siglo XXI
. En: ,
,2012,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informe final Prospectiva de la investigación y de la experimentación en procesos de automatización de las pruebas del software
. En: ,
,2013,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
EDGAR SERNA M.,
Informe avance 1: Iniciativas de investigación y desarrollo para innovar los propcesos formativos en el siglo XXI
. En: ,
,2014,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informe final: Diseño de un modelo semiformal para documentar la elicitación de requisitos
. En: ,
,2015,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Infrme final: Desarrollo y gestión de requisitos - Una revisión al estado del arte
. En: ,
,2015,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informa Avance 1. Realidad de la Ingeniería: Un análisis al pasado, el presente y el futuro de la disciplina.
. En: ,
,2016,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informe de avance 2: Realidad de la Ingeniería: Un análisis al pasado, el presente y el futuro de la disciplina.
. En: ,
,2016,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informe de avance 1: Diseño de un modelo de Gestión del Conocimiento en la Ingeniería de Requisitos
. En: ,
,2016,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Informe de avance 2: Diseño de un modelo de Gestión del Conocimiento en la Ingeniería de Requisitos
. En: ,
,2016,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Avance 2: Neurocomputación y memoria: Análisis comparativo entre las realidades humano y computacional
. En: ,
,2017,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Avance 2: Realidad de la ingeniería: Un análisis al pasad, el presente y el futuro de la disciplina
. En: ,
,2017,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Final: Realidad de la ingeniería: Un análisis al pasado, el presente y el futuro de la disciplina
. En: ,
,2018,
|
Producción técnica - Informes de investigación |
ALEXEI SERNA A.,
Avance 1: Diseño y estructuración de un modelo de enseñanza para la nueva generación
. En: ,
,2018,
|
|
|
|
|
|
|
|
|
|
|
|
Proyectos |
Tipo de proyecto: Investigación, desarrollo e Innovación
Marco de trabajo para la gestión de la innovación y el aprovechamiento de las nuevas tecnologías en la industria
Inicio: Mayo
2018
Duración
Resumen
El objetivo es estructurar un marco de trabajo para ayudarle a la industria a gestionar la innovación con el propósito de integrar y aprovechar las nuevas tecnologías (Industria 4.0) en su entorno productivo.
|
Tipo de proyecto: Investigación y desarrollo
Neurocomputación y memoria: Análisis comparativo entre las realidades humana y computacional
Inicio: Marzo
2016
Duración
Resumen
Se busca revolucionar el sistema de educación.
|
Tipo de proyecto: Investigación y desarrollo
Diseño y estructuración de un modelo de enseñanza para la nueva generación
Inicio: Enero
2018
Duración
Resumen
Se busca estructurar y validar un modelo de enseñanza para atender las demandas y expectativas de la nueva generación en lo que tiene que ver con la educación.
|
Tipo de proyecto: Investigación, desarrollo e Innovación
Diseño de un modelo de Gestión del Conocimiento en la Ingeniería de Requisitos
Inicio: Febrero
2016
Fin: Diciembre
2017
Duración
Resumen
La investigación en la gestión del conocimiento se centra en el desarrollo de conceptos, métodos y herramientas de apoyo a la gestión del conocimiento humano. El objetivo de este proyecto es examinar los conceptos que se han utilizado en la Ingeniería de Requisitos para representar, gestionar y aprovechar el conocimiento que se genera en sus diferentes etapas. Para luego relacionar las técnicas mediantes un proceso de análisis desde la práctica y la teoría de las ciencias de la información, e integrar y proponer un modelo de gestión del conocimiento en el que se involucre la complejidad y la multidimensionalidad de esta fase de la Ingeniería de Software.
|
Tipo de proyecto: Investigación y desarrollo
Realidad de la Ingeniería: Un análisis al pasado, el presente y el futuro de la disciplina.
Inicio: Julio
2016
Fin: Diciembre
2017
Duración
Resumen
La ingeniería es la disciplina profesional que más le aporta al desarrollo de las naciones, pero en las últimas décadas perdió protagonismo a causa de una serie de factores que impiden su crecimiento. Se evidencian cuestiones como la apertura desmedida de programas que, en la mayoría de casos se podrían ofrecer como especializaciones, o que son carreras tendientes a obtener un título de profesión. Asimismo, la pérdida de credibilidad debido a los llamados fracasos ingenieriles; el poco valor que la sociedad tiene por los ingenieros; el que los estudiantes no tengan esta disciplina entre sus preferidas para una carrera universitaria; entre otras. El objetivo de este proyecto es mostrar una visión diferente a la que se refleja hoy de la ingeniería, redactando un texto que ilustre su pasado, presente y futuro, a través de un análisis a sus dimensiones e interrelaciones. Mediante una amplia revisión de la literatura y aportes personales basados en la experiencia docente e investigativa de los participantes, se busca estructurar, escribir y editar un libro, en el que se plasme este análisis.
|
Tipo de proyecto: Investigación y desarrollo
Diseño de un modelo semi-formal para documentar la elicitación de requisitos
Inicio: Febrero
2014
Fin: Noviembre
2014
Duración
Resumen
La Ingeniería de Requisitos (IR) se considera la fase más importante del ciclo de vida de los productos software, porque en ella se especifican las necesidades de los clientes, que a su vez es la base para la ejecución de las demás fases. La IR se subdivide en etapas, de cuya completitud se desprende la calidad y fiabilidad del producto final. Esas etapas son: 1) Temprana, 2) Elicitación, 3) Desarrollo, 4) Gestión y 5) Especificación, entre las que la Elicitación cobra importancia porque en ella los ingenieros trabajan con los clientes y usuarios para comprender sus necesidades. Los modelos que actualmente se utilizan para llevar a cabo esta etapa se han centrado en las técnicas para colectar esa información, y se han propuesto y documentado ampliamente. Pero a la cuestión de documentar adecuadamente esas necesidades, llamadas requisitos, no se ha prestado la atención necesaria y se continúa utilizando el lenguaje natural como forma de comunicación y comprensión. Debido a la diversidad de ambigüedades que este tipo de lenguaje genera se dificulta una adecuada comprensión y en muchas ocasiones se debe retornar desde fases posteriores a complementar lo que ya se ha elicitado.
|
Tipo de proyecto: Investigación y desarrollo
Formalización de la Ingeniería de Requisitos
Inicio: Febrero
2010
Fin: Enero
2011
Duración
Resumen
Se busca la mejor forma de formalizar el proceso de la Ingeniería de Requisitos
|
Tipo de proyecto: Investigación y desarrollo
La Ingeniería de Requisitos para el siglo XXI
Inicio: Febrero
2010
Fin: Enero
2012
Duración
Resumen
La IR es un área de la IS que debe evolucionar de acuerdo con los desafíos que plantean los problemas de este siglo y debe ofrecer metodología claras y científicas para obtener de forma precisas las necesidades de los clientes. Este proyecto tiene como objetivo describir cómo hacer IR para el siglo XXI.
|
Tipo de proyecto: Extensión y responsabilidad social CTI
Iniciativas de investigación y desarrollo para innovar los procesos formativos en el siglo XXI
Inicio: Febrero
2014
Duración
Resumen
En la mayoría de países, los procesos formativos son el reflejo en las instituciones educativas de las políticas estatales relacionadas. Pero, debido a las continuas revoluciones científicas, a la velocidad de los desarrollos tecnológicos, y a los problemas cada vez más complicados que enfrenta la Sociedad de la Información y el Conocimiento, dichos procesos se deben evaluar y replantear cada cierto tiempo. Muchos países no han detectado esta necesidad y continúan trabajando con modelos formativos de la Era Industrial, mientras que otros se dieron cuenta hace décadas y comenzaron proyectos de mejoramiento y de innovación permanente. Con el objetivo de analizar las buenas prácticas que han desarrollado e implementado estos países, y para conocer y validar las que pueden surgir desde otros, surgió este macro-proyecto internacional. La idea central consiste en convocar a la presentación de iniciativas orientadas a innovar los procesos formativos en cualquier país del mundo; cada una se debe organizar como un proyecto de investigación o desarrollo, patrocinado por una institución, cuyo producto sea una iniciativa innovadora. Luego serán presentadas a las diferentes comunidades para su validación y experimentación, un proceso en el que se retroalimenta continuamente para alcanzar la mejor estructura posible, y luego se socializará para su aplicación respectiva.
|
Tipo de proyecto: Investigación, desarrollo e Innovación
Las Matemáticas en las Ciencias Computacionales
Inicio: Febrero
2011
Fin: Diciembre
2011
Duración 11
Resumen
Buscar la relación entre las matemáticas y las Ciencias Computacionales es un paso importante para formalizar los procesos del desarrollo de software.
|
Tipo de proyecto: Investigación, desarrollo e Innovación
Prospectiva de la investigación y de la experimentación en procesos de automatización de las pruebas del software
Inicio: Enero
2012
Fin: Diciembre
2012
Duración
Resumen
Debido a la masiva utilización y necesidad del software, la calidad es una caracterísitica inherente a sus productosa. El objetivo de esta investigación es indagar por el estado actual y la prospectiva de la investigación en los procesos de automatización de las pruebas, como uno de los componentes que asegura la calidad de los productos software.
|
Tipo de proyecto: Investigación y desarrollo
Desarrollo y Gestión de Requisitos: Una revisión al Estado del Arte
Inicio: Agosto
2014
Fin: Diciembre
2015
Duración
Resumen
En la literatura se proponen diferentes modelos para gestionar la Ingeniería de Requisitos, los cuales presentan ventajas y desventajas al momento de especificar adecuadamente las necesidades del cliente. Con el objetivo de determinar las buenas prácticas de estos modelos, se plantea realizar una investigación para realizar una revisión a la literatura, y poder valorar las características y potencialidades de los más populares. Se parte de la hipótesis de que un modelo para gestionar la Ingeniería de Requisitos debería reunir las buenas prácticas de los modelos analizados, y potencializarlas con aportes desde otras áreas del conocimiento, como los métodos formales, la matemática discreta, la lógica, la abstracción, y otras relacionadas. Esto se debe a que los problemas actuales son más complejos y complicados que antes, la seguridad se ha convertido en un asunto clave, las modificaciones son cotidianas, y los tiempos de entrega de los productos software se han acortado drásticamente, a la vez que los presupuestos se deben ajustar a su vida útil. Pero, en la práctica, los ingenieros de software parecen no contar con una herramienta que les permita responder a estos desafíos, porque los productos software todavía presentan deficiencias en seguridad, calidad y fiabilidad, y la Ingeniería de Requisitos es responsable de la mayoría de ellas.
|
Tipo de proyecto: Investigación y desarrollo
La ingenieria en crisis: Caso la formación en ingenieria en Colombia
Inicio: Febrero
2012
Fin proyectado: Noviembre
2012
Fin: Diciembre
2012
Duración 10
Resumen
La ingeniería está en crisis en el mundo, así lo afirman los gobiernos, las universidades, los investigadores y las estadísticas que se divulgan en los reportes relacionados. En este proyecto se analiza la situación colombiana a través de un estudio a los programas que se ofrecen en ingeniería en el país. Se busca encontrar respuestas en lo que tiene que ver con intereses de los estudiantes, ofertas de las instituciones, perfiles para los egresados, necesidades de la industria y alternativas para aportar a la solución de esta crisis.
|
Tipo de proyecto: Investigación y desarrollo
Diseño e implementación de Objetos Virtuales de Aprendizaje ‒OVA‒ con Software Libre OpenGis, aplicando el aprendizaje basado en problemas, para la formación específica en Sistemas de Información Geográfica
Inicio: Febrero
2011
Fin proyectado: Diciembre
2011
Fin: Diciembre
2011
Duración 11
Resumen
Es claro entonces que los Objetos Virtuales de Aprendizaje ¿OVAs¿ son una temática de gran actualidad, con una pertinencia y necesidad reconocidas a nivel nacional e internacional. Se destaca la Red de conocimiento Colombia Aprende, liderada por El Ministerio de Educación Nacional
|
Tipo de proyecto: Investigación y desarrollo
Análisis a la integración de la Inteligencia Artificial, las Redes Neuronales y la Realidad Virtual en la automatización de las pruebas del software
Inicio: Febrero
2017
Fin: Diciembre
2017
Duración
Resumen
Se busca mejorar la calidad del software.
|
Tipo de proyecto: Investigación y desarrollo
Pedagogía y videojuego: otra forma de ver la relación
Inicio: Enero
2010
Fin: Enero
2011
Duración 12
Resumen
En este proyecto se hace una revisión a los procesos formativos que tienen como base la utilización de los video juegos como procesos didácticos.
|
|