1516 search results - page 12 / 304 » Trends in Software Verification |
AC
2005
Springer
13 years 8 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
C5
2004
IEEE
14 years 15 days ago
2004
IEEE
This paper focus the need for new educational software environments for exploration of global statistics. We present some concrete examples of highly interactive, non-linear, visu...
PVLDB
2010
13 years 7 months ago
2010
Analysts have marked Event Processing as the most growing segment in enterprise computing during years 2008 and 2009, furthermore, this trend is expected to continue. Many of the ...
JSS
1998
13 years 8 months ago
1998
Methodology, theory, and practice in the ®eld of Human±Computer Interaction (HCI) all share the goal of producing interactive software that can be used eciently, eectively, ...