Sciweavers

2860 search results - page 377 / 572
» The Greenfoot Programming Environment
Sort
View
SOSE
2008
IEEE
16 years 29 days ago
Towards SOA-Based Code Defect Analysis
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
Qianxiang Wang, Na Meng, Zhiyi Zhou, Jinhui Li, Ho...
VL
2008
IEEE
16 years 29 days ago
Mashing up visual languages and web mash-ups
Research on web mashups and visual languages share an interest in human-centered computing. Both research communities are concerned with supporting programming by everyday, techni...
M. Cameron Jones, Elizabeth F. Churchill, Michael ...
AGILEDC
2007
IEEE
16 years 28 days ago
How We Made Onsite Customer Work - An Extreme Success Story
The Agile Manifesto emphasizes customer collaboration over contract negotiation. No Extreme Programming practice embodies this more than onsite customer. This paper describes our ...
Michelle Williams, Jay Packlick, Rajeev Bellubbi, ...
ICRA
2007
IEEE
134views Robotics» more  ICRA 2007»
16 years 27 days ago
Towards a Real-Time Bayesian Imitation System for a Humanoid Robot
Abstract— Imitation learning, or programming by demonstration (PbD), holds the promise of allowing robots to acquire skills from humans with domain-specific knowledge, who nonet...
Aaron P. Shon, Joshua J. Storz, Rajesh P. N. Rao
TPHOL
2007
IEEE
16 years 26 days ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff