Sciweavers

5634 search results - page 438 / 1127
» About Abstract Classes
Sort
View
ISSTA
2006
ACM
16 years 22 days ago
Test input generation for java containers using state matching
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
15 years 10 months ago
Crossover: the divine afflatus in search
The traditional GA theory is pillared on the Building Block Hypothesis (BBH) which states that Genetic Algorithms (GAs) work by discovering, emphasizing and recombining low order ...
David Iclanzan
MKM
2005
Springer
16 years 8 days ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
UML
2005
Springer
16 years 7 days ago
Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)
Abstract. This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference ...
Andreas Pleuß, Jan Van den Bergh, Stefan Sau...
ER
2007
Springer
146views Database» more  ER 2007»
15 years 10 months ago
Achieving, Satisficing, and Excelling
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
Ivan Jureta, Stéphane Faulkner, Pierre-Yves...