944 search results - page 130 / 189 » Software model checking without source code |
107
click to vote
TSE
2002
15 years 1 months ago
2002
CASE (Computer Aided Software Engineering) tools are believed to have played a critical role in improving software productivity and quality by assisting tasks in software developme...
106
click to vote
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
108
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
118
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
153
click to vote
CVPR
2008
IEEE
15 years 3 months ago
2008
IEEE
Most digital still color cameras use a single electronic sensor (CCD or CMOS) overlaid with a color filter array. At each pixel location only one color sample is taken, and the ot...