3514 search results - page 470 / 703 » Evolving Specification Engineering |
175
click to vote
ICSEA
2007
IEEE
16 years 27 days ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
174
click to vote
CODES
2005
IEEE
16 years 6 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
184
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
170
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
172
click to vote
AVI
2010
15 years 8 months ago
2010
To increase its credibility and preserve the trust of its readers, Wikipedia needs to ensure a good quality of its articles. To that end, it is critical for Wikipedia administrato...