2253 search results - page 347 / 451 » An Approach to Specifying Software Frameworks |
265
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
150
click to vote
DBSEC
2004
15 years 5 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
205
Voted
JUCS
2010
14 years 11 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
151
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...
154
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Matrices are essential in many fields of computer science, especially when large amounts of data must be handled efficiently. Despite this demand for matrix software, we were una...