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
  • Especificación, exploración y...
  • Cite this
  • Text this
  • Email this
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote

Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura

 

Authors
Ayala Rincón, Mauricio; Hartenstein, Reiner W.; Maya Neto, Rinaldi; Jacobi, Ricardo P.; Llanos, Carlos Humberto
Format
Article
Status
Versión aceptada para publicación
Description

Publication Year
2002
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
Rewriting-logic
High level specification and simulation
Design environment
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Lógica de reescritura
Especificación y simulación de alto nivel
Entorno de diseño
Desarrollo tecnológico
Repository
Repositorio UNAB
Get full text
http://hdl.handle.net/20.500.12749/9060
Rights
Open access
License
Derechos de autor 2002 Revista Colombiana de Computación

Similar Items

  • Rocha, Camilo; Meseguer, José. (2007) Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos

  • Rocha, Camilo; (2013) Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude

  • Ayala Rincón, Mauricio; Muñoz, César. (2000) Sustituciones explícitas y todo eso

  • Kumar Singh, Awadhesh; Ghanekar, Umesh Bandyopadhyay, Anup Kumar. (2005) Especificación de la red móvil mediante un enfoque formal similar a wp

  • Nicolle, Christophe; (2001) Una herramienta de especificación de metamodelo basada en la lógica de descripción y XML-DATA

 
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...