3792 search results - page 391 / 759 » Techniques for Trusted Software Engineering |
133
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
Asynchronous collaborators often use freeform ink annotations to point to visually salient perceptual features of line charts such as peaks or humps, valleys, rising slopes and de...
173
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
153
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
The usual way to compare testing strategies, whether theoretically or empirically, is to compare the number of faults they detect. To ascertain definitely that a testing strategy...
185
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...
160
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...