1597 search results - page 64 / 320 » A Design Method for Object-Oriented Programming |
158
click to vote
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
167
click to vote
ICECCS
2006
IEEE
16 years 5 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
172
click to vote
VECPAR
2000
Springer
15 years 9 months ago
2000
Springer
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system. SCOOPP dynamically scales OO applications on a wide range of target plat...
150
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
157
click to vote
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
An appealing feature of interior methods for linear programming is that the number of iterations required to solve a problem tends to be relatively insensitive to the choice of in...