Verificación de programas en modelos de computación no convencionales

El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, se han elegido dos modelos de computación que poseen características dispares....

Descripción completa

Detalles Bibliográficos
Autor: Sancho Caparrini, Fernando
Tipo de recurso: tesis doctoral
Fecha de publicación:2002
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/23904
Acceso en línea:http://hdl.handle.net/11441/23904
Access Level:acceso abierto
Palabra clave:Programación de ordenadores
Programas y sistemas de programación
id ES_f55dca3ecdb8123dd8ed852c8a99d92d
oai_identifier_str oai:idus.us.es:11441/23904
network_acronym_str ES
network_name_str España
repository_id_str
spelling Verificación de programas en modelos de computación no convencionalesSancho Caparrini, FernandoProgramación de ordenadoresProgramas y sistemas de programaciónEl objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, se han elegido dos modelos de computación que poseen características dispares. El primero de ellos, el modelos sticker, es un modelo de computación molecular que usa como sustrato físico el ADN y que se describe a través de un conjunto de operaciones básicas susceptibles de ser implementadas en el laboratorio con las técnicas actuales de biología molecular. Dichas operaciones, a modo de instrucciones de un lenguaje de programación, permiten que los procedimientos diseñados en el modelo adquieran la forma de programas. El segundo de los modelos elegidos es el denominado computación celular con membranas o P sistemas. En este modelo, los procedimientos se describen por medio de mecanismos o dispositivos similares a máquinas, de ejecución independiente.|Pérez Jiménez, Mario de JesúsCiencias de la Computación e Inteligencia Artificial2002info:eu-repo/semantics/doctoralThesisapplication/pdfapplication/pdfhttp://hdl.handle.net/11441/23904reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)Españolinfo:eu-repo/semantics/openAccessoai:idus.us.es:11441/239042026-06-17T12:51:07Z
dc.title.none.fl_str_mv Verificación de programas en modelos de computación no convencionales
title Verificación de programas en modelos de computación no convencionales
spellingShingle Verificación de programas en modelos de computación no convencionales
Sancho Caparrini, Fernando
Programación de ordenadores
Programas y sistemas de programación
title_short Verificación de programas en modelos de computación no convencionales
title_full Verificación de programas en modelos de computación no convencionales
title_fullStr Verificación de programas en modelos de computación no convencionales
title_full_unstemmed Verificación de programas en modelos de computación no convencionales
title_sort Verificación de programas en modelos de computación no convencionales
dc.creator.none.fl_str_mv Sancho Caparrini, Fernando
author Sancho Caparrini, Fernando
author_facet Sancho Caparrini, Fernando
author_role author
dc.contributor.none.fl_str_mv Pérez Jiménez, Mario de Jesús
Ciencias de la Computación e Inteligencia Artificial
dc.subject.none.fl_str_mv Programación de ordenadores
Programas y sistemas de programación
topic Programación de ordenadores
Programas y sistemas de programación
description El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, se han elegido dos modelos de computación que poseen características dispares. El primero de ellos, el modelos sticker, es un modelo de computación molecular que usa como sustrato físico el ADN y que se describe a través de un conjunto de operaciones básicas susceptibles de ser implementadas en el laboratorio con las técnicas actuales de biología molecular. Dichas operaciones, a modo de instrucciones de un lenguaje de programación, permiten que los procedimientos diseñados en el modelo adquieran la forma de programas. El segundo de los modelos elegidos es el denominado computación celular con membranas o P sistemas. En este modelo, los procedimientos se describen por medio de mecanismos o dispositivos similares a máquinas, de ejecución independiente.|
publishDate 2002
dc.date.none.fl_str_mv 2002
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv http://hdl.handle.net/11441/23904
url http://hdl.handle.net/11441/23904
dc.language.none.fl_str_mv Español
language_invalid_str_mv Español
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869424583333904384
score 15,300719

Similares en LA Referencia