Sciweavers

1776 search results - page 235 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
EDBT
2010
ACM
136views Database» more  EDBT 2010»
15 years 7 months ago
Minimizing database repros using language grammars
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...
Nicolas Bruno
KBSE
2000
IEEE
15 years 7 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
107
Voted
RE
2007
Springer
15 years 8 months ago
Tracing and Validating Goal Aspects
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
Yijun Yu, Nan Niu, Bruno González-Baixauli,...
IVA
2005
Springer
15 years 8 months ago
Training Agents: An Architecture for Reusability
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
Gonzalo Méndez, Angélica de Antonio
ROBOCUP
2001
Springer
150views Robotics» more  ROBOCUP 2001»
15 years 7 months ago
CoPS-Team Description
Abstract. This paper presents the hardware and software design principles of the medium size RoboCup Team CoPS which are developed by the image understanding group at the Institute...
Reinhard Lafrenz, Michael Becht, Thorsten Buchheim...