1799 search results - page 322 / 360 » The Logic of Correctness in Software Engineering |
173
click to vote
SEW
2007
IEEE
16 years 9 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
128
click to vote
CGO
2006
IEEE
16 years 3 days ago
2006
IEEE
Explicit Data Graph Execution (EDGE) architectures offer the possibility of high instruction-level parallelism with energy efficiency. In EDGE architectures, the compiler breaks ...
161
click to vote
KBSE
2006
IEEE
16 years 1 days ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
185
click to vote
PPPJ
2006
ACM
15 years 12 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
167
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...