8 search results - page 1 / 2 » Could We Have Chosen a Better Loop Invariant or Method Contr... |
TAP
2009
Springer
13 years 12 months ago
2009
Springer
The method contract and loop invariant rules (contract rules) are an important software verification technique for handling method invocations and loops. However, if a verificati...
ECOOP
2010
Springer
13 years 8 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
HYBRID
2010
Springer
14 years 8 days ago
2010
Springer
The main purpose of event-based control, if compared to periodic control, is to minimize data transfer or processing power in networked control systems. Current methods have an (i...
CIKM
2008
Springer
13 years 7 months ago
2008
Springer
The two most important tasks in information extraction from the Web are webpage structure understanding and natural language sentences processing. However, little work has been don...
CAV
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...