3311 search results - page 392 / 663 » Deductive Object Programming |
191
click to vote
GECCO
2009
Springer
16 years 1 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...
148
click to vote
IPPS
2008
IEEE
16 years 1 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...
181
click to vote
ICRA
2007
IEEE
16 years 29 days 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...
181
click to vote
ACSC
2005
IEEE
16 years 8 days 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...
162
click to vote
ISOLA
2004
Springer
16 years 14 hour 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...