Sciweavers

1306 search results - page 143 / 262
» The Role of Prototyping in Software Development
Sort
View
TSE
2010
125views more  TSE 2010»
15 years 3 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
15 years 10 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»
15 years 11 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 ...
145
Voted
SEKE
2004
Springer
15 years 10 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
15 years 6 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