3311 search results - page 392 / 663 » Deductive Object Programming |
149
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
113
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
139
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
140
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
120
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...