3792 search results - page 695 / 759 » Techniques for Trusted Software Engineering |
97
Voted
DESRIST
2009
Springer
15 years 5 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 ...
120
Voted
SIGCSE
2008
ACM
15 years 13 days ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
119
Voted
SAC
2010
ACM
14 years 10 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
203
click to vote
ICDE
2002
IEEE
16 years 1 months ago
2002
IEEE
Broad web search engines as well as many more specialized search tools rely on web crawlers to acquire large collections of pages for indexing and analysis. Such a web crawler may...
219
click to vote
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Modern digital libraries require user-friendly and yet responsive access to the rapidly growing, heterogeneous, and distributed collection of information sources. However, the inc...