LIBPR

Liberating Programming

Coordinatore	WEIZMANN INSTITUTE OF SCIENCE    more Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie.
Nazionalità Coordinatore	Israel [IL]
Totale costo	2˙102˙958 €
EC contributo	2˙102˙958 €
Programma	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)
Code Call	ERC-2008-AdG
Funding Scheme	ERC-AG
Anno di inizio	2009
Periodo (anno-mese-giorno)	2009-01-01   -   2013-12-31

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	WEIZMANN INSTITUTE OF SCIENCE  Organization address address: HERZL STREET 234 city: REHOVOT postcode: 7610001 contact info Titolo: Ms. Nome: Gabi Cognome: Bernstein Email: send email Telefono: +972 8 934 6728 Fax: +972 8 934 4165	IL (REHOVOT)	hostInstitution	0.00
2	WEIZMANN INSTITUTE OF SCIENCE  Organization address address: HERZL STREET 234 city: REHOVOT postcode: 7610001 contact info Titolo: Prof. Nome: David Cognome: Harel Email: send email Telefono: -4020 Fax: -5993	IL (REHOVOT)	hostInstitution	0.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

We propose to provide the theoretical, algorithmic and methodological foundations, and build the supporting tools, to bring about a major, paradigmatic, revolutionary change in the way software and systems are programmed and executed, based on the idea of liberated programming, a sweeping extension of the scenario-based play-in/play-out approach to program design and execution that I and my group have done around the language of live sequence charts (LSCs). Play-in is a new way of software programming, combining the ideas of showing and teaching, instead of telling, relying on friendly advanced user interfaces, and using intuitive yet formal and expressive visual languages. Play-out is a general name for the technologies of executing played-in programs using powerful tools such as model-checking and synthesis. Our proposed work is divided into four main threads: (1) play-in, the development of new languages and interaction techniques; (2) play-out, the development of new execution technologies; (3) domain specific adaptations and applications; and (4) integration and tools. The play-in techniques proposed include the translation of systems requirements given in natural language into an executable artifact, the use of novel and dynamic human machine interaction techniques, relying on visual languages as target languages. The play-out execution methods proposed include the use of model-checking and synthesis algorithms, compilation, and execution environments that learn. Domain specific applications proposed include web services, tactical simulators, embedded systems, and biological modeling. Finally, we propose to build prototype tools that will allow the evaluation of the new technologies and their dissemination into the academic community and industry.