1063 search results - page 64 / 213 » Programming Methodologies in GCLA |
154
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
152
click to vote
IEEEIAS
2009
IEEE
16 years 24 days ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
164
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
151
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
142
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
The University of Missouri–Columbia’s Information and Access Technology (IAT) Services division’s InfoTech Training department measures IT training using the return on inves...