WSS 2012 - Workshop on Software Synthesis

? 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.