Sciweavers

43190 search results - page 97 / 8638
» Can Development Be Designed
Sort
View
ICSM
2007
IEEE
15 years 10 months ago
How Programmers Can Turn Comments into Waypoints for Code Navigation
We have developed a new approach for software navigation called TagSEA (Tagging of Software Engineering Activities). TagSEA combines the notion of “waypointing” with “social...
Margaret-Anne D. Storey, Li-Te Cheng, Janice Singe...
ICRA
2005
IEEE
142views Robotics» more  ICRA 2005»
15 years 10 months ago
A Real-Time Haptic/Graphic Demonstration of how Error Augmentation can Enhance Learning
– We developed a real-time controller for a 2 degree-of-freedom robotic system using xPC Target. This system was used to investigate how different methods of performance error fe...
Yejun Wei, James L. Patton, Preeti Bajaj, Robert S...
DLT
2006
15 years 5 months ago
Can Abstract State Machines Be Useful in Language Theory?
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
Yuri Gurevich, Charles Wallace
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 11 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
SOFSEM
2001
Springer
15 years 8 months ago
How Can Computer Science Contribute to Knowledge Discovery?
Knowledge discovery, that is, to analyze a given massive data set and derive or discover some knowledge from it, has been becoming a quite important subject in several fields incl...
Osamu Watanabe