1356 search results - page 16 / 272 » The ideal of verified software |
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the deļ¬nition and analysis of the application-content of programs, where...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
CSMR
2007
IEEE
15 years 6 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
SIGSOFT
2004
ACM
15 years 5 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
āThis paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...