Objetivo
The GIPE II project has used a generic interactive programming environment as a basis for work in two areas:
- design, implementation, and experimentation of real-size environments for industrial applications
- advanced research in the area of interactive environments, based on formal specifications.
The project planned to use a generic interactive programming environment as a basis for work in 2 areas:
design, implementation, and experimentation of real size environments for industrial applications;
advanced research in the area of interactive environments, based on formal specifications.
This project takes as a starting point the interactive programming environment generator that was the successful outcome of project 348 (GIPE). This system uses as input the complete formal discription of a programming language and produces a specific environment for that language. The resulting environment includes an editor, an interpreter/debuggger, and other tools, all of which have uniform graphics person machine interfaces.
The main result of the GIPE project has been to demonstrate that this technology is feasible. Its follow up, GIPE III, aims to make it mature by providing support for the construction of large formal language definitions, extending the functionality and performance of the generated environments, and demonstrating the approach in a number of selected industrial applications, such as the construction of a development environment for scientific computing and the development of an environment for the LOTOS specification language.
A distributed architecture for the Centaur system has been proposed which makes the system more modular and more appealing to potential customers. Progress has also been achieved on Centaur's interfaces (displays and printing).
The more advanced capabilities of the system are now being explored with the treatment of Fortran, which may lead in an increase of productivity for the parallel program creator and theorem prover communities.
This project takes as a starting point the interactive programming environment generator that was the successful outcome of project 348 (GIPE). This system uses as input the complete formal description of a programming language and produces a specific environment for that language. The resulting environment includes an editor, an interpreter/debugger, and other tools, all of which have uniform graphics user interfaces.
The main result of the GIPE project has been to demonstrate that this technology is feasible.
Its follow-up, GIPE II, aims to make it mature by providing support for the construction of large formal language definitions, extending the functionality and performance of the generated environments, and demonstrating the approach in a number of selected industrial applications, such as the construction of a development environment for scientific computing and the development of an environment for the LOTOS specification language.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información software
- ciencias sociales economía y empresa ciencia económica economía de la producción productividad
- ciencias naturales informática y ciencias de la información ciencias de la computación
Para utilizar esta función, debe iniciar sesión o registrarse
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
92126 Montrouge
Francia
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.