136 search results - page 17 / 28 » Verification of Object Oriented Programs Using Class Invaria... |
CEC
2007
IEEE
15 years 3 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
110
click to vote
WOA
2007
14 years 10 months ago
2007
—In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming, and which new relationship patterns can be introduced using rol...
ENTCS
2008
14 years 9 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
130
click to vote
COOPIS
1998
IEEE
15 years 1 months ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
110
click to vote
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...