Sciweavers

741 search results - page 106 / 149
» Automatic Generation and Validation of Models of Legacy Soft...
Sort
View
ISSTA
2006
ACM
15 years 10 months ago
Coverage metrics for requirements-based testing
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Hei...
SCA
2007
15 years 6 months ago
Harmonic skeleton for realistic character animation
Current approaches to skeleton generation are based on topological and geometrical information only; this can be insufficient for realistic character animation, since the location...
Grégoire Aujay, Franck Hétroy, Franc...
SIGIR
2005
ACM
15 years 10 months ago
Bootstrapping dictionaries for cross-language information retrieval
The bottleneck for dictionary-based cross-language information retrieval is the lack of comprehensive dictionaries, in particular for many different languages. We here introduce a...
Kornél G. Markó, Stefan Schulz, Olen...
QSIC
2005
IEEE
15 years 10 months ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
Michael Winikoff
AMAST
2004
Springer
15 years 9 months ago
On Guard: Producing Run-Time Checks from Integrity Constraints
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
Michael Benedikt, Glenn Bruns