
This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive systems and novel computing paradigms. It covers ensemble engineering, theory and formal methods, and novel computing paradigms.