Obiettivo "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 correspondingto 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 groupsof 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 researchdeliverables, and enable commercial companies, professional communities and individuals, to use the research results as a basis for developing commercial and free products." Campo scientifico natural sciencescomputer and information sciencessoftwaresoftware applications Programma(i) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Argomento(i) ERC-OA-2012-PoC - European Research Council ERC Proof of Concept Invito a presentare proposte ERC-2012-PoC Vedi altri progetti per questo bando Meccanismo di finanziamento CSA-SA(POC) - Supporting action (Proof of Concept) Istituzione ospitante WEIZMANN INSTITUTE OF SCIENCE Contributo UE € 150 000,00 Indirizzo HERZL STREET 234 7610001 Rehovot Israele Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Gabi Bernstein (Ms.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato Beneficiari (1) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto WEIZMANN INSTITUTE OF SCIENCE Israele Contributo UE € 150 000,00 Indirizzo HERZL STREET 234 7610001 Rehovot Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Gabi Bernstein (Ms.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Costo totale Nessun dato