859 search results - page 13 / 172 » Explaining Synthesized Software |
SYNTHESE
2010
13 years 7 months 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...
ASPLOS
2006
ACM
14 years 2 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 ...
SIGSOFT
2010
ACM
13 years 6 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...
SOCO
2009
Springer
14 years 3 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
13 years 12 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; ...