Busque entre los 156620 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-08-13T12:27:43Z | |
dc.date.available | 2012-08-13T12:27:43Z | |
dc.date.issued | 2010 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/19536 | |
dc.description.abstract | El objetivo de nuestra investigación consiste en la aplicación de métodos formales de la ingeniería del software, específicamente aquellos basados en sistemas formales relacionales, a los problemas de desarrollo de servicios semánticos en la web. Los sistemas formales relacionales que se tienen en mente son descendientes de las álgebras relacionales de Tarski, y su uso será asistido por herramientas de software existentes o a crear durante la investigación propuesta. Los servicios en web son una clase particular de programas, y como tales su desarrollo se beneficiaría de la aplicación de métodos formales de la ingeniería del software. Los problemas usuales de asegurar su corrección y otras propiedades deseables se suman a las propiedades específicas que deben brindar como servicios (en particular la composición de los mismos para obtener comportamientos más complejos y/o acordes a las necesidades específicas de la aplicación), más aún cuando se añade a ellos un nivel semántico de anotaciones que deben ser procesables por computadoras. | es |
dc.format.extent | 410-414 | es |
dc.language | es | es |
dc.subject | ingeniería del software | es |
dc.subject | SOFTWARE ENGINEERING | es |
dc.subject | servicios semánticos en la web | es |
dc.subject | métodos formales | es |
dc.subject | verificación asistida por computadora | es |
dc.subject | lógicas para la programación | es |
dc.title | Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Gonzalía, Carlos José | es |
sedici.description.note | Eje: Ingeniería de Software | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2010-05 | |
sedici.relation.event | XII Workshop de Investigadores en Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |