Browsing by Author "IRASTORZA GOÑI, MARIA ARANZAZU"
Now showing items 1-15 of 15
-
Algunas demostraciones de incomputabilidad usando la técnica de diagonalización
Los supuestos fundamentales de la Teoría de la Computabilidad se establecieron antes de la aparición de los primeros ordenadores (a finales de los años 40), supuestos que muchos años de vertiginoso cambio no han conseguido ... -
Desarrollo de una aplicación para el análisis de sentencias judiciales utilizando la línea de productos software WacLine
Díaz de Otazu Hernando, Aitor (2020-12-03)Este Trabajo de Fin de Grado ha sido desarrollado utilizando una tecnolog ́ıa muy pocoextendida, las L ́ıneas de Producto de Software (SPL), en concreto la SPL WacLine desa-rrollada por Haritz Medina, dentro del grupo de ... -
Desarrollo de una línea de productos software para gestión de un centro escolar
Altuna Morlesin, Jaime (2015-10-15)Proiektu honetan Software Produktu-Lerroen paradigma eta proposamena jarraitzen duen lehen hezkuntzako eskola baten kudeaketa sistema garatu da. -
Designing of Portlet-basedWeb Portals
Irastorza Goñi, María Aránzazu (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 2008-12-04)Diversas fuentes establecen que 'el 80% del éxito de un proyecto de portal depende de la calidad de su diseño '. Es por ello que esta tesis ha tenido como objetivo hacer una propuesta de un método para el diseño de portales ... -
GitLine tresnaren zabaltzea: software produktu-lerroen kudeaketa
Irigoyen García, Eider (2015-10-15)Gradu amaierako proiektu hau software produktu-lerroen testuinguruan kokatzen da, GitLine aplikazioan funtzionalitate batzuk gehituz. GitLine, Onekin ikerketa taldean [13] garatua, GitHub-en funtzionalitate gehigarriak ... -
Herramienta para la visualización de arquitecturas de líneas de productos software
Varas Palacios, Endika (2022-10-19)El proyecto tiene como objetivo desarrollar un primer prototipo de herramienta para la visualización de la arquitectura de una línea de productos software. Esta herramienta servirá para ayudar a comprender la línea de ... -
Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan ... -
Konputagarritasunerako oinarrizko teknikak
Konputagarritasunaren Teoriak sistema informatikoek algoritmoen diseinuaren bitartez problemak ebaztean dituzten muga logikoak ezartzea du helburu. Txosten honetan teoria horren alderdi sinpleena aztertzen da. Konputagar ... -
El método de reducción en Teoría de la Computabilidad
La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante ... -
Los programas While: bases para una teoría de la computabilidad
La Teoría de la Computabilidad estudia los límites teóricos de los sistemas computacionales. Uno de sus objetivos centrales consiste en clasificar los problemas en computables e incomputables, donde llamamos computable a ... -
Software Produktu-Lerroen (SPL) arkitektura bistaratzeko aplikazioaren garapena
Salaberri Intxaurrondo, Iosu (2020-12-03)[Euskara] Proiektu honen helburu nagusia Software Produktu-Lerroekin (SPL) lanean hasten diren garatzaile berriei laguntzeko aplikazio baten sorrera da, SPL-aren domeinua eta funtzionamendua modu errazagoan azaltzen ... -
Software Produktu-Lerroen (SPL) kontzeptu-mapak sortzeko tresna laguntzailea
Galarza García, Mikel (2021-10-08)Gradu Amaierako proiektu honen helburu nagusia Software Produktu-Lerroen (SPL) inguruan lan egiten duten garatzaile berriei eskainiko zaien kontzeptu mapa egiten lagunduko duen aplikazioa sortzea da. Garatzaile berri hauek ... -
Técnicas básicas de computabilidad
La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante ... -
Web aplikazioen berfaktorizazioa Software Produktu-Lerro bat garatuz
Cantero Loinaz, Mikel (2019-10-17)Proiektu honen helburu nagusia EHUko Onekin ikerketa taldean lan egiten duen Haritz Medinak garatutako Highlight&Go, Mark&Go eta Review&Go aplikazioak garatzeko balio duen Software Produktu-Lerro bat garatzea da. Hori ... -
While programak: konputagarritasun teoria oinarritzeko tresna
Konputagarritasun Teoriaren asmoa sistema konputazionalen muga teorikoak aztertzea da. Bere helburu nagusia problemak konputagarri eta konputaezinen artean bereiztea da, problema konputagarria ebazpide informatikoa onartzen ...