Sciweavers

741 search results - page 106 / 149
» Automatic Generation and Validation of Models of Legacy Soft...
Sort
View
ISSTA
2006
ACM
15 years 3 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 days 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 3 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 3 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 3 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