5477 search results - page 876 / 1096 » Contexts, Domains, and Software |
191
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
221
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
207
click to vote
CBSE
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
193
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...
169
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
Information Systems Security (ISS) is critical to ensuring the integrity and credibility of digitally exchanged information in business processes. Information systems development ...