Loading...
Please wait, while we are loading the content...
Similar Documents
Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
| Content Provider | Semantic Scholar |
|---|---|
| Author | Gonzalía, Carlos |
| Copyright Year | 2010 |
| 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://sedici.unlp.edu.ar/bitstream/handle/10915/19536/Documento_completo.pdf?sequence=1 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |