16725 search results - page 3067 / 3345 » Engineering Software Correctness |
138
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...
111
click to vote
GI
2005
Springer
15 years 10 months ago
2005
Springer
: In diesem Artikel wird die Verwendung von Real Options als Modell f¨ur die Entscheidung ¨uber alternative Strategien in der Softwareentwicklung vorgestellt. Der Fokus liegt hie...
190
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
212
click to vote
PEPM
2007
ACM
17 years 2 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
242
click to vote
ICDE
2002
IEEE
16 years 5 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...