CAVI-ART: Validaci\u00f3n asistida de programas mediante an\u00e1lisis, anotaciones, demostraciones matem\u00e1ticas y pruebas de ejecuci\u00f3n<\/a>
\nEntidad financiadora:<\/b> Ministerio de Econom\u00eda y Competitividad (TIN2013-44742-C4-3-R)
\nDuraci\u00f3n:<\/b> 2014\u20132017
\nInvestigador responsable:<\/b> Ricardo Pe\u00f1a Mar\u00ed<\/p>\nT\u00edtulo del proyecto:<\/b> StrongSoft: Tecnolog\u00edas rigurosas para software de nueva generaci\u00f3n abierto y fiable
\nEntidad financiadora:<\/b> Ministerio de Econom\u00eda y Competitividad (TIN2012-39391-C04-04)
\nDuraci\u00f3n:<\/b> 2013-2015
\nInvestigador responsable:<\/b> Narciso Mart\u00ed Oliet<\/p>\n
T\u00edtulo del proyecto:<\/b> PROMETIDOS: Programa de M\u00e9todos Rigurosos de Desarrollo de Software de la Comunidad de Madrid
\nEntidad financiadora:<\/b> Comunidad de Madrid (S2009\/TIC-1465)
\nDuraci\u00f3n:<\/b> 2010\u20132013
\nInvestigador responsable:<\/b> Narciso Mart\u00ed Oliet (grupo FADoSS)<\/p>\n
T\u00edtulo del proyecto:<\/b> PROMETIDOS: Programa de M\u00e9todos Rigurosos de Desarrollo de Software de la Comunidad de Madrid
\nEntidad financiadora:<\/b> Comunidad de Madrid (S2009\/TIC-1465)
\nDuraci\u00f3n:<\/b> 2010\u20132013
\nInvestigador responsable:<\/b> Francisco J. L\u00f3pez Fraguas (grupo GPD)<\/p>\n
T\u00edtulo del proyecto:<\/b> STAMP: Software Tools and Multiparadigm Programming
\nEntidad financiadora:<\/b> Ministerio de Ciencia e Innovaci\u00f3n (TIN2008-06622-C03-01)
\nDuraci\u00f3n:<\/b> 2009\u20132012
\nInvestigador responsable:<\/b> Francisco J. L\u00f3pez Fraguas<\/p>\n
T\u00edtulo del proyecto:<\/b> DESAFIOS10: Desarrollo de software de alta calidad, fiable, distribuido y seguro
\nEntidad financiadora:<\/b> Ministerio de Ciencia e Innovaci\u00f3n (TIN2009-14599-C03-01)
\nDuraci\u00f3n:<\/b> 2009\u20132012
\nInvestigador responsable:<\/b> Narciso Mart\u00ed Oliet<\/p>\n
T\u00edtulo del proyecto:<\/b> DESAFIOS: Desarrollo de software de alta calidad, fiable, distribuido y seguro
\nEntidad financiadora:<\/b> Ministerio de Ciencia y Tecnolog\u00eda (TIN2006-15660-C02-01)
\nDuraci\u00f3n:<\/b> 2006\u20132010
\nInvestigador responsable:<\/b> Narciso Mart\u00ed Oliet<\/p>\n
T\u00edtulo del proyecto:<\/b> PROMESAS: Programa de m\u00e9todos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid
\nEntidad financiadora:<\/b> Comunidad de Madrid (S-0505\/TIC\/0407)
\nDuraci\u00f3n:<\/b> 2006\u20132009
\nInvestigador responsable:<\/b> Narciso Mart\u00ed Oliet<\/p>\n
T\u00edtulo del proyecto:<\/b> SELF: Formalismos \u00e1giles en Ingenier\u00eda del Software
\nEntidad financiadora:<\/b> Ministerio de Ciencia y Tecnolog\u00eda (TIN 2004-07943-C04)
\nDuraci\u00f3n:<\/b> 2004\u20132007
\nInvestigador responsable:<\/b> Ernesto Pimentel S\u00e1nchez, Universidad de M\u00e1laga
\nSubproyecto:<\/b> SELF-UCM: C\u00f3digo con Demostraci\u00f3n Asociada (TIN 2004-07943-C04-04)
\nInvestigador responsable:<\/b> Ricardo Pe\u00f1a Mar\u00ed<\/p>\n
T\u00edtulo del proyecto:<\/b> Metalenguajes para el dise\u00f1o y an\u00e1lisis integrado de Sistemas M\u00f3viles y Distribuidos (MIDAS)
\nEntidad financiadora:<\/b> Ministerio de Ciencia y Tecnolog\u00eda (TIC 2003-01000)
\nDuraci\u00f3n:<\/b> 2003\u20132007
\nInvestigador responsable:<\/b> Narciso Mart\u00ed Oliet<\/p>\n
T\u00edtulo del proyecto:<\/b> Programaci\u00f3n funcional paralela y reactiva: tecnolog\u00eda y aplicaciones
\nEntidad financiadora:<\/b> CICYT (TIC 2000-0738)
\nDuraci\u00f3n:<\/b> 2000\u20132003
\nInvestigador responsable:<\/b> Ricardo Pe\u00f1a Mar\u00ed<\/p>\n
T\u00edtulo del proyecto:<\/b> Desarrollo formal de sistemas basados en agentes m\u00f3viles y evaluaci\u00f3n de rendimientos (AMEVA)
\nEntidad financiadora:<\/b> CICYT (TIC2000-0701-C02-01)
\nDuraci\u00f3n:<\/b> 2000\u20132003
\nInvestigador responsable:<\/b> David de Frutos Escrig<\/p>\n","protected":false},"excerpt":{"rendered":"
Proyectos financiados en convocatorias competitivas T\u00edtulo del proyecto: ProCode 10: Rigorous methods for the development of reliable and efficient software systems. Entidad financiadora: Ministerio de Ciencia (PID2023-149943OB-I00) Duraci\u00f3n: 2024\u20132028 Investigador responsable: Narciso Mart\u00ed Oliet y Fernando Rubio Diez T\u00edtulo del proyecto: COMFIA: Generaci\u00f3n de c\u00f3digo seguro, eficiente y interoperable mediante m\u00e9todos formales e inteligencia artificial. … <\/p>\n
Continuar leyendo \u00abProyectos\u00bb<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-11","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/11","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/comments?post=11"}],"version-history":[{"count":12,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/11\/revisions"}],"predecessor-version":[{"id":232,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/11\/revisions\/232"}],"wp:attachment":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/media?parent=11"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}