859 search results - page 13 / 172 » Explaining Synthesized Software |
100
click to vote
SYNTHESE
2010
15 years 7 days ago
2010
: The discussion presents a framework of concepts that is intended to account for the rationality of semantic change and variation, suggesting that each scientific concept consists...
128
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
129
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
100
click to vote
SOCO
2009
Springer
15 years 8 months ago
2009
Springer
How would a language look like that is specially designed for solving meta-programming problems in the software composition domain? We present requirements for and design of Rascal...
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...