859 search results - page 12 / 172 » Explaining Synthesized Software |
CSMR
2007
IEEE
14 years 2 months ago
2007
IEEE
This is research summary of a PhD project in the area of massive software maintenance automation. We explain the context, approach, and contributions.
DAC
1998
ACM
14 years 9 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
SYNTHESE
2010
13 years 7 months ago
2010
This is a reply to Timothy Williamson’s paper ‘Tennant’s Troubles’. It defends against Williamson’s objections the anti-realist’s knowability principle based on the au...
SYNTHESE
2010
13 years 7 months ago
2010
In this paper I show that Proclus is an adherent of the Classical Model of Science as set out elsewhere in this issue (de Jong and Betti 2008), and that he adjusts certain conditio...
SYNTHESE
2010
13 years 7 months ago
2010
This paper is aimed at understanding one central aspect of Bolzano’s views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue t...