Objetivo
This project aimed at making a formal definition of Ada as it is described in the Ada Language Reference Manual and pointing out residual inconsistencies and ambiguities in the narrative description. This definition has been supplemented by various explanatory documents, while all ambiguities found have been reported to the groups responsible for the maintenance of the Ada standard.
The project results have generated great interest in the topic (and in the US as well) but is seems to be unrealistic to expect that a formal definition will replace, in the short or medium term, the narrative text that is now the basis for the Ada standard. The project results have been presented in numerous technical reports and articles in the specialized journals. They were also presented, by one of the project partners, during a one-week workshop and discussions with a publisher are underway to produce a book out of the material made available by the project.
Beside providing a draft formal definition for Ada, the project was also successful in validating the methods used (VDM for the static aspects of the language, complemented by the SMoLCS approach for the definition of the dynamic aspects).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Datos no disponibles
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Datos no disponibles
Coordinador
3460 Birkeroed
Dinamarca
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.