498 search results - page 40 / 100 » Model Validation using Automatically Generated Requirements-... |
ECRTS
2007
IEEE
14 years 1 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
WCRE
2003
IEEE
14 years 26 days ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
ECMDAFA
2010
Springer
13 years 11 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
LREC
2008
13 years 9 months ago
2008
The ultimate goal when building dialogue systems is to satisfy the needs of real users, but quality assurance for dialogue strategies is a non-trivial problem. The applied evaluat...
JUCS
2008
13 years 7 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...