Sciweavers

2912 search results - page 238 / 583
» A Study of Collaboration in Software Design
Sort
View
AAAI
1994
15 years 7 months ago
Using Qualitative Physics to Build Articulate Software for Thermodynamics Education
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...
Kenneth D. Forbus, Peter B. Whalley
DAC
2007
ACM
15 years 10 months ago
Verification Methodologies in a TLM-to-RTL Design Flow
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
Atsushi Kasuya, Tesh Tesfaye
AVI
2004
15 years 8 months ago
Designing affordances for the navigation of detail-on-demand hypervideo
We introduced detail-on-demand video as a simple type of hypervideo that allows users to watch short video segments and to follow hyperlinks to see additional detail. Such video l...
Andreas Girgensohn, Lynn Wilcox, Frank M. Shipman ...
JOT
2007
112views more  JOT 2007»
15 years 6 months ago
Investigating effect of Design Metrics on Fault Proneness in Object-Oriented Systems
Demand for quality software has undergone with rapid growth during the last few years. This is leading to an increase in the development of metrics for measuring the properties of...
K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchi...
RTA
1997
Springer
15 years 10 months ago
The Invariant Package of MAS
A prototypical framework, which was used for building software components for symbolic computation, is extended as follows. First, we demonstrate that the server components can be ...
Manfred Göbel