Sciweavers

1046 search results - page 150 / 210
» Generating User Interface Code in a Model Based User Interfa...
Sort
View
ICST
2009
IEEE
13 years 5 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
SIGDOC
2003
ACM
14 years 28 days ago
An interaction initiative model for documentation
In this paper we propose a model of creation and use of documentation based on the concept of mixed-initiative interaction. In our model, successful single-initiative interaction ...
David G. Novick, Karen Ward
BMCBI
2008
218views more  BMCBI 2008»
13 years 7 months ago
LOSITAN: A workbench to detect molecular adaptation based on a Fst-outlier method
Background: Testing for selection is becoming one of the most important steps in the analysis of multilocus population genetics data sets. Existing applications are difficult to u...
Tiago Antao, Ana Lopes, Ricardo J. Lopes, Albano B...
HAPTICS
2002
IEEE
14 years 20 days ago
Autostereoscopic and Haptic Visualization for Space Exploration and Mission Design
We have developed a multi-modal virtual environment set-up by fusing visual and haptic images through the use of a new autostereoscopic display and a force-feedback haptic device....
Cagatay Basdogan, Mitchell J. H. Lum, Jose Salcedo...
SIGMOD
1997
ACM
107views Database» more  SIGMOD 1997»
13 years 12 months ago
Picture Programming Project
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Bria...