Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

RIVAR

Financiado

Cerrado

Rich Interfaces for Verifiable Aspect Reuse

Aspect-Oriented Programming (AOP) has been recognised as an important contribution to the research on modularisation techniques for software development, especially of large and complex systems. However, to date once written aspec... ver más

31/10/2010

Lancaster Universi...

173K€

Presupuesto del proyecto: 173K€

Líder del proyecto

UNIVERSITY OF LANCASTER No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2010-10-31 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

Lancaster University

0.00€ | Lider

Proyectos interesantes

TIN2009-11555

Software

Web Development

57K€ Cerrado

EA-ANALYZER

Software

Artificial Inte...

179K€ Cerrado

MOST

Software

Web Development

6M€ Cerrado

TIN2008-01942

Software

Web Development

150K€ Cerrado

DESARROLLO TECNOLÓGICO DE UN COMPILADOR FUENT...

Software

Web Development

357K€ Cerrado

CROSSMINER

Software

Web Development

5M€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Líder del proyecto

UNIVERSITY OF LANCASTER No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 173K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Aspect-Oriented Programming (AOP) has been recognised as an important contribution to the research on modularisation techniques for software development, especially of large and complex systems. However, to date once written aspects cannot be reused safely in new contexts and applications. The proposed project aims to study techniques for extending aspect specification so that they can be safely and verifiably reused across application borders. In particular, current aspect specifications define an aspect's interface (using so-called pointcut definitions) only based on syntactic information about the structure of a base program. To enable verifiably safe aspect reuse, these interface specifications need to be extended to provide semantically rich means of expressing aspect developers’ assumptions about the context in which an aspect is to be used and the guarantees that the aspect will make to the program into which it is woven. The proposed project first uses empirical and ethnographic techniques for building a taxonomy of assumptions and guarantees aspect developers typically make. Based on this taxonomy, extensions to common AOP languages are developed and integrated into existing aspect tooling from AOSD Europe. Where possible, also automatic or semi-automatic verification techniques for such aspect specifications will be studied.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores