Sciweavers

5252 search results - page 218 / 1051
» Requirements engineering: a roadmap
Sort
View
ISSTA
2009
ACM
16 years 1 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
AUSAI
2005
Springer
16 years 5 days ago
Conditioning Graphs: Practical Structures for Inference in Bayesian Networks
Abstract. Programmers employing inference in Bayesian networks typically rely on the inclusion of the model as well as an inference engine into their application. Sophisticated inf...
Kevin Grant, Michael C. Horsch
AGILEDC
2005
IEEE
16 years 7 days ago
Student Experiences with Executable Acceptance Testing
This report describes experiences of introducing executable acceptance testing in senior software engineering courses. Students in an agile environment completed a five-iteration ...
Kris Read, Grigori Melnik, Frank Maurer
SIGMOD
2003
ACM
98views Database» more  SIGMOD 2003»
16 years 6 months ago
On Relational Support for XML Publishing: Beyond Sorting and Tagging
In this paper, we study whether the need for efficient XML publishing brings any new requirements for relational query engines, or if sorting query results in the relational engin...
Surajit Chaudhuri, Raghav Kaushik, Jeffrey F. Naug...
ICSE
2005
IEEE-ACM
16 years 3 days ago
How to teach software modeling
To enhance motivation of students to study software engineering, some way of finding balance between the scientific aspect and the practical aspect of software engineering is re...
Tetsuo Tamai