Sciweavers

1306 search results - page 143 / 262
» The Role of Prototyping in Software Development
Sort
View
TSE
2010
125views more  TSE 2010»
13 years 6 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
WSTST
2005
Springer
14 years 1 months ago
Soft Modeling of Group Dynamics and Behavioral Attributes
: Social networks, religion and culture of human beings play a major role in the day-to-day activities performed by each individual in group oriented missions. The aggregation and ...
Soumya Banerjee, Ajith Abraham, Sang-Yong Han, P. ...
IROS
2008
IEEE
170views Robotics» more  IROS 2008»
14 years 2 months ago
Humanoid robot HRP-3
— In this paper, the development of humanoid robot HRP-3 is presented. HRP-3, which stands for Humanoid Robotics Platform–3, is a human-size humanoid robot developed as the suc...
Kenji Kaneko, Kensuke Harada, Fumio Kanehiro, Gou ...
SEKE
2004
Springer
14 years 1 months ago
Automatic bug triage using text categorization
Bug triage, deciding what to do with an incoming bug report, is taking up increasing amount of developer resources in large open-source projects. In this paper, we propose to appl...
Davor Cubranic, Gail C. Murphy
MODELLIERUNG
2001
13 years 9 months ago
Dependency Charts as a Means to Model Inter-Scenario Dependencies
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
Johannes Ryser, Martin Glinz