Sciweavers

5343 search results - page 576 / 1069
» Keyword programming in java
Sort
View
ECOOP
2007
Springer
15 years 10 months ago
Product Line Variability Refactoring Tool
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
Fernando Calheiros, Vilmar Nepomuceno, Paulo Borba...
AGI
2008
15 years 7 months ago
VARIAC: an Autogenous Cognitive Architecture
Learning theory and programs to date are inductively bounded: they can be described as "wind-up toys" which can only learn the kinds of things that their designers envisi...
J. Storrs Hall
DAGSTUHL
2008
15 years 7 months ago
08061 Executive Summary -- Types, Logics and Semantics for State
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
ICSQP
1994
15 years 7 months ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
Si Pan, R. Geoff Dromey
DAM
2006
172views more  DAM 2006»
15 years 6 months ago
A Branch-and-Cut algorithm for graph coloring
In a previous work, we proposed a new integer programming formulation for the graph coloring problem which, to a certain extent, avoids symmetry. We studied the facet structure of...
Isabel Méndez-Díaz, Paula Zabala