Sciweavers

7209 search results - page 909 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
EMSOFT
2008
Springer
15 years 6 months ago
Quantitative testing
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
Henrik C. Bohnenkamp, Mariëlle Stoelinga
150
Voted
ECLIPSE
2006
ACM
15 years 10 months ago
HAM: cross-cutting concerns in Eclipse
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
Silvia Breu, Thomas Zimmermann, Christian Lindig
238
Voted
EIS
2011
290views ECommerce» more  EIS 2011»
14 years 11 months ago
Code query by example
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
Sebastien Vaucouleur
KBSE
2009
IEEE
15 years 11 months ago
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
136
Voted
UIST
2009
ACM
15 years 11 months ago
PhotoelasticTouch: transparent rubbery tangible interface using an LCD and photoelasticity
PhotoelasticTouch is a novel tabletop system designed to intuitively facilitate touch-based interaction via real objects made from transparent elastic material. The system utilize...
Toshiki Sato, Haruko Mamiya, Hideki Koike, Kentaro...