1199 search results - page 223 / 240 » Software Verification and Software Engineering a Practitione... |
106
click to vote
FOAL
2008
ACM
15 years 3 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
105
click to vote
TOPLAS
2008
15 years 1 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
132
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
242
click to vote
POPL
2004
ACM
16 years 2 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...
200
click to vote
EICS
2011
ACM
14 years 5 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...