-
1رسالة جامعية
المؤلفون: CABELLO ESPINOSA, MARÍA EUGENIA
المساهمون: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
مرشدي الرسالة: Ramos Salavert, Isidro
المصدر: Riunet
مصطلحات موضوعية: Reutilización del software, Líneas de productos software, Variabilidad, Modelos conceptuales, Arquitecturas software, Vistas software, Transformación de modelos, Sistemas expertos, Diagnóstico, LENGUAJES Y SISTEMAS INFORMATICOS, 1203 00, 1203 23
URL الوصول: http://hdl.handle.net/10251/3793
-
2رسالة جامعية
المؤلفون: Boronat Moll, Arturo
المساهمون: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
مرشدي الرسالة: Carsí Cubel, José Ángel, MESEGUER GUAITA, JOSE, Ramos Salavert, Isidro
المصدر: Riunet
مصطلحات موضوعية: Structural reflection, Membership equational logic, Mof, Model-driven development, Ocl, Model management, Mathematical metamodeling, LENGUAJES Y SISTEMAS INFORMATICOS, 1203 23, 1203 18, 1203 12, GESTIÓN DE MODELOS 32573 / X-MÁSTER UNIVERSITARIO EN INGENIERÍA DEL SOFTWARE, MÉTODOS FORMALES Y SISTEMAS DE INFORMACIÓN
URL الوصول: http://hdl.handle.net/10251/1964
-
3رسالة جامعية
المؤلفون: Ballis, Demis
المساهمون: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
مرشدي الرسالة: Alpuente Frasnedo, María, FALASCHI, MORENO
المصدر: Riunet
مصطلحات موضوعية: Software verification, Software correction, Inductive learning, Abstract diagnosis, Rule-based specification languages, Program transformation, Functional logic languages, Formal methods, Rewriting, Web site verification, Simulation, LENGUAJES Y SISTEMAS INFORMATICOS, 1203 11, 1203 18, 1203 23, 1203 24
URL الوصول: http://hdl.handle.net/10251/1948
-
4
المؤلفون: Arturo Boronat Moll
المساهمون: Carsí Cubel, José Ángel, MESEGUER GUAITA, JOSE, Ramos Salavert, Isidro, Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
المصدر: Riunet
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instnameمصطلحات موضوعية: Membership equational logic, Mathematical metamodeling, 1203 23, 1203 12, Model management, 120318 - Sistemas de información, diseño y componentes, Ocl, 1203 18, Model-driven development, Geography, Structural reflection, 120312 - Bancos de datos, GESTIÓN DE MODELOS 32573 / X-MÁSTER UNIVERSITARIO EN INGENIERÍA DEL SOFTWARE, MÉTODOS FORMALES Y SISTEMAS DE INFORMACIÓN, 120323 - Lenguajes de programación, Cartography, Humanities, LENGUAJES Y SISTEMAS INFORMATICOS, Mof
وصف الملف: application/pdf; text/plain
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::481c74ae09f20a9e7954dfb77c524813
http://hdl.handle.net/10251/1964 -
5
المؤلفون: María Eugenia, Cabello Espinosa
المساهمون: Ramos Salavert, Isidro, Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
المصدر: Riunet
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instnameمصطلحات موضوعية: Sistemas expertos, 1203 00, Líneas de productos software, 1203 23, Diagnóstico, Transformación de modelos, Reutilización del software, 1203 - Ciencia de los ordenadores, Arquitecturas software, Vistas software, 120323 - Lenguajes de programación, LENGUAJES Y SISTEMAS INFORMATICOS, Variabilidad, Modelos conceptuales
وصف الملف: application/pdf; text/plain
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba9b33031cf8997498af4753d2c90da9
https://doi.org/10.4995/thesis/10251/3793 -
6
المؤلفون: Demis Ballis
المساهمون: Alpuente Frasnedo, María, FALASCHI, MORENO, Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
المصدر: Riunet
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instnameمصطلحات موضوعية: Rewriting, Correctness, Theoretical computer science, 1203 11, Computer science, 1203 18, Functional logic languages, 120318 - Sistemas de información, diseño y componentes, Intelligent verification, Formal specification, Software verification, Web page, 120324 - Teoría de la programación, Web site verification, Abstract diagnosis, High-level verification, Functional verification, 1203 24, 1203 23, Formal methods, Runtime verification, 120311 - Logicales de ordenadores, Inductive learning, Program transformation, Rule-based specification languages, Software correction, 120323 - Lenguajes de programación, LENGUAJES Y SISTEMAS INFORMATICOS, Simulation
وصف الملف: application/pdf; text/plain
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c16f0c5d0eacdc33d7b1459b8ec4e4e4
https://hdl.handle.net/10251/1948