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