223 search results - page 6 / 45 » Object-Oriented Programming Testing Methodology |
TSE
2008
13 years 6 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
TOOLS
1991
IEEE
13 years 10 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
DEXAW
2004
IEEE
13 years 10 months ago
2004
IEEE
In this paper we describe a novel approach to the incremental, semi-automated method for composition of web services in a geographical domain. First, we present the incremental co...
GCC
2003
Springer
13 years 12 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
ICIAP
1995
ACM
13 years 10 months ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...