1164 search results - page 61 / 233 » Using CBR for Semantic Analysis of Software Specifications |
192
click to vote
ICFP
2009
ACM
16 years 14 days ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
123
click to vote
WETICE
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
109
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
122
click to vote
AOSD
2011
ACM
14 years 6 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
ICSOC
2003
Springer
15 years 5 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...