2132 search results - page 251 / 427 » Automated software winnowing |
132
click to vote
BPM
2008
Springer
15 years 7 months ago
2008
Springer
This paper highlights the problem of digital identity, or cross-set unique identifying tokens, inherent in the application of social software in business processes. As social softw...
144
Voted
CISIS
2008
IEEE
15 years 7 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
137
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
142
Voted
ENTCS
2007
15 years 5 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
139
click to vote
WCRE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...