9626 search results - page 502 / 1926 » Invariant Based Programming |
366
click to vote
ICIAR
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
200
click to vote
RP
2009
Springer
16 years 4 days ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
162
click to vote
AUSAI
2006
Springer
2006
Springer
MML Mixture Models of Heterogeneous Poisson Processes with Uniform Outliers for Bridge Deterioration
15 years 11 months ago
Effectiveness of maintenance programs of existing concrete bridges is highly dependent on the accuracy of the deterioration parameters utilised in the asset management models of th...
228
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
185
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...