October 14th, 2011      Taipei (Taiwan), within ESWeek 2011 organised and funded by ARTIST 

Workshop on Software Synthesis - WSS’11


An increasing amount of software is not written manually any more. Rather, software is synthesized from abstract models of the required functionality. As a result, the effort of generating software is reduced and software verification typically becomes easier.

Software synthesis has been implemented in various disperse communities.

The workshop aims at bringing these communities together and at identifying research problems which should be addressed by the scientific community.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet