Sciweavers

1125 search results - page 162 / 225
» Social visualization in software development
Sort
View
ICRA
2005
IEEE
147views Robotics» more  ICRA 2005»
14 years 1 months ago
Mars Exploration Rover Operations with the Science Activity Planner
– The Science Activity Planner (SAP) is the primary science operations tool for the Mars Exploration Rover mission and NASA’s Software of the Year for 2004. SAP utilizes a vari...
Jeffrey S. Norris, Mark W. Powell, Marsette Vona, ...
ECEASST
2006
72views more  ECEASST 2006»
13 years 8 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
IUI
2009
ACM
14 years 5 months ago
Designing user interface adaptation rules with T: XML
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...
Víctor López-Jaquero, Francisco Mont...
SMALLTALK
2007
Springer
14 years 2 months ago
Feature driven browsing
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
David Röthlisberger, Orla Greevy, Oscar Niers...
SI3D
2003
ACM
14 years 1 months ago
Large haptic topographic maps: marsview and the proxy graph algorithm
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
Sean P. Walker, John Kenneth Salisbury Jr.