3792 search results - page 410 / 759 » Techniques for Trusted Software Engineering |
202
Voted
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
197
click to vote
AOSE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
179
click to vote
SIGADA
1999
Springer
15 years 11 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
161
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
200
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...