Una metodología de validación exhaustiva basada en restricciones
Título del documento: Una metodología de validación exhaustiva basada en restricciones
Revista: Ciencias matemáticas
Base de datos: PERIÓDICA
Número de sistema: 000179106
ISSN: 0256-5374
Autores: 1
Instituciones: 1Universidad de Oriente, Departamento de Ciencia de la Computación, Santiago de Cuba. Cuba
Año:
Volumen: 19
Número: 1
Paginación: 80-88
País: Cuba
Idioma: Español
Tipo de documento: Artículo
Enfoque: Analítico
Disciplinas: Matemáticas,
Ciencias de la computación
Palabras clave: Matemáticas aplicadas,
Programas computacionales,
Validación,
Algoritmos,
Ingeniería de software,
Semántica denotacional
Keyword: Mathematics,
Computer science,
Applied mathematics,
Computing programs,
Validation,
Algorithms,
Software engineering,
Denotational semantics
Solicitud del documento
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)