1782 search results - page 249 / 357 » Tool Support for Proof Engineering |
COMPSAC
2007
IEEE
14 years 25 days ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
APSEC
2004
IEEE
14 years 19 days ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
AC
2003
Springer
14 years 16 days ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
WCRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
For ages we used our ears side by side with our ophthalmic stimuli to gather additional information, leading and supporting us in our visualization. Nowadays numerous software vis...