2419 search results - page 199 / 484 » A Formal Approach to Software Testing |
212
click to vote
FIW
2009
15 years 1 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
100
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
124
Voted
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
The Internet, the World Wide Web, JavaTM technology, and software components are changing the software business. Activities traditionally constrained by the need for intense infor...
143
Voted
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
143
Voted
ICCBSS
2005
Springer
15 years 9 months ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...