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

LIBPRPOC

Financiado

Cerrado

Commercialization and Public Dissemination of LIBPR Research Results

"Behavioral programming (BP), which is a direct outcome of the current LIBPR ERC grant, is a novel, language-independent development paradigm, centered around natural and incremental specification of behavior. It is currently impl... ver más

28/02/2014

WEIZMANN

168K€

Presupuesto del proyecto: 168K€

Líder del proyecto

WEIZMANN INSTITUTE OF SCIENCE 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 2014-02-28 No tenemos la información de la convocatoria

0% 89% 100%

Información adicional privada

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

1 Participantes

WEIZMANN

0.00€ | Lider

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

Proyectos interesantes

IMPRO Implicit Programming 1M€ Cerrado

EXPLOSYN Exploratory Program Synthesis 2M€ Cerrado

TIN2008-05624 DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE 505K€ Cerrado

GAMMA The Artificial Intelligence Code Analysis Recommendation E... 71K€ Cerrado

INTELIGENCIA ARTIFICIAL APLICADA A LA MEJORA... INTELIGENCIA ARTIFICIAL APLICADA A LA MEJORA DEL RENDIMIENTO... 448K€ Cerrado

CORCON Correctness by Construction 286K€ Cerrado

Líder del proyecto

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

TRL 4-5

Presupuesto del proyecto 168K€

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

Descripción del proyecto "Behavioral programming (BP), which is a direct outcome of the current LIBPR ERC grant, is a novel, language-independent development paradigm, centered around natural and incremental specification of behavior. It is currently implemented in multiple programming languages. BP allows building software applications from independent scenarios, each corresponding to an individual requirement. The paradigm is supported by tools for fully executing the specification, and for debugging, execution planning, learning-based adaptivity, model-checking for detection of conflicting and incomplete requirements, and automatic repair of problems and conflicts. BP has the potential of allowing complex systems to be developed by large groups of individuals, and subsequently to be maintained by different individuals, substantially reducing the need to understand the intricacies of already-existing code when implementing new requirements. This accelerates development and reduces costs. In the proposed POC project we plan to (a) make all the source code freely available to the public (b) develop rich example applications that help demonstrate and prove the benefits of BP concepts in a broad spectrum of real-world applications (c) upgrade our tools via bug repair and functional enhancements for broad usability of the proof-of-concept. These actions will allow potential end-users to directly benefit from our research deliverables, and enable commercial companies, professional communities and individuals, to use the research results as a basis for developing commercial and free products."

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores