5961 search results - page 529 / 1193 » Design Science and Software Engineering |
175
click to vote
SIGADA
2005
Springer
16 years 21 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
187
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
The design and implementation of a national computing system and data grid has become a reachable goal from both the computer science and computational science point of view. A di...
220
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Code clones are generally considered to be an obstacle to software maintenance. Research has provided evidence that it may not always be practical, feasible, or cost-effective to ...
189
click to vote
AOSD
2010
ACM
16 years 2 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
204
click to vote
AOSD
2009
ACM
16 years 2 months ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...