923 search results - page 93 / 185 » Proving the value of formal methods |
159
click to vote
SIGSOFT
2010
ACM
15 years 28 days ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
141
click to vote
SMI
2007
IEEE
16 years 13 days ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
170
click to vote
COMMA
2006
15 years 7 months ago
2006
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...
186
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
193
click to vote
JMLR
2010
15 years 4 months ago
2010
We extend the well-known BFGS quasi-Newton method and its memory-limited variant LBFGS to the optimization of nonsmooth convex objectives. This is done in a rigorous fashion by ge...