Sciweavers

2599 search results - page 259 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
SOFTVIS
2010
ACM
15 years 6 months ago
CodePad: interactive spaces for maintaining concentration in programming environments
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
Chris Parnin, Carsten Görg, Spencer Rugaber
TEI
2012
ACM
258views Hardware» more  TEI 2012»
14 years 1 months ago
The HapticTouch toolkit: enabling exploration of haptic interactions
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...
David Ledo, Miguel A. Nacenta, Nicolai Marquardt, ...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 11 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
WWW
2007
ACM
16 years 6 months ago
Semi-automated adaptation of service interactions
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
Hamid R. Motahari Nezhad, Boualem Benatallah, Axel...
FASE
2007
Springer
16 years 2 days ago
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
Markus Bach, Florian Forster, Friedrich Steimann