Objective
"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."
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
ERC-2012-PoC
See other projects for this call
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Host institution
7610001 Rehovot
Israel
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.