يعرض 1 - 6 نتائج من 6 نتيجة بحث عن '"1203 23"', وقت الاستعلام: 0.79s تنقيح النتائج
  1. 1
    رسالة جامعية
    Baseline-oriented modeling: una aproximación MDA basada en líneas de productos software para el desarrollo de aplicaciones: (dominio de los sistemas expertos).

    المؤلفون: 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. 2
    رسالة جامعية
    A formal framework for model management

    المؤلفون: 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. 3
    رسالة جامعية
    Rule-Based Software Verification and Correction.

    المؤلفون: 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. 4
    A formal framework for model management

    المؤلفون: 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. 5
    Baseline-oriented modeling: una aproximación MDA basada en líneas de productos software para el desarrollo de aplicaciones: (dominio de los sistemas expertos)

    المؤلفون: 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. 6
    Rule-Based Software Verification and Correction

    المؤلفون: 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

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء