ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

WSS 2012 - Workshop on Software Synthesis

Date2012-10-12

Deadline2012-07-06

VenueTampere, Finland Finland

Keywords

Websitehttp://www.esweek.org

Topics/Call fo Papers

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

Last modified: 2012-06-23 14:29:50