136 search results - page 16 / 28 » Verification of Object Oriented Programs Using Class Invaria... |
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
83
Voted
COMPSAC
2003
IEEE
15 years 2 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
GCSE
1999
Springer
15 years 1 months ago
1999
Springer
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
The problem considered in this paper is the fully automatic construction of panoramas. Fundamentally, this problem requires recognition, as we need to know which parts of the pano...