859 search results - page 11 / 172 » Explaining Synthesized Software |
SYNTHESE
2008
13 years 8 months ago
2008
I suggest a pluralistic account of folk psychology according to which not all predictions or explanations rely on the attribution of mental states, and not all intentional actions ...
SYNTHESE
2008
13 years 8 months ago
2008
Structural realism is an attempt to balance the competing demands of the No Miracles Argument and the Pessimistic Meta-Induction. In this paper I trace the development of the struc...
SYNTHESE
2008
13 years 8 months ago
2008
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
The idea of synthesizing statecharts out of a collection of scenarios has received a lot of attention in recent years. However due to the poor expr essive power of