Abstract-- jMetal is a Java-based framework for multiobjective optimization using metaheuristics. It is an ease-to-use, flexible, and extensible software package that has been used...
: Software applications interoperability is a challenge for modern enterprises. It needs establishing standards and protocols for data exchange between different enterprise systems...
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...