Skip to content
Logo gov.co
Logo Redcol
  • Inicio
  • La Red
    • Quiénes Somos
    • Objetivos
    • Historia de la Red
    • ¿Cómo ser parte de la red?
    • Contacto
  • Servicios
    • Cursos y Talleres
    • Recursos
    • Colecciones Especializadas
    • Destacados

Contraste

Aumentar letra

Reducir letra

Centro de relevo

  • Home
  • Sobre la automatización de la...
  • Cite this
  • Text this
  • Email this
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote

Sobre la automatización de la extracción de programas de pruebas de terminación

 

Authors
Kamareddine, Fairouz; Monin, François; Ayala Rincón, Mauricio
Format
Article
Status
Versión aceptada para publicación
Description

Publication Year
2003
Language
Spanish
Topic
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Program extraction
Product types
Termination
ProPre system
Innovaciones tecnológicas
Ciencias de la computación
Desarrollo tecnológico
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Extracción de programas
Tipos de productos
Terminación
Sistema ProPre
Repository
Repositorio UNAB
Get full text
http://hdl.handle.net/20.500.12749/9046
Rights
Open access
License
Derechos de autor 2003 Revista Colombiana de Computación

Similar Items

  • Arenas Borrero, Álvaro Enrique; Pérez, Jose de Jesús. (2005) Editorial

  • Clemente, Pedro J.; Sevilla Ruiz, Diego Corchuelo, Rafael. (2004) Resumen de conclusiones

  • Reina Quintero, Antonia M.; Torres, Jesús. (2004) Componentes + aspectos: una descripción general

  • Baeza Yates, Ricardo; (2000) Diseñemos todo de nuevo: reflexiones sobre la computación y su enseñanza

  • Mycka, Jerzy; (2003) Límites restringidos en funciones naturales con gráficos aritméticos

 
logo
logo co

Ministerio de Ciencia Tecnología e Innovación

Dirección: Avenida Calle 26 No. 57 – 83 Torre 8 - Pisos del 2 al 6
Código Postal: 111321
Horario de Atención: Lunes a Jueves 8:00am - 5:00pm y Viernes 7:00am- 4:00pm (Jornada contínua).

  • Twitter
  • Youtube
  • Facebook

Contacto

Teléfono Conmutador: +(57) (1) 6258480 ext. 2081
Línea Gratuita: 01-800-0914446
Correo Institucional: atencionalciudadano@minciencias.gov.co
Correo de notificaciones judiciales:
notificacionesjudiciales@minciencias.gov.co
Política de seguridad de la información

logo
logo co
Loading...